Instructor | Professor Janyce Wiebe |
Office Hours | Tuesday & Thursday 1:30-2:30pm ; and by appointment |
Office | 5409 Sennott Square |
Phone | (412) 624-9590 |
wiebe@cs.pitt.edu | |
Web Site | www.cs.pitt.edu/~wiebe/courses/cs1502/Sp04 |
Recitation Instructor | Brian Smyth |
Office Hours | Monday & Wednesday: 12-1 and 2:15-4:15 |
Office | 6805 Sennott Square |
Phone | (412) 624-8402 |
bps@cs.pitt.edu | |
Web Site | www.cs.pitt.edu/~bps |
Day | Time | Place |
Tuesday & Thursday | 4:00-5:15pm | 5129 Sennott Square |
Day | Time | Place |
Tuesday (CRN 37933) | 5:25-6:15pm | 6110 Sennott Square |
Thursday (CRN 37938) | 5:25-6:15pm | 5313 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 |
Jan. 6 - Feb. 10 | Propositional Logic | (LPL) Chapters 1 - 8, 17 |
Feb. 12 | Exam I | (LPL) Chapters 1 - 8, 17 |
Feb. 17 - Mar. 16 | Quantifier Logic | (LPL) Chapters 9 - 13 |
Mar. 18 | Exam II | (LPL) Chapters 9 - 13 |
Mar. 23 - Apr. 15 | Automata Theory | (ITC) Chapter 1 |
Wednesday April 21, 12:00-1:50PM | Exam III | (ITC) Chapter 1 |
---|