| MATH 409 |
CRN 10004, 15 Points (2010 1/3) |
| Coordinator: |
Prof Rob Goldblatt
|
| Restrictions: |
MATH 309 |
| Lectures: |
Mon Tue Wed Fri 2-3 timetable |
| Tutorials: |
Mon 14.10-15.00 in CO228 (NOTE: the class will meet on the first day of the trimester, Monday 1st March) |
| 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. |
|
Home Page
|
Year2010
Events
