Instructors
Instructor | Professor Jan Wiebe |
Office Hours | Tuesday & Thursday 2:00-3:00pm and by appointment |
Office | 5409 Sennott Square |
Phone | (412) 624-9590 |
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 |
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.
- 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.
-
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 |