What, when, where?
 Course ID: Math 571 Time: MWF 8:50—9:40AM Place: Van Vleck Hall B123
Instructor
 Mariya Soskova Office: 523 Van Vleck Email: msoskova@math.wisc.edu Office hours: MW 9:45AM—10:45AM
Course description and textbook
 This course provides an introduction into mathematical logic, including the syntax and semantics of first-order languages, a formal calculus for proofs, Gödel's completeness theorem and the compactness theorem, nonstandard models of arithmetic, decidability and undecidability, and Gödel's incompleteness theorem. We will mainly be following A Mathematical Introduction to Logic, Second Edition by Herbert B. Enderton, ISBN 978-0122384523. Homework will include problems form this book.
Exams and evaluation
There will be two midterms and one final exam. Your final grade will be determined using the formula:

20% (Homework) + 25%(Midterm 1) + 25%( Midterm 2)+ 30% (Final)

 Midterm 1: October 12th (5:30PM to 7:00PM Room 5231 Social Science Building) Midterm 2: November 16th (5:30PM to 7:00PM Room 5231 Social Science Building) Final: December 19th (2:45PM—4:45PM Room 6102 Social Science Building) Practice T/F questions: here
Homework
Every Friday you will receive a new homework assignment. Homework will be due the following Friday at the beginning of class. Late homework will not be accepted.

Homework will be graded for completeness and one problem (selected at random) will be graded for correctness.

Recall that this is a proof-based course, and thus a strict level of rigor is necessary in your solutions. Pictures are never proofs, but are always encouraged along with proofs. Your solution should not be just a sequence of equations and formulas, write in complete sentences.

It is okay, even encouraged, if you work on the homeworks in groups. If you do, please acknowledge that in your homework. The solutions you submit, have to be written by each student individually. Copying is not allowed and will be acted against.