University of Illinois at Urbana-Champaign

Spring 2019
Math 414: MATHEMATICAL LOGIC, Section C13/C14

MWF from 10:00AM to 10:50AM in Room 241 Altgeld Hall

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/

Next I list various links to the syllabus, homework assignments (numbered as HW1, HW2, and so on), solutions of these assignments (HW1s, HW2s, and so on), exam dates, and the like.

syllabus

HW1

HW1solutions

HW2

HW2solutions

HW3

HW3solutions

CNF

HW4

HW4solutions

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.

414mt1solutions

HW5

HW5solutions

HW6

HW6solutions

HW7

HW7solutions

HW8

HW8solutions

Second midterm: Monday April 1, 7PM-8.30PM, English Building, room 108. This covers: Section 2.5, and Chapter 3. Also any of the solutions to homeworks. You can bring one sheet with both sides covered by your own summary of the material. HW9 will be assigned on Monday March 25, and will be due on the Friday of that week:March 29. Below I list a file with further info about the contents of the midterm

midterm2info

HW9

HW9solutions

414mt2solutions

HW10

HW10solutions

HW11

HW11solutions

HW12

HW12solutions

Final Exam: Friday May 3, 1:30 to 4:30, 156 Henry Administration Building (next door from Altgeld Hall). This will cover the notes on set theory distributed at the beginning of the course plus some further notes on cardinal numbers distributed Wednesday April 24, plus the material from the book up to and including Section 4.2. I will review this material on Monday, May 1, during class. You can bring one sheet with facts about the material to the exam (using both sides).

cardinals

Last modified April 19