COMP 1002 -- Introduction to Logic for Computer Scientists, Winter 2017

Announcements | Course information | Assignments | Labs | Lecture notes


older announcements...


Course information

Lectures: Monday, Tuesday and Thursday, 1pm-1:50pm in EN-2007
Labs: Wednesday 9am-11:50am at CS-1019 (section 1) and EN-1049 (section 2).
Antonina Kolokolova , email: [Your browser cannot view this email address] , office ER-6033.
Instructor office hours: Monday and Thursday 2pm-3pm.
Textbook: There will be no textbook for this course; lecture materials will be posted online.
Reference books:

Marking scheme ( tentative! ): Lab quizzes 25% total (lowest mark dropped), 3 assignments of 10% each, a midterm test 15% and a final exam 30%. Note that the last assignment may be due during the last week of the semester (to provide adequate preparation for the final exam).

Tentative course description
Logic has been called the "calculus of computer science": just as sciences such as physics that deal with continuous realm rely on calculus techniques, we rely on logic. Indeed, so many areas of our field are based on logic: from designing circuits to determining complexity of problems; from verifying correctness of algorithms and devising database queries to automated reasoning in artificial intelligence.

This course is intended to be an introduction to mathematical logic with emphasis on Computer Science applications and methodologies. We will cover propositional and predicate logic with applications to Boolean circuits and database querying, respectively; that will also cover Resolution proof technique, which is the basis of most modern-day automated problem solvers. Then we will discuss basic proof techniques such as mathematical induction, again with computer science applications including proving algorithm correctness. We will also touch upon basic combinatorics and counting methods.



  1. Lab 1: Jan 18th
  2. Lab 2: Jan 25th
  3. Lab 3: Feb 1st
  4. Lab 4: Feb 8th
  5. Lab 5: Feb 15th (moved to Mar 1st)
  6. Lab 6: Mar 8th
  7. Lab 7: Mar 15th
  8. Lab 8: Mar 22nd
  9. Lab 9: Mar 29th
  10. Mini-lab: Apr 3rd


Assignment 1. ( LaTeX source ) Due Feb 6, at 7pm.
Assignment 2. ( LaTeX source ) Due Feb 17, at 7pm. Assignment 3. ( LaTeX source ) Due March 13, at 7pm.
Assignment 4. ( LaTeX source ) Due March 23, at 7pm. Assignment 5. ( LaTeX source ) Due April 2nd, at 7pm.

Please type up your assignment and upload it on D2L as a pdf file. If you know how to use LaTeX (or want to learn an easy way to typeset mathematics), this would be a perfect choice; otherwise, use whichever word processor you are comfortable with.

Policy on collaboration: The work you submit must be your own. You may discuss problems from assignments with each other; however, you should prepare written solutions alone. Plagiarism is a serious academic offense and will be dealt with accordingly.


Lecture materials

I will be posting lecture materials as we go; you are welcome to check the lecture notes from a related course.