This unit introduces students to the language and key methods of the area of Discrete Mathematics. The focus is on mathematical concepts in discrete mathematics and their applications, with an emphasis on computation. For instance, to specify a computational problem precisely one needs to give an abstract formulation using mathematical objects such as sets, functions, relations, orders, and sequences. In order to prove that a proposed solution is correct, one needs to apply the principles of mathematical logic, and to use proof techniques such as induction. To reason about the efficiency of an algorithm, one often needs to estimate the growth of functions or count the size of complex mathematical objects. This unit provides the necessary mathematical background for such applications of discrete mathematics. Students will be introduced to mathematical logic and proof techniques; sets, functions, relations, orders, and sequences; counting and discrete probability; asymptotic growth; and basic graph theory.
Unit details and rules
Academic unit | Mathematics and Statistics Academic Operations |
---|---|
Credit points | 6 |
Prerequisites
?
|
None |
Corequisites
?
|
None |
Prohibitions
?
|
MATH1004 or MATH1904 or MATH1964 |
Assumed knowledge
?
|
Coordinate geometry, basic integral and differential calculus, polynomial equations and algebraic manipulations, equivalent to HSC Mathematics |
Available to study abroad and exchange students | Yes |
Teaching staff
Coordinator | Sam Jeralds, samuel.jeralds@sydney.edu.au |
---|---|
Lecturer(s) | Sam Jeralds, samuel.jeralds@sydney.edu.au |