COMP8670 Advanced Topics in Logic and Computation
Not offered in 20246 units8000-level
The computer itself was born from logic, and logic plays indispensable roles in diverse fields of science today, including computer science, mathematics, linguistics, philosophy and beyond. This course covers advanced issues in classical logic and elements of non-classical logic with emphasis on completeness proof methodologies for various logical systems; (in)completeness is the most fundamental issue in logic, elucidating the relationships between the syntax (proof theory) and semantics (model theory) of logical systems, or the correspondence between symbolic language and reality/worlds. Familiarity with elementary logic is assumed as well as general mathematical knowledge (such as sets, relations, quotients under equivalence relations).
- 2024not offered
- 2025not listed
- 2026not listed
- 2027not listed
Prerequisites in 2024
Read automatically from the handbook's wording
The handbook's original wording (2024)
To enrol in this course you must have successfully completed COMP2620 / COMP6262 or MATH3343 / MATH6203 .
What it leads to in 2024
No course names COMP8670 in its 2024 prerequisites.