COMP 426 Automated Reasoning
Lecture 1: Introduction

We give a general overview of the course and summarize the material in the reading. We also discuss various administrative issues, such as examination schedule, homework, and grading policy.