Logic and Computation - COMPX361 (2020)
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 |
| Internal assessment / examination: | 50:50 |
| Restriction(s): | COMP235 and COMP340 |
Semesters and Locations
| Occurrence Code | When taught | Where taught |
|---|---|---|
| 20B (HAM) | B Semester : 13 Jul 2020 - 8 Nov 2020 | Hamilton |
Timetabled Lectures for Logic and Computation (COMPX361)
| Day | Start | End | Room | Dates |
|---|---|---|---|---|
| Mon | 9:00 AM | 10:00 AM | L.G.01 | Jul 13 - Oct 18 |
| Tue | 12:00 PM | 1:00 PM | S.1.04 | Jul 13 - Oct 18 |
| Thu | 11:00 AM | 12:00 PM | L.G.05 | Jul 13 - Oct 18 |
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 | ||
| 20B (HAM) | $900 | $0 | $3824 |
Paper Outlines
The following 2019 paper outlines are available for COMPX361. Please contact the Faculty or School office for details on 2020 outlines.
Additional Information
Available Subjects: Computer Science | Mathematics | Software Engineering
Other available years: Logic and Computation - COMPX361 (2019) , Logic and Computation - COMPX361 (2018)
Paper details current as of : 18 February 2020 4:25pm
Indicative fees current as of : 31 January 2020 4:26pm