2026 Winter Semester CS2720/Seminar/S1 - 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	Redmond, Brian Francis
Duration	1/6/2026 - 4/23/2026
Schedule	Wed  4:00 PM - 4:50 PM;  GP, GP Campus, Room G111
Corequisites	CS2720 / Lab CS2720 / Lecture
Credit Types	No Grade
Class	20 Seats | 10 Remaining
	Open (Target Met)