Search Course Outline

Year

Term

Faculty / School or Department

Stage

1 course outline found

SOFTENG 211

: Software Engineering Theory

2020 Semester Two (1205)

Sets. Formal languages, operations on languages. Deterministic and nondeterministic automata, designing automata, determinisation. Regular expressions. Logic. Induction. Recursion. Program correctness. Computability. Counting. Elements of graph algorithms.

Prerequisite: ENGGEN 131 or COMPSCI 101

Outline is not available yet