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)
Hamilton, On-campus22B (HAM)B Trimester :18 Jul 2022 - 13 Nov 2022HamiltonOn-campus70% internal assessment, 30% examinations -
22B (TGA)
Tauranga, On-campus22B (TGA)B Trimester :18 Jul 2022 - 13 Nov 2022TaurangaOn-campus70% 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 of 1 Jun 2024 17:21pm
- Indicative fees current as of 18 Aug 2024 01:20am