Skip to content | Change text size

CSE2303 - Formal methods I

6 points, SCA Band 2, 0.125 EFTSL

Undergraduate Faculty of Information Technology

Offered

Not offered in 2007

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 hours of lectures per week and one 1-hour tutorial and 3 hours of laboratory class 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