Week of June 18
| Monday | Introduction, Course outline
|
| Tuesday | |
| Wednesday | |
| Thursday | |
| Friday |
|
Week of June 25
| Monday |
|
| Tuesday | |
| Wednesday | |
| Thursday | |
| Friday |
|
Week of July 2
| Monday |
|
| Tuesday | NO CLASS! |
| Wednesday | |
| Thursday | |
| Friday |
|
Week of July 9
| Monday | Problem solving I
|
| Tuesday | Problem solving II |
| Wednesday | Problem solving III |
| Thursday | Propositional Logic, Truth tables |
| Friday | Truth Trees
|
Week of July 16
| Monday | Satisfiability, Tautology, Logical equivalence
|
| Tuesday | Logical equivalence, consistency, validity |
| Wednesday | Validity, examples |
| Thursday | Translations |
| Friday | Set Theory I
|
Week of July 23
| Monday | Set Theory II
|
| Tuesday | Predicate Logic I |
| Wednesday | Predicate Logic II |
| Thursday | Review for final exam |
| Friday | Final Exam in class
|