Logic and Computation - COMPX361 (2018)
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.
|Internal assessment / examination:
Semesters and Locations
|18B (HAM)||B Semester : Jul 09 - Nov 04, 2018
Available Subjects: Computer Science | Mathematics | Software Engineering
Paper details current as of : 19 January 2018 11:30am
Indicative fees current as of : 24 January 2018 4:30am