CSSE 474: Day 1

Topics

• Introduction to this course
• Skills review: proofs

Homework

• Please read through all of chapter 0 in order to familiarize yourself with the terminology used in this course as well as some of the basics.
• Please complete problems 0.10, 0.11, 0.12. This is a voluntary exercise and will not be graded. We will have a quick look at these exercises during our next class session.
• Please read ahead and have a look at section 3.1 on Turing Machines.