Logic and Discrete Structures
Logic, proof, sets, relations and induction for computing.
CMPUT-272 Year 2 3 credits 5 lessons planned
Offered by HSM University · Computing Science
Course content
- 1Propositional logicComing
- 2Predicate logicComing
- 3Proof techniquesComing
- 4Sets and relationsComing
- 5InductionComing
Requirements
Recommended background. You can start any course at any time.
Description
Logic, proof, sets, relations and induction for computing.
Part of the Science stream, typically taken in year 2.