Description

An introductory course to present the tools of set theory, logic and induction, and their use in the practice of reasoning about algorithms and programs. Basic set theory. The notion of a function. Counting. Propositional and predicate logic and their proof system will be studied. Inductive definitions and proofs by induction will be covered along with program specification and correctness.



Requisites

  • Complete the following:
    • CS1140 - Introduction to Computing Science (3)

Course Timetable

A3

Tue, Thu from 8:30 to 9:50

Jan 6 2025 - Apr 23 2025

Grande Prairie Campus

Room E303

Instructor

Closed: 40 of 40 spots filled

Add to timetable add
A3

Tue, Thu from 8:30 to 9:50

Jan 6 2026 - Apr 23 2026

Grande Prairie Campus

Room E303

Instructor

Closed: 40 of 40 spots filled

Add to timetable add
L1

Fri from 14:30 to 15:50

Jan 6 2025 - Apr 23 2025

Grande Prairie Campus

Room G111

Instructor

Closed: 20 of 20 spots filled

Add to timetable add
L1

Wed from 14:30 to 15:50

Jan 6 2026 - Apr 23 2026

Grande Prairie Campus

Room G111

Instructor

Closed: 20 of 20 spots filled

Add to timetable add
L2

Wed from 14:30 to 15:50

Jan 6 2025 - Apr 23 2025

Grande Prairie Campus

Room G111

Instructor

Closed: 20 of 20 spots filled

Add to timetable add
L2

Mon from 14:30 to 15:50

Jan 6 2026 - Apr 23 2026

Grande Prairie Campus

Room G112

Instructor

Closed: 20 of 20 spots filled

Add to timetable add
S1

Fri from 16:00 to 16:50

Jan 6 2025 - Apr 23 2025

Grande Prairie Campus

Room G111

Instructor

Closed: 20 of 20 spots filled

Add to timetable add
S1

Wed from 16:00 to 16:50

Jan 6 2026 - Apr 23 2026

Grande Prairie Campus

Room G111

Instructor

Closed: 20 of 20 spots filled

Add to timetable add
S2

Wed from 16:00 to 16:50

Jan 6 2025 - Apr 23 2025

Grande Prairie Campus

Room G111

Instructor

Closed: 20 of 20 spots filled

Add to timetable add
S2

Mon from 16:00 to 16:50

Jan 6 2026 - Apr 23 2026

Grande Prairie Campus

Room G112

Instructor

Closed: 20 of 20 spots filled

Add to timetable add

Course Outlines

Find out everything you need to know about your upcoming or past courses. Understand the learning outcomes, evaluation methods, delivery mode, and prerequisites.

A3
Jan 2024 - Apr,
2024
Carlacci F
A3
Jan 2023 - Apr,
2023
Redmond B
View all historical course outlines