COMP340-08B Resources

This page contains the resources that were made available on the COMP340-08B Moodle course page. The original URL was http://elearn.waikato.ac.nz/course/view.php?id=2567

Course Outline

Lecture Notes

The lecture handouts are the slides which will be presented in class: each file corresponds to one lecture. They are as accurate as possible at the time of publishing. However, if errors are detected, handouts may be changed without notice until shortly after each lecture.

• Lecture 1: Propositional Logic
• Lecture 2: Propositional Interpretations
• Lecture 3: Logical Arguments
• Laws of Equivalence
• Lecture 4: Normal Forms

Assignments

• Assignment 1
  Please put your written answers into the box marked COMP340B in front of room G 1.15 by Monday 28 July 2008, 9:00.