SYDE 208Discrete Mathematics and Logic

Units: 0.50
Faculty: Engineering
Subject: Systems Design Engineering

When it runs

Ran in 0 of the last 7 terms. Winter 2027: not on the schedule. Spring 2027: schedule not out yet.

This course blends and balances mathematical reasoning, combinatorial analysis, discrete structures, algorithmic thinking, applications, and modelling. Topics covered include propositional and predicate logic, mathematical notation and proof techniques, induction and recursion, sets, relations, and functions, syntax vs. semantics, introduction to elementary number theory, combinatorics, graphs and directed graphs, and algebraic structures. Applications of discrete formal structures for systems design engineering are also analyzed.

Prerequisites

Complete all of the following
- Students must be in level 2A or higher
- Enrolled in H-Systems Design Engineering

Antirequisites

Complete all of the following
- Not completed nor concurrently enrolled in any of the following:
  - ECE108 - Discrete Mathematics and Logic 1 (0.50)
- Not completed any of the following:
  - SYDE192

Leads to

No course lists it as a requisite.

Check it elsewhere for Fall 2026

Undergraduate Calendar, 2026–27The official entry
Requirements for Fall 2026Waterloo’s requisite checker
Schedule of Classes, Fall 2026Instructors, rooms, live seats
Quest Class SearchWhere you enrol
Course outlinesSyllabi from past terms (UW login)
UW FlowStudent ratings and reviews
WClassesPast sections back to 2004, and who taught them

Calendar versions

Undergraduate Calendar

2026–27 (shown here)
2019–20 and earlier on ucalendar