This unit contains an overview of the mathematical foundations of computer science including basic set theory and logic, formal proof methodologies, and automata theory. The unit applies this knowledge to real problems in computer science and software engineering, specifically the demonstration of program correctness and the specification of computer systems. Topics include set theory, relations, functions, predicate logic, formal proofs of correctness, finite state automata, and automata theory. -- Course Website
Instructor: Professor Mark Reynolds
Prerequisites: MATH1045 Intermediate Calculus or WACE Mathematics 3C/3D or WACE Mathematics Specialist 3A/3B or MATH1711 Introductory Mathematics Specialist or MATH1038 Calculus and its Applications or WACE Mathematics Specialist 3C/3D or MATH1712 Intermediate Mathemati