Foundations of computing
4 points * Two 1-hour lectures and one 1-hour tutorial per week * Second semester * Clayton * Prerequisites: As for CSC2010
This subject (i) looks at the question of exactly what a computer can compute and (ii) gives an introduction to logic. Topics include computable functions, finite state automata, regular expressions, grammars, Turing computability, propositional logic, resolution, predicate logic.
Assessment
Examinations (2 hours): 100% * Satisfactory performance on tutorial work is a requirement