Instructors

Instructor Professor Jan Wiebe
Office Hours Tuesday & Thursday 2:00-3:00pm and by appointment
Office 5409 Sennott Square
Phone (412) 624-9590
Email wiebe@cs.pitt.edu
Course Web Site http://www.cs.pitt.edu/~wiebe/courses/CS1502/Sp09

Teaching Assistant Nick Farnan
Office Hours Monday & Wednesday 1:00pm-4:00pm
Office 6503 Sennott Square
Phone (412) 624-7253
Email nlf4 at cs dot pitt dot edu; use cs1502ta at gmail dot com for grade reports
Course Web Site http://www.cs.pitt.edu/~nlf4

Lectures

Day Time Place
Tuesday & Thursday 4:00-5:15pm 203 Lawrence Hall.

Recitations

Day Time Place
Friday (class number: 12542) 12:00-12:50pm 5129 Sennott Square
Friday (class number: 13726) 2:00-2:50pm 5129 Sennott Square

Textbooks


* Required

* Language Proof and Logic (LPL)
Jon Barwise and John Etchemendy, CSLI Publications, 1999 [ISBN 1-57586-374-X] Do not purchase this book used . The book comes with a registration number that is useful to only one student. If you buy a used book, you will receive a registration number that has already been used by another student. To submit solutions, you need a brand new registration number. Here is the text web site .

* Introduction to the Theory of Computation (ITC), Chapter 1
Michael Sipser, PWS Publishing Co., 1997 [ISBN 0-534-95651-3]
This course covers Chapter 1, which will be made available to you as a course packet in the bookstore.

Prerequisites


* CS441, CS445


Course Requirements

Homework 10%
Exams(3) 30% each

Regulations


* Homework assignments

An assignment is due each week, starting 1/15/09, unless otherwise noted on the schedule. No late homework will be accepted. The homework is designed to help you master the material and prepare for the exams.

Many of the exercises from the text will be submitted electronically to the authors' web site for grading. You should read Chapter 2 in the LPL Software Manual that comes with the textbook.

You will receive a grade assessment by email for the problems that you submit. In addition, you must request that this grade assessment be sent to your TA. You may submit your solutions as many times as you like during the week as you attempt to correctly solve the problems. DO NOT send your TA a grade assessment of each attempt. He should receive only one per assignment. The TA will record the first grade assessment received from you each week.

For each assignment, please hand in any pencil and paper solutions, together with the one-page printed email assessment. Please staple the sheets and place your name on them.

* Collaboration is not allowed

Any form of cheating, copying, or collaboration on homework or exams will result in a failing grade for the course.

Save all graded homework assignments and graded exams until after you receive your final grade.

Schedule



Lecture Days Topics Readings
Days 1-11 Propositional Logic (LPL) Chapters 1 - 8, 17
Day 12 Exam I (LPL) Chapters 1 - 8, 17
Days 13-19 Quantifier Logic (LPL) Chapters 9 - 13
Day 20 Exam II (LPL) Chapters 9 - 13
Days 21-28 Automata Theory (ITC) Chapter 1
Finals Week Exam III (ITC) Chapter 1