[an error occurred while processing this directive]
|
|||||||||
CSE2303Formal methods I (6 points)(IT) Leader:
Offered: 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 (3 hours): 70% + Laboratory work: 30% Contact Hours: Two 1-hour lectures per week and one 1-hour tutorial and one 2-hour laboratory per fortnight Prerequisites: 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. Prohibitions: CSC2030 |
Australian Government Requirements for International Students - CRICOS Provider Number: 00008C
Copyright © 1994-2001 Monash University - Last Date Modified: 13 October 2003 - Caution - Privacy Monash University ABN 12 377 614 012 |