MAT1077

Discrete mathematics

(SCI)

Dr John Arkinstall

6 points + Second semester + 3 hours of lectures and one 1-hour tutorials per week + Gippsland, Distance, Berwick + Prerequisites: GCO1815 or Year 12 Mathematics + Prohibitions: GAS1614, MAT1130

Synopsis: This subject aims to provide students with a basic understanding of logic, and the ability to use techniques in finite and discrete mathematics, in particular the mathematics relevant to the design and development of good computer software. Topics covered include propositional calculus and application to the design of computer programs; techniques for constructing standard mathematical proofs; predicate calculus and its use in proving that a computer program meets its specifications; Boolean algebra and applications to the design of simple logic circuits; graphs and graph theoretic algorithms; computability, finite state machines, regular grammars and their applications.

Assessment: Class tests and assignments: 30% + Examination: 70%