Monash home | About Monash | Faculties | Campuses | Contact Monash |
Staff directory | A-Z index | Site map |
Not offered in 2007
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.
Examination (3 hours): 70%
Laboratory work: 30%
Two hours of lectures per week and one 1-hour tutorial and 3 hours of laboratory class per fortnight
CSE1301 or CSC1011 and either 12 points of approved first-year mathemtics units (or equivalent), or 6 points of approved first-year mathematics units (or equivalent) as a prerequisite and 6 points of approved first-year mathematics units (or equivalent) as a corequisite.
CSC2030