Mathematics (MATH) 309

Discrete Mathematics (Revision 7)

MATH 309 course cover

View previous revision

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

Credits: 3

Area of Study: Science

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

Faculty: Faculty of Science & Technology

Mathematics & Statistics home page

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: Integers
  • Unit 2: Formal Logic
  • Unit 3: Set Theory
  • Unit 4: Counting
  • Unit 5: Relations and Functions
  • Unit 6: Finite-state Automata

Learning Outcomes

Upon successful completion of this course, you will be able to

  • demonstrate a foundational understanding of discrete mathematics, with a focus on formal logic, set theory, counting, and Automata.
  • use discrete mathematical methods for applied problem solving in computer science, counting both combinations and permutations, identifying languages over alphabets, and creating finite-state automatons to model specific processes.
  • apply background knowledge to pursue further learning in related advanced mathematics and computer science courses.
  • apply foundational skills in the development of mathematical proofs.
  • communicate mathematical ideas, and analyses in a clear and organized manner.


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:

Assignment 1 Midterm Exam Assignment 2 Assignment 3 Final Exam Total
15% 25% 15% 15% 30% 100%

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

Course Materials


Epp, Susanna S. Discrete Mathematics with Applications: Custom Edition for Athabasca University. Toronto: Nelson Education, 2012.

Epp, Susanna S. Student Solutions Manual—Discrete Mathematics with Applications: Custom Edition for Athabasca University. Toronto: Nelson Education, 2012.

Other materials

Course materials include a study guide, and a student manual. All other materials are available online.

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.

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

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 7, June 18, 2013.

View previous revision