Logic and Computation - COMPX361 (2018)
The syllabus includes: further development of predicate logic with application to program verification; mathematical induction including structural induction; finite state automata and regular languages; Kleene's Theorem; Turing machines, the Church-Turing thesis, universal Turing machines and the Halting problem; formal grammars and the Chomsky hierarchy.
Paper Information
Points: | 15.0 |
---|---|
Prerequisite(s): | MATHS135 |
Internal assessment / examination: | 50:50 |
Restriction(s): | COMP235 and COMP340 |
Trimesters and Locations
Occurrence Code | When taught | Where taught |
---|---|---|
18B (HAM) | B Trimester : 9 Jul 2018 - 4 Nov 2018 | Hamilton |
Timetabled Lectures
The Timetable for 2018 is not available.
Indicative Fees for Logic and Computation (COMPX361)
Occurrence | Domestic | International | |
---|---|---|---|
Tuition | Resource | ||
18B (HAM) | $865 | $3536 |
Paper Outlines
The following paper outlines are available for Logic and Computation (COMPX361).
If your paper occurrence is not listed contact the Faculty or School office.
Additional Information
Available Subjects: Computer Science | Mathematics | Software Engineering
Other available years: Logic and Computation - COMPX361 (2024) , Logic and Computation - COMPX361 (2023) , Logic and Computation - COMPX361 (2022) , Logic and Computation - COMPX361 (2021) , Logic and Computation - COMPX361 (2020) , Logic and Computation - COMPX361 (2019)
Paper details current as of : 22 March 2024 8:11pm
Indicative fees current as of : 29 March 2024 4:32am