Skip Navigation
PowerCampus Logo Close Window

2025 Winter Regular Semester
COMSC172/Lecture/B - Formal Systems&Logic Computing Science | Credits 3.00
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.

Registration Type Traditional
Fees N/A
Instructors el Mejdani, Said
Duration 1/9/2025 - 4/14/2025
Schedule Thursday  1:00 PM - 2:20 PM;  Keyano College Campu, Clearwater Building, Room 267
Tuesday  1:00 PM - 2:20 PM;  Keyano College Campu, Clearwater Building, Room 267
Prerequisites COMSC101 / Lecture <min grade = D, min credit = 3.00> or COMSC101 / Lecture <min grade = CR, min credit = 3.00> or COMSC174 / Lecture <min grade = D, min credit = 3.00> or COMSC174 / Lecture <min grade = CR, min credit = 3.00> or Instructor Permission Required from Chair, Program
Corequisites COMSC172 / Laboratory COMSC172 / Tutorial
Credit Types Letter Grade
Class 24 Seats | 15 Remaining
Open

Primary population and other student populations allowed to register for this course:
 Primary Population# Others Allowed# Others Registered
Campus  Keyano College - Main Campus00
Program  Credit00
College  Bus US Academic Upgr00
Department  University Studies00
Curriculum  ComputerSystemsDipl241