COMP 1002: Introduction to Logic for Computer Scientists
This course is an introduction to discrete structures for all computer science majors.
It is required for entry into the MAJ CS Major and the MIN CS Minor.
Lab | In addition to classes, this course has one structured laboratory session per week. |
Prerequisites: None
Availability: This course is usually offered in Fall, Winter and Spring semesters.
Course Objectives
To provide basic understanding of logic and discrete structures used throughout computer science, with the focus on computer science-specific applications such as Boolean circuits and basic algorithm analysis.
Representative Workload
- Assignments 40%
- Lab Quizzes 30%
- Final Exam 30%
Representative Course Outline
- Propositional and predicate logic (9 hours)
- Set theory, functions, relations and incomputability (4 hours)
- Proof techniques including induction (10 hours)
- Basic counting and modular arithmetic (5 hours)
Notes
- Credit cannot be obtained for both Computer Science 1002 and either of Computer Science 2742 or Engineering 4424.
- Students cannot received credit for Computer Science 1002, if completed with, or subsequent to, Mathematics 2320.
- See the FAQ for why we require Computer Science 1002 for entry into the CS Major, and not Mathematics 2320.
- COMP 1002 can be taken before or at the same time as COMP 1003, but COMP 1003 cannot be taken before COMP 1002.
Page last updated May 24th 2021