MAT1830 - Discrete mathematics for computer science - 2017

6 points, SCA Band 2, 0.125 EFTSL

Undergraduate - Unit

Refer to the specific census and withdrawal dates for the semester(s) in which this unit is offered.

Faculty

Information Technology

Coordinator(s)

Semester 1 - Dr Daniel Horsley (Clayton)

Associate Professor Lan Boon Leong (Malaysia)

Semester 2 - Heiko Dietrich (Malaysia)

Unit guides

Offered

Clayton

  • First semester 2017 (Day)

Malaysia

  • First semester 2017 (Day)
  • Second semester 2017 (Day)
  • October intake 2017 (Day)

Synopsis

This unit introduces fundamental discrete mathematics topics including combinatorics, sets, relations and functions; methods of logic and proof, especially proof by induction; probability theory, Bayes' theorem; recursion; recurrence relations; trees and other graphs. It establishes the mathematical basis required for studies in Computer Science and Software Engineering.

Outcomes

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

  1. identify basic methods of proof, particularly induction, and apply them to solve problems in mathematics and computer science;
  2. manipulate sets, relations, functions and their associated concepts, and apply these to solve problems in mathematics and computer science;
  3. use and analyse simple first and second order recurrence relations;
  4. use trees and graphs to solve problems in computer science;
  5. apply counting principles in combinatorics;
  6. describe the principles of elementary probability theory, evaluate conditional probabilities and use Bayes' Theorem.

Assessment

Semester 1: Examination (3 hours): 70%; In-semester assessment: 30%

Semester 2: Examination (3 hours): 60%; In-semester assessment: 40%

Workload requirements

Minimum total expected workload equals 12 hours per week comprising:

  1. Contact hours for on-campus students:
    • Three hours of lectures
    • One 90 minute tutorial
  2. Additional requirements (all students):
    • A minimum of 7.5 hours independent study per week for completing tutorial and project work, private study and revision.

See also Unit timetable information

Chief examiner(s)

This unit applies to the following area(s) of study

Applied mathematics

Computational science

Mathematics

Software engineering

Prerequisites

VCE Specialist Mathematics or Mathematical Methods units 3 and 4 with a study score of at least 25 or Further maths with a study score of at least 35.

Prohibitions

MAT1077, MTH1112

Additional information on this unit is available from the faculty at: