| MATH 309 |
CRN 7528, 24 Points (2010 1/3) |
| Coordinator: |
Prof Rob Goldblatt
|
| Prerequisites: |
MATH 214 or 207 or COMP 202 or SWEN 202; |
| Restrictions: |
MATH 409 |
| Lectures: |
Mon Tue Wed Fri 2-3 timetable |
| Tutorials: |
Mon 2-3 in CO228 (NOTE: the class will meet on the first day of the
rimester, Monday 1st March) |
| Assignments: |
Weekly |
| Assessment: |
Either 100% final examination or 70% final examination, 20% test and 10% assignments |
| Textbook: |
Burris, Logic for Mathematics and Computer Science, Approximate cost: $90. |
| Prescription: |
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 sentential 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 Godel's Incompleteness Theorem for formal arithmetic. Co-taught with MATH 409. |
|
Home Page
|
Year2010
Events
