Program Requirements
This program provides an introduction to the principles of computer science and offers opportunity to get insight into some of its subareas. Having only 45 credits, it allows students to combine it with minor or major concentrations in other disciplines.
Required Courses (18 credits)
* Students who have sufficient knowledge in a programming language do not need to take COMP 202, but it must be replaced with an additional computer science complementary course.

COMP 202 Foundations of Programming (3 credits) *
Overview
Computer Science (Sci) : Introduction to computer programming in a high level language: variables, expressions, primitive types, methods, conditionals, loops. Introduction to algorithms, data structures (arrays, strings), modular software design, libraries, file input/output, debugging, exception handling. Selected topics.
Terms: Fall 2018, Winter 2019, Summer 2019
Instructors: Giulia Alberini, Joseph P Vybihal (Fall) Giulia Alberini, TzuYang Yu (Winter) TzuYang Yu (Summer)
3 hours
Prerequisite: a CEGEP level mathematics course
Restrictions: COMP 202 and COMP 208 cannot both be taken for credit. COMP 202 is intended as a general introductory course, while COMP 208 is intended for students interested in scientific computation. COMP 202 cannot be taken for credit with or after COMP 250

COMP 206 Introduction to Software Systems (3 credits)
Overview
Computer Science (Sci) : Comprehensive overview of programming in C, use of system calls and libraries, debugging and testing of code; use of developmental tools like make, version control systems.
Terms: Fall 2018, Winter 2019
Instructors: David Meger (Fall) Chad Zammar, Joseph P Vybihal (Winter)

COMP 250 Introduction to Computer Science (3 credits)
Overview
Computer Science (Sci) : Mathematical tools (binary numbers, induction, recurrence relations, asymptotic complexity, establishing correctness of programs), Data structures (arrays, stacks, queues, linked lists, trees, binary trees, binary search trees, heaps, hash tables), Recursive and nonrecursive algorithms (searching and sorting, tree and graph traversal). Abstract data types, inheritance. Selected topics.
Terms: Fall 2018, Winter 2019
Instructors: Michael Langer, Giulia Alberini (Fall) Martin Robillard, Giulia Alberini (Winter)

COMP 251 Algorithms and Data Structures (3 credits)
Overview
Computer Science (Sci) : Introduction to algorithm design and analysis. Graph algorithms, greedy algorithms, data structures, dynamic programming, maximum flows.
Terms: Fall 2018, Winter 2019
Instructors: Jérôme Waldispuhl (Fall) Luc P Devroye, Erin Leigh McLeish (Winter)
3 hours
Prerequisite: COMP 250
COMP 251 uses mathematical proof techniques that are taught in the corequisite course(s). If possible, students should take the corequisite course prior to COMP 251.
COMP 251 uses basic counting techniques (permutations and combinations) that are covered in MATH 240 and 363, but not in MATH 235. These techniques will be reviewed for the benefit of MATH 235 students.
Restrictions: Not open to students who have taken or are taking COMP 252.

COMP 273 Introduction to Computer Systems (3 credits)
Overview
Computer Science (Sci) : Number representations, combinational and sequential digital circuits, MIPS instructions and architecture datapath and control, caches, virtual memory, interrupts and exceptions, pipelining.
Terms: Fall 2018, Winter 2019
Instructors: Paul Kry (Fall) Kaleem Siddiqi (Winter)
3 hours
Corequisite: COMP 206.

MATH 240 Discrete Structures 1 (3 credits)
Overview
Mathematics & Statistics (Sci) : Mathematical foundations of logical thinking and reasoning. Mathematical language and proof techniques. Quantifiers. Induction. Elementary number theory. Modular arithmetic. Recurrence relations and asymptotics. Combinatorial enumeration. Functions and relations. Partially ordered sets and lattices. Introduction to graphs, digraphs and rooted trees.
Terms: Fall 2018, Winter 2019
Instructors: Jeremy Macdonald, Bogdan Nica (Fall) Jeremy Macdonald, Yann Batiste Pequignot (Winter)
Complementary Courses (27 credits)
3 credits from each of the groups A, B, C, and D.
Group A

MATH 222 Calculus 3 (3 credits)
Overview
Mathematics & Statistics (Sci) : Taylor series, Taylor's theorem in one and several variables. Review of vector geometry. Partial differentiation, directional derivative. Extreme of functions of 2 or 3 variables. Parametric curves and arc length. Polar and spherical coordinates. Multiple integrals.
Terms: Fall 2018, Winter 2019, Summer 2019
Instructors: Jeremy Macdonald, Dmitry Faifman (Fall) Lars Sektnan (Winter) Yann Batiste Pequignot (Summer)

