CS2720 - Course Description
|
CS2720 - 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: |
82.5 Hours |
