Foundations of Computer Science - COMP9020


	Faculty: Faculty of Engineering
	School: School of Computer Science and Engineering
	Course Outline: www.cse.unsw.edu.au/~cs9020
	Campus: Kensington Campus
	Career: Postgraduate
	Units of Credit: 6
	EFTSL: 0.12500 (more info)
	Indicative Contact Hours per Week: 3
	Fee Band: 2 (more info)
	Further Information: See Class Timetable

Description

Scope:
* Mathematical methods for designing correct and efficient programs.
* Mathematics for algorithm analysis.
* Logic for proving and verification.
Topics:
* Introduction to set and relation theory
* Propositional logic and boolean algebras
* Induction, recursion and recurrence relations
* Order of growth of functions.
* Structured counting (combinatorics)
* Discrete probability
* Graph theory
* Trees for algorithmic applications