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
|