CSC2030

Formal methods I

(SCI)

4 points + Two 1-hour lectures per week and one 1-hour tutorial and one 2-hour laboratory per fortnight + First semester + Clayton + Prerequisites: CSC1011 and 12 points of approved first-year mathematics subjects (or equivalent) + Prohibitions: CSE2303

Synopsis: Introduction to formal languages and logic. Topics include regular expressions, finite automata, nondeterministic finite automata, Moore machines, Mealy machines, grammars, pushdown automata, Turing machines, propositional logic, predicate logic, and resolution.

Assessment: Examination (2 hours): 70% + Laboratory work: 30%