Mathematics 4158y/9058y

Foundations of Mathematics

• Instructor:
• Mike Dawes.
• Office: MC 124.
• E-mail: mdawes[at]uwo.ca
• Textbook:  A Concise Introduction to Mathematical Logic by Wolfgang Rautenberg, Springer, 3e, ISBN 978-1-4419-1220-6.
• Prerequisites: Permission of the Department.
• Lectures:
  • First term: Tuesdays 2:30pm–4:30pm, Middlesex College 108. First lecture: Tuesday, October 18.
  • Second term: Monday 12:30pm–1:30pm, Wednesday 11:30am–12:30pm, Middlesex College 108.
• Course Outline: An introductory survey of mathematical logic.
• Propositional calculus;
• Predicate Calculus;
• Completeness—Gödel's theorem;
• Model Theory;
• Incompleteness and Undecidability—Gödel, Tarski, Church.
Topics may be added or deleted in accordance with time available and the background of students.
• Methods of Evaluation: Problems will be assigned regularly. Marks for the course will be based on written solutions of assigned problems. Graduate students registered in 9058 will be expected to do more problems and meet a higher standard.
  Note: in courses with no final exam, marks are required to be submitted to the Registrar one week after the last day of classes, i.e. on April 18, one week after April 11, 2012. The final due date for assignments (and any revisions) will be April 13, 2012.
• Assignments
  • Assignment 1
  • Assignment 2
  • Assignment 3
  • Assignment 4
  • Assignment 5 Note: the wording in question 2(b) has been corrected.
  • Assignment 6
  • Assignment 7
  • Assignment 8
  • Assignment 9
  • Assignment 10
  • Assignment 11
  • Assignment 12
  • Assignment 13
  • Assignment 14
  • Assignment 15
  • Assignment 16
  • Assignment 17
  • Assignment 18
  • Assignment 19
• Statement on Academic Offences
  Scholastic offences are taken seriously and students are directed to read the appropriate policy, specifically, the definition of what constitutes a Scholastic Offence, at the following web site: http://www.uwo.ca/univsec/handbook/appeals/scholastic_discipline_undergrad.pdf.
• Medical Accommodation

  • For UWO Policy on Accommodation for Medical Illness see: http://www.uwo.ca/univsec/handbook/appeals/accommodation_medical.pdf
  • Downloadable Student Medical Certificate (SMC): https://studentservices.uwo.ca under the Medical Documentation heading
  • Students seeking academic accommodation on medical grounds for any missed tests, exams, participation components and/or assignments worth 10% or more of their final grade must apply to the Academic Counselling office of their home Faculty and provide documentation. Academic accommodation cannot be granted by the instructor or department.