Mathematical logic is a discipline within mathematics, studying formal systems in relation to the way they encode intuitive concepts of proof and computation as part of the foundations of mathematics. Contrary to what one may think mathematical logic is not the logic of mathematics, but more closely resembles the mathematics of logic. It comprises those parts of logic that can be modelled mathematically.
By the end of the course, students should be able to:
| Attachment | Size |
|---|---|
 MTH 2206.doc | 25.5 KB |