Instructor | Professor Jan Wiebe |
Office Hours | Tuesday & Thursday 10:45-11:45am and by appointment |
Office | 5409 Sennott Square |
Phone | (412) 624-9590 |
wiebe@cs.pitt.edu | |
Web Site | www.cs.pitt.edu/~wiebe/courses/CS1502/Fall04 |
Recitation Instructor | Brian Smyth |
Office Hours | Mon, Wed 12:00-2:30pm; Fri 1-2pm |
Office | 6805 Sennott Square |
Phone | (412) 624-8402 |
bps@cs.pitt.edu | |
Web Site | www.cs.pitt.edu/~bps |
Day | Time | Place |
Tuesday & Thursday | 9:30-10:45am | 5129 Sennott Square |
Day | Time | Place |
Friday | 12:00-12:50pm | 5129 Sennott Square |
Homework | 10% |
Exams(3) | 30% each |
No late homework will be accepted. The homework is designed to help you master the material and prepare you for the exams.
Dates | Topics | Readings |
Aug. 31 - Oct. 5 | Propositional Logic | (LPL) Chapters 1 - 8, 17 |
Oct. 7 | Exam I | (LPL) Chapters 1 - 8, 17 |
Oct. 12 - Nov. 2 | Quantifier Logic | (LPL) Chapters 9 - 13 |
Nov. 4 | Exam II | (LPL) Chapters 9 - 13 |
Nov. 9 - Dec. 7 | Automata Theory | (ITC) Chapter 1 |
Dec. 17 (Friday) 10:00-11:50am, SS 5129 | Exam III | (ITC) Chapter 1 |