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 : 13 March 2018 10:10am
Indicative fees current as of : 23 March 2018 4:30am