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/Sp06

Teaching Assistant Strahinja Acimovic
Office Hours MW 2-4pm; TuesTh: 11am-12pm
Office 6150 Sennott Square
Phone (412) 624-8486
Email shinma@cs.pitt.edu
Course Web Site http://www.cs.pitt.edu/~shinma/courses/CS1502/Sp06 not yet created

Lectures

Day Time Place
Tuesday & Thursday (CRN 11603) 4:00-5:15pm 5129 Sennott Square

Recitations

Day Time Place
Wednesday (CRN: 11604) 4:00-4:50pm 6110 Sennott Square
Friday (CRN: 12602) 4:00-4:50pm 6110 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 registration code for the enclosed software is useful to only one student. A used copy will not allow you to use the grading software. 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 has been made available to you as a course packet in the bookstore. You may want to consider purchasing the full book instead if you plan to take CS1511, since that course uses the same book.

Prerequisites


* CS441, CS445


Course Requirements

Homework 10%
Exams(3) 30% each

Regulations


* Homework assignments

An assignment is due each Tuesday, starting 1/17/06, unless otherwise noted on the schedule. Assignments are due at the beginning of class.

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-29 Automata Theory (ITC) Chapter 1
Monday, 4/24, 2:00-3:50pm, SS 5129 Exam III (ITC) Chapter 1