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)
Hamilton, On-campus18B (HAM)B Trimester :09 Jul 2018 - 04 Nov 2018HamiltonOn-campus50% 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 of 31 May 2024 18:19pm
- Indicative fees current as of 18 Aug 2024 01:20am