2027 Winter Semester CS2720/Lecture/A3 - Formal Systems and Logic in Computing | 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. 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	Library Fee $5.50 per credit Mental Health $4.15 per credit SA Fee $11.23 per credit Student Serv Fee $11.00 per credit Technology $7.50 per credit Tuition $162.60 per credit Wellness $5.09 per credit
Instructors	TBA, TBA
Duration	1/5/2027 - 4/21/2027
Schedule	TueThu  8:30 AM - 9:50 AM;  GP, GP Campus, Room B201
Corequisites	CS2720 / Lab CS2720 / Seminar
Credit Types	Alpha Grade
Class	20 Seats | 20 Remaining
	Open