15
300
B Trimester
Hamilton
MATHS135
COMP235 and COMP340
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.
Teaching Periods and Locations
- 18B (HAM)B Trimester :09 Jul 2018 - 04 Nov 2018HamiltonOn-campusPaper outline50% internal assessment, 50% examinations
18B (HAM) Paper outline | B Trimester : 09 Jul 2018 - 04 Nov 2018 | Hamilton | On-campus | 50% internal assessment, 50% examinations |
Available subjects
Additional information
- Paper details current as of31 May 2024 18:19pm
- Indicative fees current as of3 Apr 2025 01:20am