MATH 323 Probability (3 credits)
Overview
Mathematics & Statistics (Sci) : Sample space, events, conditional probability, independence of events, Bayes' Theorem. Basic combinatorial probability, random variables, discrete and continuous univariate and multivariate distributions. Independence of random variables. Inequalities, weak law of large numbers, central limit theorem.
Terms: Fall 2018, Winter 2019, Summer 2019
Instructors: David Stephens (Fall) David B Wolfson (Winter) Djivede Kelome (Summer)

MATH 324 Statistics (3 credits)
Overview
Mathematics & Statistics (Sci) : Sampling distributions, point and interval estimation, hypothesis testing, analysis of variance, contingency tables, nonparametric inference, regression, Bayesian inference.
Terms: Fall 2018, Winter 2019
Instructors: Abbas Khalili Mahmoudabadi (Fall) Masoud AsgharianDastenaei (Winter)
Fall and Winter
Prerequisite: MATH 323 or equivalent
Restriction: Not open to students who have taken or are taking MATH 357
You may not be able to receive credit for this course and other statistic courses. Be sure to check the Course Overlap section under Faculty Degree Requirements in the Arts or Science section of the Calendar.
Group B

MATH 223 Linear Algebra (3 credits)
Overview
Mathematics & Statistics (Sci) : Review of matrix algebra, determinants and systems of linear equations. Vector spaces, linear operators and their matrix representations, orthogonality. Eigenvalues and eigenvectors, diagonalization of Hermitian matrices. Applications.
Terms: Fall 2018, Winter 2019
Instructors: Djivede Kelome (Fall) Jeremy Macdonald (Winter)

MATH 318 Mathematical Logic (3 credits)
Overview
Mathematics & Statistics (Sci) : Propositional logic: truthtables, formal proof systems, completeness and compactness theorems, Boolean algebras; firstorder logic: formal proofs, Gödel's completeness theorem; axiomatic theories; set theory; Cantor's theorem, axiom of choice and Zorn's lemma, Peano arithmetic; Gödel's incompleteness theorem.
Terms: Fall 2018
Instructors: Marcin Sabok (Fall)

MATH 340 Discrete Structures 2 (3 credits)
Overview
Mathematics & Statistics (Sci) : Review of mathematical writing, proof techniques, graph theory and counting. Mathematical logic. Graph connectivity, planar graphs and colouring. Probability and graphs. Introductory group theory, isomorphisms and automorphisms of graphs. Enumeration and listing.
Terms: Winter 2019
Instructors: Jerome Fortier (Winter)
Group C

COMP 330 Theory of Computation (3 credits)
Overview
Computer Science (Sci) : Finite automata, regular languages, contextfree languages, pushdown automata, models of computation, computability theory, undecidability, reduction techniques.
Terms: Fall 2018
Instructors: Prakash Panangaden (Fall)
3 hours
Prerequisite: COMP 251.

COMP 350 Numerical Computing (3 credits)
Overview
Computer Science (Sci) : Computer representation of numbers, IEEE Standard for Floating Point Representation, computer arithmetic and rounding errors. Numerical stability. Matrix computations and software systems. Polynomial interpolation. Leastsquares approximation. Iterative methods for solving a nonlinear equation. Discretization methods for integration and differential equations.
Terms: Fall 2018
Instructors: XiaoWen Chang (Fall)

COMP 360 Algorithm Design (3 credits)
Overview
Computer Science (Sci) : Advanced algorithm design and analysis. Linear programming, complexity and NPcompleteness, advanced algorithmic techniques.
Terms: Fall 2018, Winter 2019
Instructors: Bruce Alan Reed (Fall) Bruce Alan Reed (Winter)
Group D

COMP 302 Programming Languages and Paradigms (3 credits)
Overview
Computer Science (Sci) : Programming language design issues and programming paradigms. Binding and scoping, parameter passing, lambda abstraction, data abstraction, type checking. Functional and logic programming.
Terms: Fall 2018, Winter 2019
Instructors: Brigitte Pientka (Fall) Prakash Panangaden (Winter)
3 hours
Prerequisite: COMP 250

COMP 303 Software Design (3 credits)
Overview
Computer Science (Sci) : Principles, mechanisms, techniques, and tools for objectoriented software design and its implementation, including encapsulation, design patterns, and unit testing.
Terms: Fall 2018, Winter 2019
Instructors: Mathieu Nassif, Joseph P Vybihal (Fall) Jin Guo (Winter)
An additional 3 credits may be selected from Group A or B.
The remaining complementary credits must be selected from any COMP courses at the 300 level or above except COMP 364 and COMP 396.