Logic and Computation - COMPX361 (2023)
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.
Paper Information
| Points: | 15.0 |
|---|---|
| Prerequisite(s): | MATHS135 or MATHS202 or COMPX201 or COMPX241 |
| Internal assessment / examination: | 50:50 |
Trimesters and Locations
| Occurrence Code | When taught | Where taught |
|---|---|---|
| 23B (HAM) | B Trimester : 10 Jul 2023 - 5 Nov 2023 | Hamilton |
| 23B (TGA) | B Trimester : 10 Jul 2023 - 5 Nov 2023 | Tauranga |
Timetabled Lectures for Logic and Computation (COMPX361)
| Day | Start | End | Room | Dates |
|---|---|---|---|---|
| COMPX361-23B (HAM) | ||||
| Mon | 12:00 PM | 1:00 PM | S.1.04 | Jul 10 - Oct 15 |
| Thu | 11:00 AM | 12:00 PM | S.1.04 | Jul 10 - Oct 15 |
| Fri | 10:00 AM | 11:00 AM | L.G.04 | Jul 17 - Oct 15 |
| COMPX361-23B (TGA) | ||||
| Wed | 12:00 PM | 1:00 PM | TCBD.G.04 | Jul 10 - Oct 15 |
| Wed | 3:00 PM | 4:00 PM | TCBD.G.04 | Jul 10 - Oct 15 |
| Wed | 4:00 PM | 5:00 PM | TCBD.2.09 | Jul 10 - Oct 15 |
NB:There may be other timetabled events for this paper such as tutorials or workshops.
Visit the online timetable for COMPX361 for more details
Indicative Fees for Logic and Computation (COMPX361)
| Occurrence | Domestic | International | |
|---|---|---|---|
| Tuition | Resource | ||
| 23B (HAM) | $951 | $4343 | |
| 23B (TGA) | $951 | $4343 | |
Paper Outlines
The following 2022 paper outlines are available for COMPX361. Please contact the Faculty or School office for details on 2023 outlines.
Additional Information
Available Subjects: Artificial Intelligence | Computer Science | Embedded Systems | Mathematics | Software Engineering
Other available years: Logic and Computation - COMPX361 (2022) , Logic and Computation - COMPX361 (2021) , Logic and Computation - COMPX361 (2020) , Logic and Computation - COMPX361 (2019) , Logic and Computation - COMPX361 (2018)
Paper details current as of : 7 June 2023 9:03am
Indicative fees current as of : 7 June 2023 4:30am