Course

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

CSS Contribution Charge: 2 (more info)

Tuition Fee: See Tuition Fee Schedule

Further Information: See Class Timetable

View course information for previous years.

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
Computing Logo

Study Levels

UNSW Quick Links