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 2026 - Apr 23 2026 Grande Prairie Campus Room E303 Instructor BRedmond Open: 7 of 40 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 BRedmond Open: 4 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 BRedmond Open: 3 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 BRedmond Open: 3 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 BRedmond Open: 4 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 Course Outline PDF download A3 Jan 2023 - Apr,2023 Redmond B Course Outline PDF download View all historical course outlines
Related Programs Find your fit with career-focused education and practical connections at every step. Explore All Programs