15
300
B Trimester
Hamilton, Tauranga
MATHS135 or MATHS202 or COMPX201 or COMPX241
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
- 22B (HAM)B Trimester :18 Jul 2022 - 13 Nov 2022HamiltonOn-campusPaper outline70% internal assessment, 30% examinations
- 22B (TGA)B Trimester :18 Jul 2022 - 13 Nov 2022TaurangaOn-campusPaper outline70% internal assessment, 30% examinations
22B (HAM) Paper outline | B Trimester : 18 Jul 2022 - 13 Nov 2022 | Hamilton | On-campus | 70% internal assessment, 30% examinations |
22B (TGA) Paper outline | B Trimester : 18 Jul 2022 - 13 Nov 2022 | Tauranga | On-campus | 70% internal assessment, 30% examinations |
If your paper outline is not linked below, try the previous year's version of this paper.
Available subjects
Additional information
- Paper details current as of1 Jun 2024 17:21pm
- Indicative fees current as of3 Apr 2025 01:20am