COMP1002 -- Introduction to Logic for Computer Scientists

Announcements

8/12/2017 Here are excellent slides to study for the final exam, courtesy of Zachary Northcott.
The slides are also available on MUN CS Society Slack group (where you can find a lot of other useful stuff). To get to that:

Follow this link to Slack.
Sign up using your MUN email.
Join the work-space "muncssociety" (Try this link after logging in if you have trouble. )
Click the "+" by the channels tab on the left, and join any channels you'd like.

The slides have been posted in #homeworkhelp and #studygroups.

8/12/2017 Practice exam marks have been posted.

30/11/2017 There will be pre-exam office hours by Antonina Kolokolova on Friday, Dec 8th, from 1pm to 4pm.

30/11/2017 For section 2 (Dr. Shieh): you need to come to the final exam even if you did well on the practice exam.

27/11/2017 Here is a study guide for the exams (both practice exam this Thursday, and the actual final exam).

16/11/2017 We will have the practice exam in the lab on Nov 30th, 9-11am, for both sections. Please let me know as soon as possible if you would like to write the practice exam, but cannot make it there at that time! The exam is optional; however, your final exam mark will be the maximum of the practice exam and the actual final exam marks.

older announcements...

16/11/2017 Since Friday is on Monday schedule, there is an extra lecture for Section 1, 1-2pm on Friday, Nov 17. In order not to get out of sync with Section 2, we will spend this lecture doing more induction examples (to help with assignment 5, which is due next Monday). Section 2 students are also welcome to come, if you are free at that time.
1/11/2017 There will be no office hours by Antonina Kolokolova until after Nov 13th (out of town). There will still be office hours by John Shieh.
19/10/2017 Clarification on assignment 3: for 1a, it is much easier if you only use predicate Parent. For 1b, however, use both Parent and "=".
15/10/2017 Assignment 3 is now posted. Due Oct 23rd, 10pm. Type it up and upload to D2L; here is the LaTeX source.
11/10/2017 We very much apologize for the wording in the last example in unification slides... We have removed that example from the lecture slides.
11/10/2017 Midterm exam is on Monday, Oct 16th (both sections). It will cover the material from assignments 1 and 2, and labs 1, 2 and 3 (that is, up to and including lecture 11). The midterm is closed-book, no aids allowed. To prepare for the midterm, please see a sample midterm and a study guide .
11/10/2017 Remember that Wednesday Oct 11 is on Monday schedule, so Section 1 does have a lecture on Wednesday, Oct 11.
30/9/2017 Assignment 2 is now posted. Due Oct 6th, 10pm. Type it up and upload to D2L; here is the LaTeX source, if you'd like to try LaTeX.
24/9/2017 Reminder: Assignment 1 is due tomorrow (Monday), at 10pm. Please type it up and submit on D2L, making sure to include your name on the assignment. If you like, you can use LaTeX for typesetting it; here is the LaTeX source,; download LaTeX for your system, or use an online LaTeX editor such as ShareLaTeX. If you have any questions, both instructors have office hours on Mondays: 10-10:45am John Shieh and 5-6pm Antonina Kolokolova.
14/9/2017 Assignment 1 is now posted. Due Sep 25th, 10pm. Type it up and upload to D2L; here is the LaTeX source, if you'd like to try LaTeX.
13/9/2017 Here is Lab 1 for Sep 19 and Sep 21 lab sections. Please go over the "individual work" portion of the lab in advance, to give you enough time to solve everything.
7/9/2017 Office hours by Antonina will be at 5pm on Mondays and Thursdays, in ER-6033.
7/9/2017 The first lab for section 1 will be Thursday, Sep 21st, and for section 2 will be Tuesday, Sep 19th.

Course information

Textbook: Discrete Mathematics and Its Applications: Kenneth H. Rosen.
Reference book: Discrete Mathematics With Applications: Susanna S. Epp

Marking scheme: Lab quizzes 24% total (lowest mark dropped), 5 assignments of 6% each, a midterm test 15% (Oct 16th) and a final exam 31%. Note that the last assignment may be due during the last week of the semester (to provide adequate preparation for the final exam).

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, including the 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. We will also touch upon basic combinatorics, counting methods and probability, and theory of computation.

Labs

Labs start on Sep 19th (Section 2) and Sep 21st (Section 1). Every lab will end with a quiz, worth 3%; the lowest quiz mark will be dropped. You have to be in the lab to write the quizzes. Tentative lab dates are as follows:

Assignments

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.

Assignment 1. ( LaTeX source ) Due Sep 25, at 10pm.	Assignment 2. ( LaTeX source ) Due Oct 6, at 10pm.
Assignment 3 ( LaTeX source ) Due Oct 23, at 10pm.	Assignment 4. ( LaTeX source ) Due Nov 6, at 10pm.
Assignment 5. ( LaTeX source ) Due Nov 20, at 10pm.

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

Announcements

Course information

Labs

Assignments

Slides