Instructor: L. van den Dries
Office hours: Monday and Friday, 8:30AM to 9:30AM (Altgeld Hall, 308).
No previous study of logic is assumed, but we begin with a brief introduction of elementary set theory as an efficient language to communicate mathematics, including the mathematical logic of this course. After that the main topics are:
There will be three midsemester exams, a final exam, and regular homework, the latter due each Monday at the beginning of class. These count to your course grade as follows: HW: 10/100, midterms: 30/100, final: 60/100.
Prerequisites: Math 347, or Math 348.
Text: Dirk van Dalen, Logic and Structure, fifth edition, Universitext, Springer
Some historical remarks about mathematical logic, and an introduction to naive set theory as covered the beginning of the course are contained in the first 12 pages of my Logic Notes (Math 570), which can be found under "Lecture Notes" at https://faculty.math.illinois.edu/~vddries/
First midterm: Monday February 18, 7PM-8.30PM, Lincoln Hall, room 1090. This covers: The notes on Sets and Maps from the first week, and Chapters 1 and 2 of the book by van Dalen, except for section 2.5. Also any of the files posted like CNF and solutions to homeworks.
Last modified February 8, 2019