Domain Specific Languages of Mathematics
|
|
- Leo White
- 5 years ago
- Views:
Transcription
1 Domain Specific Languages of Mathematics Cezar Ionescu Patrik Jansson
2 The problem Many Computer Science students seem to have difficulties with real and complex analysis. At Chalmers, the worst obstacles for students in the CSE program are two three-year courses on Signals and Systems and Control Theory. At the same time, students seem to have very little difficulty with discrete mathematics. At least in part, this seems to be due to the more CS-like style.
3 The CS style more emphasis on syntax prefer formal proofs use of logic as a tool disciplined use of ambiguity, e.g., polymorphic expressions (see Communicating Mathematics: Useful Ideas from Computer Science, Charles Wells, AMM,1995)
4 Real analysis Real analysis is usually taught in a very different style: emphasis on semantics, informal proofs, and untangling ambiguous notation can be really hard. It s easy to get it wrong: /03/brief-explanation-of-taylor-series-via.html. It s hard to get it right: taylors-theorem-with-the-lagrange-form-of-the-remainder.
5 Continuity The ɛ-δ definition of continuity: Definition X R, f : X R continuous at x X if: ɛ > 0 δ > 0 such that y X y x < δ = f y f x < ɛ
6 Continuity We can simplify the ɛ-δ definition of continuity, by introducing, e.g., neighborhoods: V : {P R} R R >0 P X V {X } x ɛ = {y y X, y x < ɛ} Definition X R, f : X R continuous at x X if ɛ > 0 δ > 0 such that {f y y V x δ} V (f x) ɛ
7 Continuity We can simplify the ɛ-δ definition of continuity, by introducing, e.g., powerset operations: P : (A B) P A P B P f X = {f x x X } Definition X R, f : X R continuous at x X if ɛ > 0 δ > 0 such that P f (V x δ) V (f x) ɛ
8 Continuity We can simplify the ɛ-δ definition of continuity, by making the dependency of δ on ɛ explicit: Definition X R, f : X R continuous at x X if δ : R >0 R >0 such that ɛ > 0 P f (V x (δ ɛ)) V (f x) ɛ
9 Continuity We can simplify the ɛ-δ definition of continuity, by making the dependency of δ on ɛ explicit and using function composition: Definition X R, f : X R continuous at x X if δ : R >0 R >0 such that ɛ > 0 (P f V x δ) ɛ V (f x) ɛ
10 Continuity We can simplify the ɛ-δ definition of continuity, by making the dependency of δ on ɛ explicit, using function composition, and lifting to functions: Definition X R, f : X R continuous at x X if δ : R >0 R >0 such that: P f V x δ V (f x)
11 Properties of V and P Properties of V : V x increasing X Y = V {X } x V {Y } x Working with neighborhoods instead of explicit the ɛ δ machinery ensures a degree of implementation abstraction. Properties of P: P is a (co-variant!) functor P f increasing
12 Calculational proofs If f : R R continuous at x and g : R R continuous at f x, then g f continuous at x. We are given and P f V x δ f V (f x) P g V (f x) δ g V (g (f x)) and we have to find δ g f : R >0 R >0 such that P (g f ) V x δ g f V ((g f ) x)
13 Calculational proofs g continuous at f x {definition} P g V (f x) δ g V (g (f x)) {f continuous at x, monotonicity} P g (P f V x δ f ) δ g V (g (f x)) {P functor} P (g f ) V x (δ f δ g ) V ((g f ) x)
14 Limit points Definition x limit point of X if every neighborhood of x contains a point x x such that x X.
15 Limit points Definition x limit point of X if every neighborhood of x contains a point x x such that x X. Introducing neighborhoods: x limit point of X if ɛ > 0 x V {X } ɛ such that x x.
16 Limit points Definition x limit point of X if every neighborhood of x contains a point x x such that x X. Introducing neighborhoods: x limit point of X if ɛ > 0 x V {X } ɛ such that x x. Using the implicit parameter of V instead of the : x limit point of X if ɛ > 0 x V {X {x}} ɛ.
17 Limit points Definition x limit point of X if every neighborhood of x contains a point x x such that x X. Introducing neighborhoods: x limit point of X if ɛ > 0 x V {X } ɛ such that x x. Using the implicit parameter of V instead of the : x limit point of X if ɛ > 0 x V {X {x}} ɛ. Using instead of : x limit point of X if ɛ > 0 V {X {x}} ɛ.
18 Limit points Definition x limit point of X if every neighborhood of x contains a point x x such that x X. Introducing neighborhoods: x limit point of X if ɛ > 0 x V {X } ɛ such that x x. Using the implicit parameter of V instead of the : x limit point of X if ɛ > 0 x V {X {x}} ɛ. Using instead of : x limit point of X if ɛ > 0 V {X {x}} ɛ. Lifting point-wise to functions: x limit point of X if V {X {x}}.
19 Limits of functions Definition Let f : X R and p a limit point of X. We write f x q as x p, or lim (f x) = q x p if q R such that ɛ > 0, δ > 0 such that f x q < ɛ for all x X such that 0 < x p < δ.
20 Limits of functions Definition Let f : X R and p a limit point of X. We write f x q as x p, or lim (f x) = q x p if q R such that ɛ > 0, δ > 0 such that for all x V {X {p}} p δ f x V q ɛ
21 Limits of functions Definition Let f : X R and p a limit point of X. We write f x q as x p, or lim (f x) = q x p if q R such that ɛ > 0, δ > 0 such that P f (V {X {p}} p δ) V q ɛ
22 Limits of functions Definition Let f : X R and p a limit point of X. We write f x q as x p, or lim (f x) = q x p if q R and δ : R >0 R >0 such that ɛ > 0: P f (V {X {p}} p (δ ɛ)) V q ɛ
23 Limits of functions Definition Let f : X R and p a limit point of X. We write f x q as x p, or lim (f x) = q x p if q R and δ : R >0 R >0 such that: P f V {X {p}} p δ V q
24 Limits of functions Definition Let f : X R and p a limit point of X. lim{x }f p = q if q R and δ : R >0 R >0 such that: P f V {X {p}} p δ V q
25 Limits of functions An important property: Let f : X R, lim f p = q, Y X such that p is a limit point of Y, then lim {Y } f p = lim {X } f p = q We have: P f V {X {p}} p δ V q. We calculate: Y X = { increasing} Y {p} X {p} = {V increasing in implicit argument} V {Y {p}} p V {X {p}} p = {P f increasing} P f V {Y {p}} p δ P f V {X {p}} p δ = {transitivity of } P f V {Y {p}} p δ V q
26 A calculus of limits If lim f x and lim g x are defined, then lim (f + g) x = lim f x + lim g x lim (f g) x = lim f x lim g x if B 0, then lim f g x = lim f x lim g x if f 0, then lim f x 0
27 Limits of functions Application: if x is a limit point of X, then f : X R continuous at x iff lim f x = f x. f continuous at x {definition} P f V {X } x δ V (f x) {monotonicity of V and P f, f x V (f x)} P f V {X {x}} x δ V (f x) {definition} lim f x = f x In particular, this ensures that we also have a calculus of continuous functions (they can be added, multiplied, etc.).
28 Differentiability Definition Let f : [a, b] R. For any x [a, b] form the quotient and define φ t = f t f x t x (a < t < b, t x) f x = lim φ x provided this limit exists. The (partial) function f is called the derivative of f. If f is defined at a point x, we say that f is differentiable at x.
29 Differentiability We can shorten the definition by using the overloading of operations for functions: Definition Let f : [a, b] R. For any x [a, b] define f x = lim {[a, b] {x}} f f x id x provided this limit exists. The (partial) function f is called the derivative of f. If f is defined at a point x, we say that f is differentiable at x. x
30 Differentiability and continuity If f : [a, b] R is differentiable at x [a, b], then f is continuous at x. Proof (Rudin) As t x, we have: f t f x = f t f x t x (t x) f x 0 = 0
31 Differentiability and continuity f continuous at x {Every x [a, b] is a limit point of [a, b]} lim {[a, b]} f x = f x {x is a limit point of [a, b] {x} [a, b]} lim {[a, b] {x}} f x = f x {Calculus of limits: lim k x = k} lim f x = lim (f x) x {arithmetic, calculus of limits: lim f x lim g x = lim (f g) x} lim (f f x) x = 0
32 Differentiability and continuity lim (f f x) x = 0 {Arithmetic in [a, b] {x}} lim ( f f x (id x)) x = 0 id x {Calculus of limits: lim f x lim g x = lim (f g) x} lim f f x x lim (id x) x = 0 id x {Definition of f x, calculus of limits: lim id x = x} f x 0 = 0 {Arithmetic} true
33 Differentiability and optimality Definition Let f : X R. We say that f has a local maximum at x X if there exists δ > 0 such that f x f x for all x with x x < δ. Theorem: Let f : [a, b] R; if f has a local maximum at x [a, b], and if f x exists, then f x = 0.
34 Differentiability and optimality Definition Let f : X R. We say that f has a local maximum at x X if there exists δ > 0 such that f x f x for all x V x δ.
35 Differentiability and optimality Definition Let f : X R. We say that f has a local maximum at x X if there exists δ > 0 such that f x f x for all x V x δ. Theorem: Let f : [a, b] R; if f has a local maximum at x (a, b), and if f x exists, then f x = 0.
36 Differentiability and optimality lim f f x x id x ={Making the implicit parameter explicit} lim {[a, b] {x}} f f x x id x ={x is limit point of [a, x) [a, b] {x}} lim {[a, x)} f f x x id x {Calculus of limits: f f x 0 on [a, x)} id x 0
37 A calculus of continuous and differentiable functions We have mentioned that a calculus of continuous functions extends that of limits. Additionally, we have for every continuous f : [a, b] R: m, M R such that P f [a, b] = [m, M] If f, g : [a, b] R differentiable at x [a, b], then f + g, f g, f /g are differentiable at x (the last assuming g x 0, and (f + g) x = f x + g x (f g) x = f x g x + f x g x ( f g ) x = f x g x f x g x g 2 x Derivatives of common functions: k = 0, (x n ) = n x n 1, etc.
38 Rolle s theorem Let f : [a, b] R, continuous on [a, b] and differentiable on (a, b), such that f a = f b = 0. Then there exists x (a, b) such that f x = 0. Proof: f continuous on [a, b] = {Calculus of continuous functions} P f [a, b] = [m, M] = {f a P f [a, b]} m 0 M If m = M then f = 0, therefore f x = 0 for any x (a, b).
39 Rolle s theorem If m < M then m 0 M 0. Consider M 0: M 0 = {f a M f b M M P f [a, b]} x (a, b) such that f x = M = { x [a, b] : f x M} x maximum = {Derivative at the maximum} f x = 0
40 The mean value theorem: the problem Let f : [a, b] R, continuous on [a, b] and differentiable on (a, b).
41 The mean value theorem: the problem Let f : [a, b] R, continuous on [a, b] and differentiable on (a, b). Assume that we are given f a and a way of computing f x, but not other values of f, and we want to estimate f b. This is actually often the case in numerical computations, e.g. in interval analysis.
42 The mean value theorem: the problem Let f : [a, b] R, continuous on [a, b] and differentiable on (a, b). Assume that we are given f a and a way of computing f x, but not other values of f, and we want to estimate f b. This is actually often the case in numerical computations, e.g. in interval analysis. Basically, we are looking for some x and some α, such that f x = α can tell us something about the relationship between f b and f a.
43 The mean value theorem: the problem Let f : [a, b] R, continuous on [a, b] and differentiable on (a, b). Assume that we are given f a and a way of computing f x, but not other values of f, and we want to estimate f b. This is actually often the case in numerical computations, e.g. in interval analysis. Basically, we are looking for some x and some α, such that f x = α can tell us something about the relationship between f b and f a. This might seem impossibly vague, but we can compute:
44 The mean value theorem: the computation x : f x = α = {The only qualitative result we know} x : g x = 0 = f x α = {Rolle s theorem, differential calculus} g a = g b = 0 g x = f x α x β = {Arithmetic} α = f b f a b a β = f a b f b a b a
45 The mean value theorem We have proven the mean value theorem: (Rudin) Let f : [a, b] R, continuous on [a, b] and differentiable on (a, b). Then there exists x (a, b) such that f x = f b f a b a. Equivalently: f b = f a + f x (b a) If M is an upper bound for f x, then M (b a) is an upper bound for f b f a.
46 Taylor s theorem: the idea Can we do better if f is twice differentiable? We can carry out a similar computation: x : f x = α = {The only qualitative result we know} x : g x = 0 = f x α = {Rolle s theorem, differential calculus} x : g a = g x = 0 g x = f x α x β = {Rolle s theorem, differential calculus} g a = g b = 0 g x = f x α 2 x 2 β x γ = {Arithmetic} f b f a f a (b a) = α β =..., γ =... (b a)2 2
47 Taylor s theorem: the idea We have proven that x (a, b) such that f b = f a + f a (b a) + f x (b a)2 2 In general, this is a better approximation of f b. We can now easily generalize the result to Taylor s theorem (with Lagrange rest) and prove it by induction (exercise!).
48 Future work Implementation. Extending to Fourier series and Laplace transforms; some linear algebra (e.g., for the conjugate gradient method). Investigate related projects, e.g.: Abstract Math (Wells), Functional Differential Geometry (Sussman, Wisdom, Farr), Funmath (Boute et. al.).
Practice Test III, Math 314, Spring 2016
Practice Test III, Math 314, Spring 2016 Dr. Holmes April 26, 2016 This is the 2014 test reorganized to be more readable. I like it as a review test. The students who took this test had to do four sections
More informationMATH 301 INTRO TO ANALYSIS FALL 2016
MATH 301 INTRO TO ANALYSIS FALL 016 Homework 04 Professional Problem Consider the recursive sequence defined by x 1 = 3 and +1 = 1 4 for n 1. (a) Prove that ( ) converges. (Hint: show that ( ) is decreasing
More informationMA3025 Course Prerequisites
MA3025 Course Prerequisites MA 3025 (4-1) MA3025 (4-1) Logic and Discrete Mathematics: Provides a rigorous foundation in logic and elementary discrete mathematics. Topics from logic include modeling English
More informationDirect Proof MAT231. Fall Transition to Higher Mathematics. MAT231 (Transition to Higher Math) Direct Proof Fall / 24
Direct Proof MAT231 Transition to Higher Mathematics Fall 2014 MAT231 (Transition to Higher Math) Direct Proof Fall 2014 1 / 24 Outline 1 Overview of Proof 2 Theorems 3 Definitions 4 Direct Proof 5 Using
More informationDomain-Specific Languages of Mathematics: Presenting Mathematical Analysis using Functional Programming
Domain-Specific Languages of Mathematics: Presenting Mathematical Analysis using Functional Programming Cezar Ionescu Chalmers Univ. of Technology cezar@chalmers.se Patrik Jansson Chalmers Univ. of Technology
More informationCalculus from Graphical, Numerical, and Symbolic Points of View, 2e Arnold Ostebee & Paul Zorn
Calculus from Graphical, Numerical, and Symbolic Points of View, 2e Arnold Ostebee & Paul Zorn Chapter 1: Functions and Derivatives: The Graphical View 1. Functions, Calculus Style 2. Graphs 3. A Field
More informationMath 324 Summer 2012 Elementary Number Theory Notes on Mathematical Induction
Math 4 Summer 01 Elementary Number Theory Notes on Mathematical Induction Principle of Mathematical Induction Recall the following axiom for the set of integers. Well-Ordering Axiom for the Integers If
More informationCHAPTER 3: THE INTEGERS Z
CHAPTER 3: THE INTEGERS Z MATH 378, CSUSM. SPRING 2009. AITKEN 1. Introduction The natural numbers are designed for measuring the size of finite sets, but what if you want to compare the sizes of two sets?
More informationMATH202 Introduction to Analysis (2007 Fall and 2008 Spring) Tutorial Note #12
MATH0 Introduction to Analysis (007 Fall and 008 Spring) Tutorial Note #1 Limit (Part ) Recurrence Relation: Type 1: Monotone Sequence (Increasing/ Decreasing sequence) Theorem 1: Monotone Sequence Theorem
More informationNotes on arithmetic. 1. Representation in base B
Notes on arithmetic The Babylonians that is to say, the people that inhabited what is now southern Iraq for reasons not entirely clear to us, ued base 60 in scientific calculation. This offers us an excuse
More informationMath Real Analysis
1 / 28 Math 370 - Real Analysis G.Pugh Sep 3 2013 Real Analysis 2 / 28 3 / 28 What is Real Analysis? Wikipedia: Real analysis... has its beginnings in the rigorous formulation of calculus. It is a branch
More informationProblem List MATH 5143 Fall, 2013
Problem List MATH 5143 Fall, 2013 On any problem you may use the result of any previous problem (even if you were not able to do it) and any information given in class up to the moment the problem was
More informationAP Calculus BC Syllabus
AP Calculus BC Syllabus Course Overview AP Calculus BC is the study of the topics covered in college-level Calculus I and Calculus II. This course includes instruction and student assignments on all of
More informationChapter 1.6. Perform Operations with Complex Numbers
Chapter 1.6 Perform Operations with Complex Numbers EXAMPLE Warm-Up 1 Exercises Solve a quadratic equation Solve 2x 2 + 11 = 37. 2x 2 + 11 = 37 2x 2 = 48 Write original equation. Subtract 11 from each
More informationFoundations of Analysis. Joseph L. Taylor. University of Utah
Foundations of Analysis Joseph L. Taylor University of Utah Contents Preface vii Chapter 1. The Real Numbers 1 1.1. Sets and Functions 2 1.2. The Natural Numbers 8 1.3. Integers and Rational Numbers 16
More informationIs there a rigorous high school limit proof that 0 0 = 1?
Is there a rigorous high school limit proof that 0 0 =? Peter Haggstrom www.gotohaggstrom.com mathsatbondibeach@gmail.com February 20, 208 A bare hands proof Youtube contains a number of videos seemingly
More information1. Introduction to commutative rings and fields
1. Introduction to commutative rings and fields Very informally speaking, a commutative ring is a set in which we can add, subtract and multiply elements so that the usual laws hold. A field is a commutative
More informationFor all For every For each For any There exists at least one There exists There is Some
Section 1.3 Predicates and Quantifiers Assume universe of discourse is all the people who are participating in this course. Also let us assume that we know each person in the course. Consider the following
More information. As the binomial coefficients are integers we have that. 2 n(n 1).
Math 580 Homework. 1. Divisibility. Definition 1. Let a, b be integers with a 0. Then b divides b iff there is an integer k such that b = ka. In the case we write a b. In this case we also say a is a factor
More informationMath 3012 Applied Combinatorics Lecture 4
August 27, 2015 Math 3012 Applied Combinatorics Lecture 4 William T. Trotter trotter@math.gatech.edu The Principle of Math Induction Postulate If S is a set of positive integers, 1 is in S, and k + 1 is
More informationAlgebra and Trigonometry 2006 (Foerster) Correlated to: Washington Mathematics Standards, Algebra 2 (2008)
A2.1. Core Content: Solving problems The first core content area highlights the type of problems students will be able to solve by the end of, as they extend their ability to solve problems with additional
More informationModal Logics. Most applications of modal logic require a refined version of basic modal logic.
Modal Logics Most applications of modal logic require a refined version of basic modal logic. Definition. A set L of formulas of basic modal logic is called a (normal) modal logic if the following closure
More information1. Introduction to commutative rings and fields
1. Introduction to commutative rings and fields Very informally speaking, a commutative ring is a set in which we can add, subtract and multiply elements so that the usual laws hold. A field is a commutative
More informationMATH 324 Summer 2011 Elementary Number Theory. Notes on Mathematical Induction. Recall the following axiom for the set of integers.
MATH 4 Summer 011 Elementary Number Theory Notes on Mathematical Induction Principle of Mathematical Induction Recall the following axiom for the set of integers. Well-Ordering Axiom for the Integers If
More informationSection 4.1 Relative Extrema 3 Lectures. Dr. Abdulla Eid. College of Science. MATHS 101: Calculus I
Section 4.1 Relative Extrema 3 Lectures College of Science MATHS 101: Calculus I (University of Bahrain) Extrema 1 / 16 Application of Differentiation One of the most important applications of differential
More informationChapter 8: Taylor s theorem and L Hospital s rule
Chapter 8: Taylor s theorem and L Hospital s rule Theorem: [Inverse Mapping Theorem] Suppose that a < b and f : [a, b] R. Given that f (x) > 0 for all x (a, b) then f 1 is differentiable on (f(a), f(b))
More informationAn Introduction to Proofs in Mathematics
An Introduction to Proofs in Mathematics The subject of mathematics is often regarded as a pinnacle in the achievement of human reasoning. The reason that mathematics is so highly regarded in the realm
More informationSequences of Real Numbers
Chapter 8 Sequences of Real Numbers In this chapter, we assume the existence of the ordered field of real numbers, though we do not yet discuss or use the completeness of the real numbers. In the next
More information5.4 Continuity: Preliminary Notions
5.4. CONTINUITY: PRELIMINARY NOTIONS 181 5.4 Continuity: Preliminary Notions 5.4.1 Definitions The American Heritage Dictionary of the English Language defines continuity as an uninterrupted succession,
More information300-Level Math Courses
300-Level Math Courses Math 250: Elementary Differential Equations A differential equation is an equation relating an unknown function to one or more of its derivatives; for instance, f = f is a differential
More informationCSE 215: Foundations of Computer Science Recitation Exercises Set #5 Stony Brook University. Name: ID#: Section #: Score: / 4
CSE 215: Foundations of Computer Science Recitation Exercises Set #5 Stony Brook University Name: ID#: Section #: Score: / 4 Unit 10: Proofs by Contradiction and Contraposition 1. Prove the following statement
More informationCentral limit theorem. Paninski, Intro. Math. Stats., October 5, probability, Z N P Z, if
Paninski, Intro. Math. Stats., October 5, 2005 35 probability, Z P Z, if P ( Z Z > ɛ) 0 as. (The weak LL is called weak because it asserts convergence in probability, which turns out to be a somewhat weak
More informationMATHEMATICS (MAT) Professors William Harris and Homer White (Chair); Visiting Assistant Professor Jianning Su; Visiting Lecturer Lucas Garnett
MATHEMATICS (MAT) Professors William Harris and Homer White (Chair); Visiting Assistant Professor Jianning Su; Visiting Lecturer Lucas Garnett The various disciplines within the Department of Mathematics,
More informationTHE DIVISION THEOREM IN Z AND R[T ]
THE DIVISION THEOREM IN Z AND R[T ] KEITH CONRAD 1. Introduction In both Z and R[T ], we can carry out a process of division with remainder. Theorem 1.1. For any integers a and b, with b nonzero, there
More informationWe begin by considering the following three sequences:
STUDENT S COMPANIONS IN BASIC MATH: THE TWELFTH The Concept of Limits for Sequences and Series In calculus, the concept of limits is of paramount importance, in view of the fact that many basic objects
More informationEigenvalues and Eigenfunctions of the Laplacian
The Waterloo Mathematics Review 23 Eigenvalues and Eigenfunctions of the Laplacian Mihai Nica University of Waterloo mcnica@uwaterloo.ca Abstract: The problem of determining the eigenvalues and eigenvectors
More informationCurriculum Map for Mathematics HL (DP1)
Curriculum Map for Mathematics HL (DP1) Unit Title (Time frame) Sequences and Series (8 teaching hours or 2 weeks) Permutations & Combinations (4 teaching hours or 1 week) Standards IB Objectives Knowledge/Content
More informationLecture 17: Trees and Merge Sort 10:00 AM, Oct 15, 2018
CS17 Integrated Introduction to Computer Science Klein Contents Lecture 17: Trees and Merge Sort 10:00 AM, Oct 15, 2018 1 Tree definitions 1 2 Analysis of mergesort using a binary tree 1 3 Analysis of
More informationSeptember 13, Cemela Summer School. Mathematics as language. Fact or Metaphor? John T. Baldwin. Framing the issues. structures and languages
September 13, 2008 A Language of / for mathematics..., I interpret that mathematics is a language in a particular way, namely as a metaphor. David Pimm, Speaking Mathematically Alternatively Scientists,
More informationSection 3.6 Complex Zeros
04 Chapter Section 6 Complex Zeros When finding the zeros of polynomials, at some point you're faced with the problem x = While there are clearly no real numbers that are solutions to this equation, leaving
More informationNotes for Math 290 using Introduction to Mathematical Proofs by Charles E. Roberts, Jr.
Notes for Math 290 using Introduction to Mathematical Proofs by Charles E. Roberts, Jr. Chapter : Logic Topics:. Statements, Negation, and Compound Statements.2 Truth Tables and Logical Equivalences.3
More information1. Foundations of Numerics from Advanced Mathematics. Mathematical Essentials and Notation
1. Foundations of Numerics from Advanced Mathematics Mathematical Essentials and Notation Mathematical Essentials and Notation, October 22, 2012 1 The main purpose of this first chapter (about 4 lectures)
More informationSection 3.1: Direct Proof and Counterexample 1
Section 3.1: Direct Proof and Counterexample 1 In this chapter, we introduce the notion of proof in mathematics. A mathematical proof is valid logical argument in mathematics which shows that a given conclusion
More informationAnnouncements. CS243: Discrete Structures. Propositional Logic II. Review. Operator Precedence. Operator Precedence, cont. Operator Precedence Example
Announcements CS243: Discrete Structures Propositional Logic II Işıl Dillig First homework assignment out today! Due in one week, i.e., before lecture next Tuesday 09/11 Weilin s Tuesday office hours are
More informationSupplementary Notes on Inductive Definitions
Supplementary Notes on Inductive Definitions 15-312: Foundations of Programming Languages Frank Pfenning Lecture 2 August 29, 2002 These supplementary notes review the notion of an inductive definition
More informationIntroducing Proof 1. hsn.uk.net. Contents
Contents 1 1 Introduction 1 What is proof? 1 Statements, Definitions and Euler Diagrams 1 Statements 1 Definitions Our first proof Euler diagrams 4 3 Logical Connectives 5 Negation 6 Conjunction 7 Disjunction
More informationAP Calculus BC Scope & Sequence
AP Calculus BC Scope & Sequence Grading Period Unit Title Learning Targets Throughout the School Year First Grading Period *Apply mathematics to problems in everyday life *Use a problem-solving model that
More informationEXERCISE 10 SOLUTIONS
CSE541 EXERCISE 10 SOLUTIONS Covers Chapters 10, 11, 12 Read and learn all examples and exercises in the chapters as well! QUESTION 1 Let GL be the Gentzen style proof system for classical logic defined
More informationCS 246 Review of Proof Techniques and Probability 01/14/19
Note: This document has been adapted from a similar review session for CS224W (Autumn 2018). It was originally compiled by Jessica Su, with minor edits by Jayadev Bhaskaran. 1 Proof techniques Here we
More information3 - Induction and Recursion
November 14, 2017 3 - Induction and Recursion William T. Trotter trotter@math.gatech.edu Using Recurrence Equations (1) Basic Problem How many regions are determined by n lines that intersect in general
More informationTHE DIVISION THEOREM IN Z AND F [T ]
THE DIVISION THEOREM IN Z AND F [T ] KEITH CONRAD 1. Introduction In the integers we can carry out a process of division with remainder, as follows. Theorem 1.1. For any integers a and b, with b 0 there
More informationLecture 10: Gentzen Systems to Refinement Logic CS 4860 Spring 2009 Thursday, February 19, 2009
Applied Logic Lecture 10: Gentzen Systems to Refinement Logic CS 4860 Spring 2009 Thursday, February 19, 2009 Last Tuesday we have looked into Gentzen systems as an alternative proof calculus, which focuses
More informationTrinity Christian School Curriculum Guide
Course Title: Calculus Grade Taught: Twelfth Grade Credits: 1 credit Trinity Christian School Curriculum Guide A. Course Goals: 1. To provide students with a familiarity with the properties of linear,
More informationCOSE212: Programming Languages. Lecture 1 Inductive Definitions (1)
COSE212: Programming Languages Lecture 1 Inductive Definitions (1) Hakjoo Oh 2017 Fall Hakjoo Oh COSE212 2017 Fall, Lecture 1 September 4, 2017 1 / 9 Inductive Definitions Inductive definition (induction)
More informationSolutions to Math 41 First Exam October 15, 2013
Solutions to Math 41 First Exam October 15, 2013 1. (16 points) Find each of the following its, with justification. If the it does not exist, explain why. If there is an infinite it, then explain whether
More information185.A09 Advanced Mathematical Logic
185.A09 Advanced Mathematical Logic www.volny.cz/behounek/logic/teaching/mathlog13 Libor Běhounek, behounek@cs.cas.cz Lecture #1, October 15, 2013 Organizational matters Study materials will be posted
More informationSequences. Chapter 3. n + 1 3n + 2 sin n n. 3. lim (ln(n + 1) ln n) 1. lim. 2. lim. 4. lim (1 + n)1/n. Answers: 1. 1/3; 2. 0; 3. 0; 4. 1.
Chapter 3 Sequences Both the main elements of calculus (differentiation and integration) require the notion of a limit. Sequences will play a central role when we work with limits. Definition 3.. A Sequence
More informationAppendix B: Accuracy, Precision and Uncertainty
Appendix B: Accuracy, Precision and Uncertainty How tall are you? How old are you? When you answered these everyday questions, you probably did it in round numbers such as "five foot, six inches" or "nineteen
More informationCS 124 Math Review Section January 29, 2018
CS 124 Math Review Section CS 124 is more math intensive than most of the introductory courses in the department. You re going to need to be able to do two things: 1. Perform some clever calculations to
More informationAlgebra 2 Secondary Mathematics Instructional Guide
Algebra 2 Secondary Mathematics Instructional Guide 2009-2010 ALGEBRA 2AB (Grade 9, 10 or 11) Prerequisite: Algebra 1AB or Geometry AB 310303 Algebra 2A 310304 Algebra 2B COURSE DESCRIPTION Los Angeles
More informationAS 1 Math Structure for BSc (Ed) (Primary 2 CS Track) AS 1 Math Structure for BSc (Ed) (Secondary)
ACADEMIC SUBJECT: MATHEMATICS Table 1: AS 1 Math Structure for BSc (Ed) (Primary 2 CS Track) AS 1 Math Structure for BSc (Ed) (Secondary) Year 1 2 3 4 Course Code Title Course Category No. of AUs Prerequisites
More information5.5 Deeper Properties of Continuous Functions
5.5. DEEPER PROPERTIES OF CONTINUOUS FUNCTIONS 195 5.5 Deeper Properties of Continuous Functions 5.5.1 Intermediate Value Theorem and Consequences When one studies a function, one is usually interested
More informationPropositional Logic and Semantics
Propositional Logic and Semantics English is naturally ambiguous. For example, consider the following employee (non)recommendations and their ambiguity in the English language: I can assure you that no
More informationMATHEMATICS (MATH) Calendar
MATHEMATICS (MATH) This is a list of the Mathematics (MATH) courses available at KPU. For information about transfer of credit amongst institutions in B.C. and to see how individual courses transfer, go
More informationT Reactive Systems: Temporal Logic LTL
Tik-79.186 Reactive Systems 1 T-79.186 Reactive Systems: Temporal Logic LTL Spring 2005, Lecture 4 January 31, 2005 Tik-79.186 Reactive Systems 2 Temporal Logics Temporal logics are currently the most
More informationComplexity Theory Part I
Complexity Theory Part I Problem Problem Set Set 77 due due right right now now using using a late late period period The Limits of Computability EQ TM EQ TM co-re R RE L D ADD L D HALT A TM HALT A TM
More informationNotes on Calculus. Allen Olsen Lexington HS, Lexington MA September 8, 2015
Notes on Calculus Allen Olsen Lexington HS, Lexington MA 024 September 8, 205 Contents Foreword 4 2 Limits 9 3 Properties of the Absolute Value Function 4 4 Limits (2) 7 5 Limit Theorems 9 6 More About
More informationABSTRACT ALGEBRA 1, LECTURES NOTES 5: SUBGROUPS, CONJUGACY, NORMALITY, QUOTIENT GROUPS, AND EXTENSIONS.
ABSTRACT ALGEBRA 1, LECTURES NOTES 5: SUBGROUPS, CONJUGACY, NORMALITY, QUOTIENT GROUPS, AND EXTENSIONS. ANDREW SALCH 1. Subgroups, conjugacy, normality. I think you already know what a subgroup is: Definition
More informationLecture Notes on Inductive Definitions
Lecture Notes on Inductive Definitions 15-312: Foundations of Programming Languages Frank Pfenning Lecture 2 August 28, 2003 These supplementary notes review the notion of an inductive definition and give
More informationCSE 20. Lecture 4: Introduction to Boolean algebra. CSE 20: Lecture4
CSE 20 Lecture 4: Introduction to Boolean algebra Reminder First quiz will be on Friday (17th January) in class. It is a paper quiz. Syllabus is all that has been done till Wednesday. If you want you may
More informationCOSE212: Programming Languages. Lecture 1 Inductive Definitions (1)
COSE212: Programming Languages Lecture 1 Inductive Definitions (1) Hakjoo Oh 2018 Fall Hakjoo Oh COSE212 2018 Fall, Lecture 1 September 5, 2018 1 / 10 Inductive Definitions Inductive definition (induction)
More information1.4 Function Notation
1.4 Function Notation 55 1.4 Function Notation In Definition 1.6, we described a function as a special kind of relation one in which each x- coordinate is matched with only one y-coordinate. In this section,
More informationUndergraduate Notes in Mathematics. Arkansas Tech University Department of Mathematics
Undergraduate Notes in Mathematics Arkansas Tech University Department of Mathematics An Introductory Single Variable Real Analysis: A Learning Approach through Problem Solving Marcel B. Finan c All Rights
More informationOrdinal Strength of Logic-Enriched Type Theories
Ordinal Strength of Logic-Enriched Type Theories Robin Adams Royal Holloway, University of London 27 March 2012 Robin Adams (RHUL) Ordinal Strength of LTTs 27 March 2012 1 / 27 Introduction Type theories
More informationMixed Review Write an equation for each problem. Then solve the equation. 1. The difference between 70 and a number is 2. A number minus 13 is 1.
1 of 12 2/23/2009 4:28 PM Name Mixed Review Write an equation for each problem. Then solve the equation. 1. The difference between 70 and a number is 2. A number minus 13 is 1. 66. 3. A number multiplied
More informationMAT246H1S - Concepts In Abstract Mathematics. Solutions to Term Test 1 - February 1, 2018
MAT246H1S - Concepts In Abstract Mathematics Solutions to Term Test 1 - February 1, 2018 Time allotted: 110 minutes. Aids permitted: None. Comments: Statements of Definitions, Principles or Theorems should
More informationUNIVERSITY OF NORTH ALABAMA MA 110 FINITE MATHEMATICS
MA 110 FINITE MATHEMATICS Course Description. This course is intended to give an overview of topics in finite mathematics together with their applications and is taken primarily by students who are not
More informationLecture Notes on Inductive Definitions
Lecture Notes on Inductive Definitions 15-312: Foundations of Programming Languages Frank Pfenning Lecture 2 September 2, 2004 These supplementary notes review the notion of an inductive definition and
More information3.4 Complex Zeros and the Fundamental Theorem of Algebra
86 Polynomial Functions 3.4 Complex Zeros and the Fundamental Theorem of Algebra In Section 3.3, we were focused on finding the real zeros of a polynomial function. In this section, we expand our horizons
More informationCSE 20 DISCRETE MATH. Fall
CSE 20 DISCRETE MATH Fall 2017 http://cseweb.ucsd.edu/classes/fa17/cse20-ab/ Today's learning goals Determine whether a relation is an equivalence relation by determining whether it is Reflexive Symmetric
More informationBounded uniformly continuous functions
Bounded uniformly continuous functions Objectives. To study the basic properties of the C -algebra of the bounded uniformly continuous functions on some metric space. Requirements. Basic concepts of analysis:
More informationMath Lecture 4 Limit Laws
Math 1060 Lecture 4 Limit Laws Outline Summary of last lecture Limit laws Motivation Limits of constants and the identity function Limits of sums and differences Limits of products Limits of polynomials
More informationCompleteness Theorems and λ-calculus
Thierry Coquand Apr. 23, 2005 Content of the talk We explain how to discover some variants of Hindley s completeness theorem (1983) via analysing proof theory of impredicative systems We present some remarks
More informationLimits and Continuity
Chapter Limits and Continuity. Limits of Sequences.. The Concept of Limit and Its Properties A sequence { } is an ordered infinite list x,x,...,,... The n-th term of the sequence is, and n is the index
More information. Get closed expressions for the following subsequences and decide if they converge. (1) a n+1 = (2) a 2n = (3) a 2n+1 = (4) a n 2 = (5) b n+1 =
Math 316, Intro to Analysis subsequences. Recall one of our arguments about why a n = ( 1) n diverges. Consider the subsequences a n = ( 1) n = +1. It converges to 1. On the other hand, the subsequences
More informationCS 2110: INDUCTION DISCUSSION TOPICS
CS 110: INDUCTION DISCUSSION TOPICS The following ideas are suggestions for how to handle your discussion classes. You can do as much or as little of this as you want. You can either present at the board,
More informationAxiomatic Semantics. Stansifer Ch 2.4, Ch. 9 Winskel Ch.6 Slonneger and Kurtz Ch. 11 CSE
Axiomatic Semantics Stansifer Ch 2.4, Ch. 9 Winskel Ch.6 Slonneger and Kurtz Ch. 11 CSE 6341 1 Outline Introduction What are axiomatic semantics? First-order logic & assertions about states Results (triples)
More informationLogic: Propositional Logic Truth Tables
Logic: Propositional Logic Truth Tables Raffaella Bernardi bernardi@inf.unibz.it P.zza Domenicani 3, Room 2.28 Faculty of Computer Science, Free University of Bolzano-Bozen http://www.inf.unibz.it/~bernardi/courses/logic06
More informationLimit and Continuity
Limit and Continuity Table of contents. Limit of Sequences............................................ 2.. Definitions and properties...................................... 2... Definitions............................................
More informationMATH 3310 Class Notes 2
MATH 330 Class Notes 2 S. F. Ellermeyer August 2, 200 The differential equation = ky () (where k is a given constant) is extremely important in applications and in the general theory of differential equations.
More informationI. AP Calculus AB Major Topic: Functions, Graphs, and Limits
A.P. Calculus AB Course Description: AP Calculus AB is an extension of advanced mathematical concepts studied in Precalculus. Topics include continuity and limits, composite functions, and graphing. An
More informationTimo Latvala. February 4, 2004
Reactive Systems: Temporal Logic LT L Timo Latvala February 4, 2004 Reactive Systems: Temporal Logic LT L 8-1 Temporal Logics Temporal logics are currently the most widely used specification formalism
More informationContents. Preface xi. vii
Preface xi 1. Real Numbers and Monotone Sequences 1 1.1 Introduction; Real numbers 1 1.2 Increasing sequences 3 1.3 Limit of an increasing sequence 4 1.4 Example: the number e 5 1.5 Example: the harmonic
More informationOxford Preparatory School Math 3 Pacing Guide
Oxford Preparatory School Math 3 Pacing Guide Units for NC Math 3 Number of Days (Block) Number of Days (Traditional) Unit 1: Functions and Their Inverses 10 20 Unit 2: Exponential and Logarithmic Functions
More informationIntroduction to Series and Sequences Math 121 Calculus II Spring 2015
Introduction to Series and Sequences Math Calculus II Spring 05 The goal. The main purpose of our study of series and sequences is to understand power series. A power series is like a polynomial of infinite
More information1. Propositional Calculus
1. Propositional Calculus Some notes for Math 601, Fall 2010 based on Elliott Mendelson, Introduction to Mathematical Logic, Fifth edition, 2010, Chapman & Hall. 2. Syntax ( grammar ). 1.1, p. 1. Given:
More informationAP Calculus Chapter 9: Infinite Series
AP Calculus Chapter 9: Infinite Series 9. Sequences a, a 2, a 3, a 4, a 5,... Sequence: A function whose domain is the set of positive integers n = 2 3 4 a n = a a 2 a 3 a 4 terms of the sequence Begin
More informationTruth-Functional Logic
Truth-Functional Logic Syntax Every atomic sentence (A, B, C, ) is a sentence and are sentences With ϕ a sentence, the negation ϕ is a sentence With ϕ and ψ sentences, the conjunction ϕ ψ is a sentence
More informationCHAPTER 11. Introduction to Intuitionistic Logic
CHAPTER 11 Introduction to Intuitionistic Logic Intuitionistic logic has developed as a result of certain philosophical views on the foundation of mathematics, known as intuitionism. Intuitionism was originated
More informationExercise 2. Prove that [ 1, 1] is the set of all the limit points of ( 1, 1] = {x R : 1 <
Math 316, Intro to Analysis Limits of functions We are experts at taking limits of sequences as the indexing parameter gets close to infinity. What about limits of functions as the independent variable
More information