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
* 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
Study Levels
UNSW Quick Links
