APPLIED LOGIC FOR COMPUTER SCIENCE
CS 2209A: Fall 2009
Course Website

Hello, I am Charles Ling, Professor of Computer Science. I am the instructor of this course.

Due to the success of using a new online textbook in the winter term of 2009 (also taught by me), we will use it for this term as well. The title of the book is: Introduction to Logic, By Prof. Harry Gensler. It is available online (free) for UWO students.

Read the book online here

A great advantage of using this book is that there is an excellent free software LogiCola that we will use in this course.

Additional materials for computer science will be added later in the semester.

General Course Info

• Course Outline
• Dr. Charles Ling's office hours: Weds, 2 to 4 pm, MC 28c. The best way to contact him is by email: cling@csd.uwo.ca
• TA: Da Kuang, dkuang@csd.uwo.ca. TA office hours: Thursday, 9:30-11:30 am. Location: MC 4A.

Announcement

• 10/27: Tomorrow (10/28) we will have a short review class of the midterm. We would need only one lecture. To make it easier for everyone, we will start our class at 10:30 (instead of 9:30 am). Please take a note.
• 9/15: there is an error in the quiz one date in the original course outline. It should be on Sept 25, not Sept 29. Please take a note.

Tentative Lecture Schedule, Contents, and Lecture Notes

Note 1: Please download the slides one week before the actual lecture as they may be updated.

Note 2: unless otherwise specified, in-class Quizzes always happen on Friday of that week, and assignments are always due by midnight of Friday of that week.

• (Week 1: 9/7):
  Introduction to Logic (Chapter 1 Gensler's book)
• (Week 2: 9/14):
  Propositional Logic (Chapter 3 of Gensler's book). Lecture Notes: set 1 (updated 9/15), set 2, and set 3 (updated 9/17).
  Note: LogiCola is installed on 9 machines in MC325 (6 machines along the north wall (right hand as you walk in) and 4 machines on the table nearest the blackboard).
• (Week 3: 9/21):
  9/25 (Friday): In-class Quiz 1 (5%; similar questions as in LogiCola C-HM, D-TH, D-UH, D-FH, D-AH).
  9/17: Assignment 1 is ready (5%)
• (Week 4: 9/28):
  Propositional Proofs (Chapter 4 of Gensler's book): Lecture Notes (updated 9/26).
  10/2: Assignment 1 due
• (Week 5: 10/5):
  Extra material: Propositional Resolution .
  In-class Quiz 2 (5%. Similar questions as in LogiCola G-MCP; Textbook Exercises 4.2b, 4.5a, 4.5b; adequacy of connectives, normal forms)
  Assignment 2 is ready (5%).
• (Week 6: 10/12):
  Extra material: How to Use a Theorem Prover? (Lecture Notes). Download Prover9 here
  Assignment 2 due.
• (Week 7: 10/19):
  Lecture Notes on Chapter 5
  Assignment 3 is ready (5%)
  10/24: Answer to Assignment 2
  Note: Prover9 (needed for this assignment) is installed on 9 machines in MC325 (6 machines along the north wall (right hand as you walk in) and 4 machines on the table nearest the blackboard).
• (Week 8: 10/26):
  Midterm coverage: all materials up to (and including) 10/23's lecture. For last week's lecture, practice LogiCola H-HT and I-ECp. Type of questions: similar to the quiz and assignments.
  10/30: in-class midterm (35%).
  
• (Week 9: 11/2):
  Lecture Notes on Chapter 6
  Assignment 3 due
  
• (Week 10: 11/9):
  Lecture Notes (extra): Resolution for 1st Order Logic (Thanks to Prof. Michael Genesereth)
  In-class Quiz 3 (10%; similar questions as in assignment 3; LogiCola H-IM, H-RM, and I-BC.)
  Assignment 4 is ready (5%)
• (Week 11: 11/16):
  Lecture notes on Prolog (extra): set1, set2 (Thanks to Dr. Hernandez-Campos)
  11/19: Assignment 5 is ready (5%), 11/22: Assignment 4 due (extended)
• (Week 12: 11/23):
  (Still on Prolog)
  In-class Quiz 4 (10%; slightly harder questions from Chapters 5 and 6 of the textbook, resolution proof, and logic programming with Prolog)
  11/19: Assignment 5 is ready (5%)
• (Week 13: 11/30):
  (Still on Prolog)
  Assignment 5 due
• (Week 14: 12/7):
  Note: on Wed, 12/9: In-class Quiz 5 (10%; all materials after the midterm with an emphasis on Prolog).
  
• There is no final exam for this course. Happy Holidays!