E-mail address:
Homepage: http://www.math.uic.edu/~maschenb
Office: 417 SEO (notice change of office!)
Office Phone: (312) 413-2149
Office Hours: MWF 10-11am, or by appointment.
| Math 430: Formal Logic |
Instructor:
Matthias
Aschenbrenner
E-mail address:
Homepage: http://www.math.uic.edu/~maschenb
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:
Your Name(s)
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.
Problem
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
on Tuesday,
December 7, 8:00-10:00am, in 219
Taft Hall.
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 |
|---|---|
| 90-100 | A |
| 80-89 | B |
| 70-79 | C |
| 60-69 | D |
| below 60 | E |
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:
Wilhelm
Ackermann
Aristotle
Paul
Bernays
George
Boole
Georg
Cantor
Alonzo
Church
Paul
Cohen
René
Descartes
Richard
Dedekind
Adolf
Fraenkel
Gottlob
Frege
Gerhard
Gentzen
Kurt
Gödel
Jacques
Herbrand
David
Hilbert
Stephen
Kleene
Gottfried
Wilhelm Leibniz
Ramon
Llull
Leopold
Löwenheim
Augustus
de Morgan
John
von Neumann
Guiseppe
Peano
Emil
Post
Abraham
Robinson
Bertrand
Russell
Thoralf
Skolem
Alfred
Tarski
Alan
Turing
Alfred
North Whitehead
Ernst
Zermelo
Back
to my homepage
Last
modified 12/01/04.