Skip to content | Change text size

M O N A T A R

InfoTech Unit Avatar

MAT1830 Discrete mathematics for computer science

Chief Examiner

This field records the Chief Examiner for unit approval purposes. It does not publish, and can only be edited by Faculty Office staff

To update the published Chief Examiner, you will need to update the Faculty Information/Contact Person field below.

David Wood

NB: This view restricted to entries modified on or after 19990401000000

Unit Code, Name, Abbreviation

MAT1830 Discrete mathematics for computer science (10 Aug 2010, 11:52am) [DISC MATH COMPSC (10 Aug 2010, 11:53am)]

Reasons for Introduction

Reasons for Introduction (31 Aug 2015, 11:40am)

This unit was introduced to provide the mathematical background for computer science students, necessary for the second and third years of the undergraduate program.

31/8/2015 - Updated for course architecture programs. Effective Semester 1, 2016. Further maths score 35.

Reasons for Change (16 Sep 2020, 3:09pm)

Change from 60 to 90 minute tutorials and from objectives to outcomes (these were been approved by the School of Mathematical Sciences Education Committee on 17 April 2014). Changes to be implemented from Semester 1 2015.

4/9/2015 - Updated for course architecture programs. Effective semester 1, 2016.

21/3/2017 Assessment loading has changed to 60/40 since there is now a university requirement that final exams not be 70%. The final examination should remain 3 hours. This is *NOT* a change.

The reasons for this *non-change* are:

We are testing not just conceptual understanding but also ability to work things out. Calculations and deductions take time.

Time pressure in mathematics is a disaster because questions go pear-shaped if you make a minor error early in a calculation or miss some subtlety of the question. This may result in a lot of wasted time trying to make something work when it isn't going to, or in having to do a question completely again from the start. Redoing questions in this way is common on maths exams.

There are lots of concepts in MAT1830. We go a little way into a lot of different directions. In fact there are elements of numerous very different branches of mathematics (logic, number theory, probability, combinatorics, graph theory etc). To get coverage of a healthy fraction of these concepts requires a longer exam. If the coverage is less it disadvantages students whose strengths are not tested, and introduces a larger luck factor in the final results.

(Almost) all MTH units have a 3 hour final exam, for reasons similar to the above.

14/09/2018 - Admin: updating CE and workload to reflect new activity types as per university policy.

24/9/19: Admin - updating the exam duration to include additional 10 minutes as per University requirement.

16/09/2020 - Admin: Update to include new assessment and teaching approach fields as per Handbook requirements.

Role, Relationship and Relevance of Unit (04 Sep 2015, 12:26pm)

This unit is a core requirement and mathematics component of the BCS. It is based on previous offerings of the unit.

Objectives

Objectives (14 Sep 2015, 1:29pm)

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.

Unit Content

ASCED Discipline Group Classification (29 Oct 2009, 6:21pm)

010101

Synopsis (14 Sep 2015, 1:30pm)

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

Prescribed Reading (for new units) (18 Sep 2020, 10:05am)

Course notes booklet (available as a pdf from the course Moodle page and in hardcopy from the Clayton campus bookshop).

Teaching Methods

Mode (29 Oct 2009, 6:21pm)

On-campus

Special teaching arrangements (16 Sep 2020, 4:12pm)

Peer assisted learning

Assessment

Assessment Summary (16 Sep 2020, 3:27pm)

Examination (3 hours and 10 minutes): 60%; In-semester assessment: 40%

  1. Weekly assignments x 10 - 35% (3.5% each) - ULO: 1, 2, 3, 4, 5, 6
  2. Applied class participation - 5% - ULO: 1, 2, 3, 4, 5, 6
  3. End of semester examination - 60% - ULO: 1, 2, 3, 4, 5, 6

Workloads

Credit Points (11 Feb 2009, 08:37am)

6

Workload Requirements (14 Sep 2018, 2:02pm)

Minimum total expected workload equals 12 hours per week comprising:

