MATH1041
Lecturer : Norbert Peyerimhoff
Term : Michaelmas 2013/14
Lectures :Office hour : Mondays 11:00-12:00, CM320
Seminars :
Content of Lectures
Date | Content | pdf-file |
Monday, 7 October 2013 (Week 1) | Mathematical statements and connectives (and, or, not, implies), truth tables, equivalent statements, De Morgan's Rule | pdf-file |
Monday, 14 October 2013 (Week 2) | The "if and only if" connective, basic set notation and number sets, Venn Diagrams, equality of sets and subsets | pdf-file |
Monday, 21 October 2013 (Week 3) | Mathematical structuring (definitions, theorems, proof, ...), writing of a proper mathematical text illustrated by an example from Euclidean Geometry | pdf-file |
Monday, 28 October 2013 (Week 4) | Open statements, quantifiers, order of quantifiers matters, negation of statements with quantifiers, infinite unions and intersections, De Morgan for infinite unions and intersections of sets | pdf-file |
Monday, 4 November 2013 (Week 5) | Correct negation of ''If A then B'', Indirect Proof, Induction and Strong Induction | pdf-file |
Monday, 11 November 2013 (Week 6) | Contrapositive statements, Contrapositive proof technique and examples, necessary and sufficient conditions, injective, surjective and bijective | pdf-file |
Monday, 18 November 2013 (Week 7) | Modelling problems and their three stages (modelling stage, solution stage, and looking back stage), Overhanging Domino Problem as a concrete example | pdf-file |
Monday, 25 November 2013 (Week 8) | Cardinality of a set, comparison of sizes of finite and infinite sets, Cantor-Bernstein-Schroeder Theorem, countability and uncountable sets, cardinalities of sets of rational and irrational numbers, cardinality of the power set | pdf-file |
Monday, 2 December 2013 (Week 9) | Preimage and image of a set under a map, examples, equivalence relations, equivalence classes, representatives, examples | pdf-file |
Monday, 9 December 2013 (Week 10) | Discussion of certain aspects of the first two assessments | pdf-file |
Problem Sheets |
Date | Sheets | Solutions | |
Week 1 (7.10-11.10) | Logic Problems pdf | Logic Solutions pdf | ||
Week 2 (14.10-18.10) | Set Problems pdf | Set Solutions pdf | ||
Week 3 (21.10-25.10) | Writing Maths Problems pdf | Writing Maths Solutions pdf | ||
Week 4 (28.10-1.11) | More Logic and Sets Problems pdf | More Logic and Sets Solutions pdf | ||
Week 5 (4.11-8.11) | Proof Problems pdf | Solutions pdf | ||
Week 6 (11.11-15.11) | Formulate mathematical conditions pdf | Solutions pdf | ||
Week 7 (18.11-23.11) | Modelling problems pdf | Solutions pdf | ||
Week 8 (25.11-29.11) | Number Problems pdf | Solutions pdf | ||
Week 9 (2.12-6.12) | Preimages and Equivalence Relations pdf | Solutions pdf | ||
Week 10 (9.12-13.12) | Potpourri of Problems pdf | Solutions pdf |
Assessment : The schedule is tentative and may change in due course. There will be 3 summative assessments during the term (contributing in total 40% to the final mark of the whole module).
Literature
Much of what you will do is based on the following highly recommendable book.