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/Sp06 |
Teaching Assistant | Strahinja Acimovic |
Office Hours | MW 2-4pm; TuesTh: 11am-12pm |
Office | 6150 Sennott Square |
Phone | (412) 624-8486 |
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.
- 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-29 | Automata Theory | (ITC) Chapter 1 |
Monday, 4/24, 2:00-3:50pm, SS 5129 | Exam III | (ITC) Chapter 1 |