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
-
24B (HAM)
Hamilton, On-campus24B (HAM)B Trimester :08 Jul 2024 - 03 Nov 2024HamiltonOn-campus50% internal assessment, 50% examinations -
24B (TGA)
Tauranga, On-campus24B (TGA)B Trimester :08 Jul 2024 - 03 Nov 2024TaurangaOn-campus50% internal assessment, 50% examinations
|
|
|
|
|
---|---|---|---|---|
24B (HAM) Paper outline |
B Trimester : 08 Jul 2024 - 03 Nov 2024 |
Hamilton | On-campus | 50% internal assessment, 50% examinations |
24B (TGA) Paper outline |
B Trimester : 08 Jul 2024 - 03 Nov 2024 |
Tauranga | On-campus | 50% internal assessment, 50% 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 23:20pm
- Indicative fees current as of 14 Dec 2024 01:20am