15-317 Constructive Logic
Schedule
- Lectures are Tuesday and Thursday in SH 222.
-
Recitations are Wednesday in SH 214.
Recitations generally cover the material from the preceding two lectures.
-
The class notes provide additional reading material.
They complement, but do not replace the lecture.
- The schedule is subject to change throughout the semester.
| Date |
Lecture or Recitation |
Reading |
Homework Due |
|
| Tue | Aug | 26 |
Overview |
01-overview.pdf |
|
| Thu | Aug | 28 |
Natural Deduction |
02-natded.pdf |
|
|
| Tue | Sep | 2 |
Harmony |
03-harmony.pdf |
|
| |
| Thu | Sep | 4 |
|
|
|
|
| Tue | Sep | 9 |
|
|
|
| Thu | Sep | 11 |
|
|
|
|
| Tue | Sep | 16 |
|
|
|
| Thu | Sep | 18 |
|
|
|
|
| Tue | Sep | 23 |
|
|
|
| Thu | Sep | 25 |
|
|
|
|
| Tue | Sep | 30 |
|
|
|
| Thu | Oct | 2 |
Midterm I |
|
|
|
| Tue | Oct | 7 |
|
|
|
| Thu | Oct | 9 |
|
|
|
|
| Tue | Oct | 14 |
|
|
|
| Thu | Oct | 16 |
|
|
|
|
| Tue | Oct | 21 |
|
|
|
| Thu | Oct | 23 |
|
|
|
|
| Tue | Oct | 28 |
|
|
|
| Thu | Oct | 30 |
|
|
|
|
| Tue | Nov | 4 |
|
|
|
| Thu | Nov | 6 |
Midterm II |
|
|
|
| Tue | Nov | 11 |
|
|
|
| Thu | Nov | 13 |
|
|
|
|
| Tue | Nov | 18 |
|
|
|
| Thu | Nov | 20 |
|
|
|
|
| Tue | Nov | 25 |
Reading Day (no class) |
|
|
| Thu | Nov | 27 |
Thanksgiving Holiday |
|
|
|
| Tue | Dec | 2 |
|
|
|
| Thu | Dec | 4 |
|
|
|
|
|
| | | |
Final, Time and place TBA |
|
|
[ Home
| Schedule
| Assignments
| Handouts
| Software
]
fp@cs
Frank Pfenning
|