Mathematics (MATH) 309

Overview

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.

Outline

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

Evaluation

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:

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

Course Materials

Textbook

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.

• 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.

Undergraduate Challenge for Credit Course Registration Form

• Challenge for Credit Form