CS 2720 - Formal Systems and Logic in Computing Science

Course 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:

1000-Level CST course

Transfers To:

University of Alberta University of Calgary University of Lethbridge Athabasca University Augustana Faculty, University of Alberta Concordia University College Canadian University College Grant MacEwan University King's University College

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: 20 | Enroled: 19 | Waitlisted: 0 | Reserved: 20

Section A3 has 1 seats available at this time. All 1 seats are reserved for Department SCI.