|Math 430: Formal Logic|
Office: 417 SEO (notice change of office!)
Office Phone: (312) 413-2149
Office Hours: MWF 10-11am, or by appointment.
Prerequisites: Grade of C or better in CS 202 or grade of C or better in MCS 261 or grade of C or better in MATH 320.
Downloading files from this website requires software to display PDF files, such as Acrobat Reader or Ghostview.
Click here to download the class information handout.
1. Pure logic: Syntax and semantics of first-order languages. The Completeness Theorem.
2. Basic model theory: Löwenheim-Skolem Theorems. Compactness Theorem. Elementary equivalence.
3. Fundamentals of the theory of computability: Enumerability and decidability. Register machines. The halting problem. Undecidability of first-order logic. Gödel's Incompleteness Theorems.
Put the following information in the upper right hand corner of the first page:
Math 430, Homework # number.
On each additional page, put your name(s) in the upper right-hand corner. Work single-sided, that is, write on only one side of each sheet of paper. STAPLE any homework that is more than one page long. Remove all perforation before submitting. Write legibly. Homework that fails to meet the above requirements will be marked ``Unacceptable'' and returned unread.
Set 1, due September 17. Solutions
Problem Set 2, due September 24. Solutions.
Problem Set 3, due October 11. Solutions.
Problem Set 4, due November 1. Solutions.
Problem Set 5, due November 29. Solutions.
Problem Set 6, due December 3.
For a summary of the rules of the sequent calculus click here.
The final exam will take place
December 7, 8:00-10:00am, in 219
A review session for the final will be held on Monday, December 6, 4:00-6:00pm, in 636 SEO.
Click here for a study guide for the final exam.
Students with final examinations which conflict with the Math 430 final examation are responsible for discussing a makeup examination with me no later than 12/03.
Copying work to be submitted for grade, or allowing your work to be submitted for grade to be copied, is considered academic dishonesty.
Course grades are roughly computed as follows:
|% of points||Grade|
Do not use this form to address personal concerns. All other matters specific to your situation (for example, your performance in class) should be sent by usual e-mail.
Your submission may remain anonymous, but please provide your name and e-mail address if you would like a personal response. Please indicate whether I may publish your question and my response to it on this webpage.
Click below to learn more about some of our logic heroes:
Gottfried Wilhelm Leibniz
Augustus de Morgan
John von Neumann
Alfred North Whitehead