Math 360 / CS 360 / Phil 360:
Spring 2002 Prof. Stout
This calendar is tentative and will be updated regularly throughout the semester. In general it is correct for the period without background color added. The green background is past and the blue background is tentative.
|
Week |
Day |
Date |
Topics |
Sections |
Assignment |
|
1 |
Tuesday |
1/8/02 |
|
|
|
|
|
Thursday |
1/10/02 |
Classical Propositional Logic: Formalism and definitions |
1.1,1.2 |
Crossley ch 1,N/S p.11 1-3,9 |
|
2 |
Tuesday |
1/15/02 |
Propositional logic: Semantics |
1.2,1.3 |
|
|
|
Thursday |
1/17/02 |
Propositional logic: Tableau proof and soundness |
1.4,1.5 |
p.36 3c,4b,5a, p.40 1-4 |
|
3 |
Tuesday |
1/22/02 |
Compactness, Relation of tableau to other systems: Natural deduction, axiomatic systems |
1.6,1.7 |
|
|
|
Thursday |
1/24/02 |
Predicate logic basic formalism |
2.1,2.2 |
Project 1 |
|
4 |
Tuesday |
1/29/02 |
Predicate logic basic formalism |
2.3,2.4 |
|
|
|
Thursday |
1/31/02 |
Tableau proofs |
2.6 |
|
|
5 |
Tuesday |
2/5/02 |
Completeness |
2.7 |
|
|
|
Thursday |
2/7/02 |
Compactness/Normal Forms |
|
|
|
6 |
Tuesday |
2/12/02 |
Herbrand's theorem/ Review |
|
|
|
|
Thursday |
2/14/02 |
Exam 1 |
|
|
|
7 |
Tuesday |
2/19/02 |
Gödel's theorem |
Crossley |
|
|
|
Thursday |
2/21/02 |
Gödel's theorem |
|
|
|
8 |
Tuesday |
2/26/02 |
Gödel's theorem |
|
|
|
|
Thursday |
2/28/02 |
Modal Logics |
4.1-4.2 |
|
|
9 |
Tuesday |
3/5/02 |
Modal Logics |
4.3-4.4 |
Project/Paper 2 Out |
|
|
Thursday |
3/7/02 |
Modal Logics |
4.5 |
|
|
10 |
Tuesday |
3/12/02 |
Intuitionistic Logic |
5.1 |
|
|
|
Thursday |
3/14/02 |
Intuitionistic Logic |
5.2-5.3 |
|
|
11 |
Tuesday |
3/19/02 |
Spring Break |
|
|
|
|
Thursday |
3/21/02 |
Spring Break |
|
|
|
12 |
Tuesday |
3/26/02 |
Intuitionistic Logic |
5.4-5.5 |
|
|
|
Thursday |
3/28/02 |
Exam 2 |
|
|
|
13 |
Tuesday |
4/2/02 |
Fuzzy Logic |
|
Project/Paper 2 IN |
|
|
Thursday |
4/4/02 |
Fuzzy Logic |
Notes |
Final Project assignment |
|
14 |
Tuesday |
4/9/02 |
Fuzzy Logic |
|
|
|
|
Thursday |
4/11/02 |
Categorical Logic |
Notes |
|
|
15 |
Tuesday |
4/16/02 |
Categorical Logic |
|
|
|
|
Thursday |
4/18/02 |
Categorical Logic |
|
|
|
16 |
Tuesday |
4/23/02 |
Projects |
Students |
|
|
|
Friday |
4/26/02 |
Final Exam time |
8:00-10:00 |
|