2027 Winter Semester CS2720/Lab/L1 - Formal Systems and Logic in Computing | 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. Prerequisites: CS1140 Transfer: Refer to the Transfer Alberta website for up to date information.

Delivery Type	On-Campus (Attend On-Campus, In-Person)
Registration Type	Credit
Fees	N/A
Instructors	TBA, TBA
Duration	1/5/2027 - 4/21/2027
Schedule	Mon  2:30 PM - 3:50 PM;  GP, GP Campus, Room G111
Corequisites	CS2720 / Lecture CS2720 / Seminar
Credit Types	No Grade
Class	20 Seats | 20 Remaining
	Open