| MATH 409 |
CRN 10004, 15 Points (2009 1/3) |
| Coordinator: |
Prof Noam Greenberg
|
| Restrictions: |
MATH 309 |
| Lectures: |
Mon Tue Thu Fri 9-10 timetable |
| Tutorials: |
??? ?-? CO ???(Note the class will meet on the first ?????? of the Trimester, ?? March 2009) |
| Textbook: |
Burris, Logic for Mathematics and Computer Science. |
| Prescription: |
Co-taught with MATH 309. |
| Description: |
An introduction to the semantics and proof theory of symbolic languages, explaining the role of logic in describing mathematical structures and formalising reasoning about them. Topics covered include propositional logic; first-order logic of quantifiers and predicates; the beginnings of model theory, including completeness and compactness theorems; and an introduction to the theory of computability, including Turing machines and Gödel's Incompleteness Theorem for formal arithmetic. |
|
|
