Skip To Content


Mathematics (MATH) 309

Discrete Mathematics (Revision 5)

Revision 5 closed, replaced by current version.

Mathematics Diagnostic Assessment. This online test contains 70 questions that will help you assess your mathematical skills. Based on your score we will recommend which Athabasca University mathematics course you are likely ready to take successfully.

Delivery Mode: Individualized study online or grouped study.

Credits: 3

Area of Study: Science

Prerequisite: MATH 209 or MATH 270. (If MATH 270 is used as a prerequisite, MATH 271 is recommended.)

Centre: Centre for Science

MATH 309 has a Challenge for Credit option

check availability


MATH 309 explains methods of discrete mathematics that are useful in computer science. The course covers set theory, propositional calculus, predicate calculus, relations, functions, Boolean algebra, divisibility, combinatorics, automata, and formal languages.


The course consists of the following six units.

Unit 1: What is Discrete Mathematics?

Unit 2: Sets, Logic, and Boolean Algebras

Unit 3: Proofs

Unit 4: Counting

Unit 5: Functions and Equivalence Relations

Unit 6: Formal Models in Computer Science


To receive credit for MATH 309, you must complete all course work, achieve a composite course grade of at least “D” (50 percent). You must also achieve a midterm and final exam grade of at least “D” (50 percent). You will be assessed on the basis of two examinations, weighted as follows:

TME 1 (after Unit 2) TME 2 (after Unit 3) Midterm Exam TME 3 (after Unit 6) Final Exam Total
15% 10% 30% 15% 30% 100%

To learn more about assignments and examinations, please refer to Athabasca University's online Calendar.

Course Materials


Gossett, Eric. Discrete Source. Boston: Pearson Custom Publishing, 2007.

Other materials

Course materials include a study guide, student manual, and a assignment manual.

Challenge for Credit Course Overview

The Challenge for Credit process allows students to demonstrate that they have acquired a command of the general subject matter, knowledge, intellectual and/or other skills that would normally be found in a university level course.

Full information for the Challenge for Credit can be found in the Undergraduate Calendar.

  • Undergraduate Challenge for Credit Policy
  • Undergraduate Challenge for Credit Procedures

Challenge Evaluation

To receive credit for the MATH 309 challenge registration, you must complete the two parts of the challenge exam and achieve a minimum grade of at least “D” (50 percent) on both parts.

Part 1: Exam Part 2: Exam Total
50% 50% 100%

Undergraduate Challenge for Credit Course Registration Form

  • Challenge for Credit Form

Athabasca University reserves the right to amend course outlines occasionally and without notice. Courses offered by other delivery methods may vary from their individualized-study counterparts.

Opened in Revision 5, June 30, 2009.

View previous syllabus

Last updated by SAS  09/10/2013 12:09:42