(a.) Contact hours for on-campus students:

  • Three hours of lectures
  • One 90 minute applied class
  • (b.) Additional requirements (all students):

  • A minimum of 7.5 hours independent study per week for completing tutorial and project work, private study and revision.
  • Resource Requirements

    Software Requirements (29 Oct 2009, 6:21pm)

    Teaching Responsibility (Callista Entry) (11 Feb 2009, 08:40am)

    School of Mathematical Sciences

    Prerequisites

    Prohibitions (11 Feb 2009, 08:38am)

    MAT1077, MTH1112

    Proposed year of Introduction (for new units) (14 Sep 2015, 1:31pm)

    Semester 1, 2016

    Location of Offering (04 Sep 2015, 12:31pm)

    Clayton, Malaysia

    Faculty Information

    Proposer

    J Stillwell

    Approvals

    School: 16 May 2017 (Jeanette Niehus)
    Faculty Education Committee: 16 May 2017 (Jeanette Niehus)
    Faculty Board: 16 May 2017 (Jeanette Niehus)
    ADT:
    Faculty Manager:
    Dean's Advisory Council:
    Other:

    Version History

    17 Oct 2005 David Sole Added Software requrirements template
    21 Oct 2005 David Sole Updated requirements template to new format
    11 Feb 2009 Caitlin Slattery modified UnitName; modified UnitObjectives/ObjText; modified UnitContent/Summary; modified UnitContent/HandbookSummary; modified Teaching/Mode; modified Teaching/Strategies; modified Workload/CreditPoints; modified Prohibitions; modified UnitContent/RecommendedReading; modified Level; modified LocationOfOffering; modified Frequency; modified AliasTitles; modified ResourceReqs/SchoolReqs; modified Abbreviation
    29 Oct 2009 David Sole This unit has been updated as part of a 2009 review and comparison of data with current Handbook, Syllabus + and Callista data.
    29 Oct 2009 David Sole 2009 Review - Submit
    29 Oct 2009 David Sole 2009 Review - Chief Examiner approval
    29 Oct 2009 David Sole 2009 Review - FEC approval
    29 Oct 2009 David Sole 2009 Review - Faculty Board approval
    16 Jul 2010 Caitlin Slattery
    16 Jul 2010 Daniel Delbourgo modified ReasonsForIntroduction/RIntro; modified ReasonsForIntroduction/RoleRelationshipRelevance; modified UnitContent/PrescribedReading; modified FacultyInformation/FIContact
    16 Jul 2010 Daniel Delbourgo
    16 Jul 2010 Geraldine DCosta MAT1830 Chief Examiner Approval, ( proxy school approval )
    16 Jul 2010 Geraldine DCosta FEC Approval
    16 Jul 2010 Geraldine DCosta FacultyBoard Approval - UGPC Executive approval granted for this amendment on 16/7/10 to enable Sem 2,2010 implementation. Faculty Board approval has been added to aid administration in Monatar.
    10 Aug 2010 Caitlin Slattery modified UnitName; modified Abbreviation; modified ReasonsForIntroduction/RChange
    17 Aug 2010 Daniel Delbourgo MAT1830 Chief Examiner Approval, ( proxy school approval )
    26 Aug 2010 Kendall Williamson FEC Approval
    26 Aug 2010 Kendall Williamson FacultyBoard Approval - FEC Special Email Meeting 1/10 approved unit amendment. FB 4/10 for noting only
    22 Jan 2014 Damien Moore modified Workload/ContactHours (bulk upload from CUPID extract)
    20 Apr 2014 Daniel Horsley modified ReasonsForIntroduction/RChange; modified UnitObjectives/Objectives; modified UnitObjectives/Objectives; modified UnitObjectives/Objectives; modified Workload/ContactHours
    21 May 2014 Daniel Horsley
    21 May 2014 Daniel Horsley MAT1830 Chief Examiner Approval, ( proxy school approval )
    29 May 2014 Daniel Horsley modified UnitObjectives/Objectives
    29 May 2014 Daniel Horsley MAT1830 Chief Examiner Approval, ( proxy school approval )
    16 Sep 2014 Jeanette Niehus FEC Approval
    16 Sep 2014 Jeanette Niehus FacultyBoard Approval - FEC approval granted 03/07/14.
    31 Aug 2015 Ange Delbianco Modified prerequisite. Updated for course architecture programs. Effective Semester 1, 2016.
    04 Sep 2015 Ange Delbianco Initial Draft; modified ReasonsForIntroduction/RChange; modified ReasonsForIntroduction/RoleRelationshipRelevance; modified UnitObjectives/Objectives; modified UnitContent/Synopsis; modified UnitContent/PrescribedReading; modified Prerequisites/PreReqKnowledge; modified DateOfIntroduction; modified LocationOfOffering; modified FacultyInformation/FIContact 4/9/2015 Updated for course architecture programs. Effective semester 1, 2016
    14 Sep 2015 Caitlin Slattery Updated prerequisite to specify year 12 prerequisite units. Otherwise minor edits.
    22 Sep 2015 Jeanette Niehus MAT1830 Chief Examiner Approval, ( proxy school approval )
    22 Sep 2015 Jeanette Niehus FEC Approval
    22 Sep 2015 Jeanette Niehus FacultyBoard Approval - FEC approved 23/07/2015
    08 Mar 2017 Burkard Polster modified Assessment/Summary
    30 Mar 2017 Geraldine DCosta Submitting Monatar on behalf of CE. Since changes have been made but not submitted.
    16 May 2017 Jeanette Niehus MAT1830 Chief Examiner Approval, ( proxy school approval )
    16 May 2017 Jeanette Niehus FEC Approval
    16 May 2017 Jeanette Niehus FacultyBoard Approval - Approved at FEC 2/17 (Item 8.2) 11th May 2017
    06 Sep 2018 Jeanette Niehus modified Workload/ContactHours
    14 Sep 2018 Jeanette Niehus Admin: modified Chief Examiner; modified ReasonsForIntroduction/RChange; modified Workload/ContactHours
    24 Sep 2019 Emma Nash modified ReasonsForIntroduction/RChange; modified Assessment/Summary
    16 Sep 2020 Joshua Daniel modified ReasonsForIntroduction/RChange; modified UnitContent/PrescribedReading; modified Teaching/SpecialArrangements; modified Teaching/SpecialArrangements; modified Assessment/Summary; modified Assessment/Summary
    16 Sep 2020 Joshua Daniel modified Teaching/SpecialArrangements
    18 Sep 2020 Joshua Daniel modified UnitContent/PrescribedReading

    This version: