COMP 1002 -- Introduction to Logic for Computer Scientists, Winter 2017
- 23/3/2017 Assignment 4 is now due by Saturday morning, 7am.
- 23/3/2017 Assignment 5 is now posted. Due April 2nd, 7pm.
- 16/3/2017 On Monday, March 20th, my office hours will be from 2:30pm to 3:30pm. If you would have liked to come, but cannot make it, please email me.
- 13/3/2017 Assignment 4 is now posted. Due March 23th.
- 13/3/2017 Assignment 3 is now due on Tuesday, March 14th (due to the power outage over the weekend).
- 3/3/2017 Assignment 3 is now posted. Due March 13th.
- 2/3/2017 Today is the final drop date. If you have any concerns about your mark, please talk to me after the midterm -- we will look at your midterm together, to get a better sense for where you are.
- 2/3/2017 Midterm test is today! Usual time and place (same as the lecture). See you there!
- 1/3/2017 All assignments 1 and 2 are marked. Please email me if there is any problem, and make sure to read the feedback before tomorrow midterm!
- 1/3/2017 I have posted slides for the lecture we did not have the time to do on Tuesday. There are pretty much only definitions. Please read them on your own, and if you have questions, please ask -- we will work on this in the next lab.
- 25/2/2017 I do not plan to post answers to the sample midterm, since everybody's answers would be different, and it would be misleading to have one "correct" solution. I will be happy to go over it in class and look at your answers.
- 25/2/2017 Here is a study sheet for the midterm. Note: this is only to help you study, *not* to use during the midterm itself.
- 18/2/2017 Here is a sample test from a related course. Since in that course we had a test after every assignment, it only covers the material for assignment 1; we covered some extra topics in that course such as circuits. Our midterm will cover assignments 1 and 2, and labs 1 through 5 (that is, lectures 1-16).
- 18/2/2017 Lab 5 will be moved to March 1st (weather permitting).
- 16/2/2017 By popular demand, assignment 2 due date has been moved to Monday, Feb 20th, 7pm. I plan to be out of town though, so if you have questions, please email me and I will reply when I can.
- 7/2/2017 The slides that were supposed to be for today's lecture are now posted. I did not go through all the material, but I will only do the last proof (by contradiction) and the puzzle in the next lecture. Please use the rest as a reference for a few more examples of proofs.
- 6/2/2017 The exercises for lab 4 are now posted.
- 5/2/2017 Assignment 2 is now posted. Due Feb 17th.
- 31/1/2017 As decided in class today, midterm is tentatively scheduled for March 2nd. Also, the remaining assignments will be each split in two, so we will have assignment 2,3,4 and 5 each worth 5%.
- 26/1/2017 If you are doing your assignment 1 in LaTeX, you are welcome to start with the source file and modify it. For drawing resolution proofs, here is a beautiful example with tikz-qtree package. If you need a LaTeX compiler, the simplest way is to use an online one, such as ShareLaTeX. Just load the source file and start adding your solutions.
- 30/1/2017 The exercises for lab 3 are now posted.
- 23/1/2017 The exercises for lab 2 are now posted.
- 22/1/2017 A correction for assignment 1, question 1d and 1g: as the variant with "either COMP 1002 is not a prereq or logic is studied in COMP 1002" was causing confusion on question 1g, it has been changed, in 1d, to "both COMP 1002 is not a prerequisite for COMP 2002 and logic is studied in COMP 1002". Please see the new version of assignment 1.
- 19/1/2017. The assignment 1 is now posted. Due Feb 6, 7pm on D2L. Please see below for more information, and email me if you have any questions.
- 16/1/2017 The exercises for Wednesday lab are now posted. If you have a time conflict at 11am (and will be doing the lab in EN-1049), do the "Individual work" part before coming to the lab at 9am on Wednesday. If you are in the main section, you can do all exercises during the lab, both individual and group part.
The quiz will be roughly within the last half an hour of your lab, on D2L. All the work other than the quiz should be done with pen and paper; please bring some paper with you to the lab.
- 15/1/2017 The first lab is this Wednesday, Jan 18th, at 9am. If you have a time conflict at 11am, please go to EN-1049. That lab will be shorter, so you will have to do the first part at home. If you do not have a time conflict at 11am, please go to CS-1019. If you do have a conflict and were not in class when I asked for the number of people who need to leave earlier, please email me right away (to make sure everybody gets a place in a lab).
- 5/1/2017 As decided in class today, office hours will be on Mondays and Thursdays after class (2pm-3pm).
- 4/1/2017 The first lab is planned for Jan 18th. Lectures start on Jan 5th.
- 4/1/2017 If you have questions about registration, please contact our undergraduate advisor, Donna Batten at [Your browser cannot view this email address] .
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).
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.
- Discrete Mathematics With Applications: Susanna S. Epp
- Discrete Mathematics and Its Applications: Kenneth H. Rosen
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.
- Lab 1: Jan 18th
- Lab 2: Jan 25th
- Lab 3: Feb 1st
- Lab 4: Feb 8th
- Lab 5: Feb 15th (moved to Mar 1st)
- Lab 6: Mar 8th
- Lab 7: Mar 15th
- Lab 8: Mar 22nd
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
I will be posting lecture materials as we go; you are welcome to check the lecture notes from a related course.
- 5/1/2017 Lecture 1: Introduction
- 9/1/2017 Lecture 2: Language of logic, truth tables
- 10/1/2017 Lecture 3: Knights and knaves, negation, de Morgan's laws
- 12/1/2017 Lecture 4: Negation, de Morgan's laws, simplifications
- 16/1/2017 Lecture 5: More on simplifications, equivalences
- 17/1/2017 Lecture 6: Implications, contrapositive, converse, inverse
- 19/1/2017 Lecture 7: Natural deduction, arguments, validity, modus ponens
- 23/1/2017 Lecture 8: Resolution, CNFs, million dollar problem
- 24/1/2017 Lecture 9: Formulas vs. circuits, canonical CNF/DNF, complete set of connectives
- 26/1/2017 Lecture 10: Sets, predicates, quantifiers
- 30/1/2017 Lecture 11: Mixed quantifiers and negation, prenex normal form
- 31/1/2017 Lecture 12: Theorems, theories, axioms, counterexamples
- 2/2/2017 Lecture 13: Rules of inference in predicate logic, universal modus ponens, instantiation/generalization
- 7/2/2017 Lecture 14: Types of proofs, modular arithmetic
- 9/2/2017 Lecture 15: Square root of 2 is irrational, operations on sets
- 13/2/2017 Lecture 16: Cardinalities, powersets, cartesian product, laws of set theory, Boolean algebra
- 16/2/2017 Lecture 17: Relations and functions
- 27/2/2017 Lecture 18: Countable and uncountable sets, diagonalization, Halting problem
- 28/2/2017 Lecture 19: Properties of binary relations, equivalences, orders
- 6/3/2017 Lecture 20: Well-ordering principle, sum and product notation
- 7/3/2017 Lecture 21: Mathematical induction, strong induction
- 9/3/2017 Lecture 22: Recurrences, progressions, fractals and white horses Fractal grower
- 13/3/2017 Lecture 23: Recursive definitions of sets, trees. Grammars.
- 14/3/2017 Lecture 24: Structural induction
- 16/3/2017 Lecture 25: Regular expressions, finite automata, Turing machines Conway Game of Life (select longer delay and rainbow colour to see more clearly; rules are under the applet).
- 20/3/2017 Lecture 26: Combinatorics: rules of sum and product
- 20/3/2017 Lecture 27: Permutations and combinations
- 20/3/2017 Lecture 28: Binomial theorem, Pascal triangle, probabilities