Course Description and Grading BreakdownThe material covered in this term will include an introduction to mathematical logic, including propositional and predicate (or first-order) calculus. We will discuss the syntax and semantics of formal languages, formal proofs, and the Gödel Completeness and Incompleteness Theorems. There are no prerequisites for this course. There will be no final exams. The grade will be based on 6 written assignments consisting of three questions each. Each question is worth 10 points. Course Meeting Time and LocationTuesday and Thursday 1:00 - 2:25 pm B122 Gates Chemical Laboratory (GCL, Building #26) Course Instructor Contact Information and Office Hours210-1 Math Building (Building 15) TA Contact Information and Office Hours1-G Math Building Office hours: Sundays 4 - 5 PM in 107 Downs Laboratory (Building 47) Course Schedule and TextbookThere will be no official textbook. The lectures will follow notes that will be posted here.
Interested students can consult the following books: Enderton, A mathematical introduction to logic. Second Edition (2001) Shoenfield, Mathematical logic. Second Edition (2001) Manin, A course in mathematical logic for mathematicians. Second Edition (2010) The following is a book containing a wealth of examples of proofs by induction taken from a variety of mathematical subjects, and aimed at undergraduate students: David Gunderson, Handbook of Mathematical Induction, CRC Press, 2011 Course Policies- Please staple a blank page containing only your name at the front of the assignment.
- You are encouraged to work in groups on the assignments. However, you are required to write your solution on your own and not to look at written solutions of other students.
Assignments
Midterm and Final ExamCollaboration Table
* You may use a computer or calculator while doing the homework, but may not refer to this as justification for your work. For example, "by Mathematica" is not an acceptable justification for deriving one equation from another. Also, since computers and calculators will not be allowed on the exams, it's best not to get too dependent on them. |