This subject aims to provide students with an understanding of elementary logic, the ability to use techniques in finite and discrete mathematics; in particular mathematics relevant to the design and development of good computer software. Topics covered include sets, functions and relations, logic and proof, Boolean algebra and logic circuits, graphs, languages and grammars, machines and computation.
Back to the 1999 Distance Education Handbook