Skip to main content
Unit of study_

MATH1064: Discrete Mathematics for Computation

2025 unit information

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

Managing faculty or University school:

Science

Study level Undergraduate
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

At the completion of this unit, you should be able to:

  • LO1. construct logically correct and mathematically sound proofs
  • LO2. apply concepts of logic, set theory, relations, induction, principles of counting, probability, algebraic structures, elementary number theory, graph theory, and asymptotic growth to mathematical and computational problems in more advanced courses
  • LO3. demonstrate an understanding and well-founded knowledge of the mathematics presented in this course and thus be able to apply techniques from this course to solve both familiar and novel problems
  • LO4. understand some applications of mathematics to relevant fields, such as computer programming and logic.

Unit availability

This section lists the session, attendance modes and locations the unit is available in. There is a unit outline for each of the unit availabilities, which gives you information about the unit including assessment details and a schedule of weekly activities.

The outline is published 2 weeks before the first day of teaching. You can look at previous outlines for a guide to the details of a unit.

Session MoA ?  Location Outline ? 
Semester 2 2024
Normal day Camperdown/Darlington, Sydney
Session MoA ?  Location Outline ? 
Semester 2 2025
Normal day Camperdown/Darlington, Sydney
Outline unavailable
Session MoA ?  Location Outline ? 
Semester 2 2020
Normal day Camperdown/Darlington, Sydney
Semester 2 2021
Normal day Camperdown/Darlington, Sydney
Semester 2 2021
Normal day Remote
Semester 2 2022
Normal day Camperdown/Darlington, Sydney
Semester 2 2022
Normal day Remote
Semester 2 2023
Normal day Camperdown/Darlington, Sydney

Find your current year census dates

Modes of attendance (MoA)

This refers to the Mode of attendance (MoA) for the unit as it appears when you’re selecting your units in Sydney Student. Find more information about modes of attendance on our website.