MATH 309 |
CRN 7528, 24 Points (2009 1/3) |
Coordinator: |
Dr Colin Bailey
|
Prerequisites: |
MATH 214 or 207 or COMP 202; |
Restrictions: |
MATH 409 |
Lectures: |
Mon Tue Fri 9-10 in CO122 timetable |
Tutorials: |
Thur 9-10 in CO122 starting in the second week. |
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
|