Skip to main content

Main Menu

Programs
Admissions
Services
Student Life
Continuing Education
Sport & Fitness
Applied Research
Theatre
About

CS 2720 - Formal Systems and Logic in Computing Science

Course Description

Help with Course Description CS 2720 - Formal Systems and Logic in Computing Science 3 (3-1-1.5) UT
Description: 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.

Prerequisite:
  • Complete the following:
    • CS1140 - Introduction to Computing Science (3)
Transfers To: Refer to the Transfer Alberta website for up to date information.
Time: 15 Weeks, 82.5 Hours

Timetable for CS2720

Code Sec Dates Instructor Room Days Time Cost Add to Timetable
CS2720
Section A3 is open for registration.

Limit: 40 | Enroled: 25 | Waitlisted: 0 | Reserved: 40

Section A3 has 15 seats available at this time. All 15 seats are reserved for Department SCI.
Waitlisted A3 		Jan 6, 2025 to Apr 23, 2025
On-Campus (Attend On-Campus, In-Person) 		Redmond, Brian E303 T R 08:30-09:50 $578.79
Add to your timetable
CS2720
Section L1 is open for registration.

Limit: 20 | Enroled: 8 | Waitlisted: 0 | Reserved: 20

Section L1 has 12 seats available at this time. All 12 seats are reserved for Department SCI.
Waitlisted L1 		Jan 6, 2025 to Apr 23, 2025
On-Campus (Attend On-Campus, In-Person) 		Redmond, Brian G111 F 14:30-15:50  
Add to your timetable
CS2720
Section L2 is open for registration.

Limit: 20 | Enroled: 17 | Waitlisted: 0 | Reserved: 20

Section L2 has 3 seats available at this time. All 3 seats are reserved for Department SCI.
Waitlisted L2 		Jan 6, 2025 to Apr 23, 2025
On-Campus (Attend On-Campus, In-Person) 		Redmond, Brian G111 W 14:30-15:50  
Add to your timetable
CS2720
Section S1 is open for registration.

Limit: 20 | Enroled: 8 | Waitlisted: 0 | Reserved: 20

Section S1 has 12 seats available at this time. All 12 seats are reserved for Department SCI.
Waitlisted S1 		Jan 6, 2025 to Apr 23, 2025
On-Campus (Attend On-Campus, In-Person) 		Redmond, Brian G111 F 16:00-16:50  
Add to your timetable
CS2720
Section S2 is open for registration.

Limit: 20 | Enroled: 17 | Waitlisted: 0 | Reserved: 20

Section S2 has 3 seats available at this time. All 3 seats are reserved for Department SCI.
Waitlisted S2 		Jan 6, 2025 to Apr 23, 2025
On-Campus (Attend On-Campus, In-Person) 		Redmond, Brian G111 W 16:00-16:50  
Add to your timetable

Latest 10 Course Outlines for CS2720

Code Section Instructor Semester Download
CS2720 A3 Carlacci F Jan-Apr 2024 PDF
CS2720 A3 Redmond B Jan-Apr 2023 PDF
CS2720 A3 Ganta R Jan-Apr 2021 PDF
CS2720 A3 Carlacci F Jan-Apr 2020 PDF
CS2720 A3 Redmond B Jan-Apr 2019 PDF
CS2720 Redmond B Jan-Apr 2018 PDF
CS2720 Redmond B Jan-Apr 2017 PDF
CS2720 Ganta R Jan-Apr 2016 PDF
CS2720 Ganta R Jan-Apr 2015 PDF
CS2720 Ganta R Jan-Apr 2014 PDF
Find more course outlines for CS2720 ...