Skip Navigation
Close Window
2025 Winter Regular Semester
COMSC172/Laboratory/Y - Formal Systems&Logic Computing Science
|
Credits
0.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
Tuesday 8:00 AM - 9:50 AM; Keyano College Campu, Clearwater Building, Room 267
Prerequisites
N/A
Corequisites
COMSC172 / Lecture
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 Campus
0
0
Program
Credit
0
0
College
Bus US Academic Upgr
0
0
Department
University Studies
0
0
Curriculum
ComputerSystemsDipl
24
1