Weekly Schedule

INFO I201/Summer I 2012

 

Week of May 7

Tuesday Introduction, Propositional Logic, Truth tables
Wednesday Truth tables examples, Truth trees
Thursday Truth Trees, Logical equivalence, Consistency

Week of May 14

Monday Arguments and their validity
Tuesday Translation I
Wednesday Translation II
Thursday Formal Proofs I

Week of May 21

Monday Formal Proofs, Examples
Tuesday Formal Proofs II
Wednesday Formal Proofs III
Thursday Midterm I, no lab

Week of May 28

Monday Memorial Day, No class
Tuesday Predicate Logic I
Wednesday Predicate Logic II
Thursday Predicate Logic III

Week of June 4

Monday Predicate Logic IV
Tuesday Predicate Logic V
Wednesday Mathematical Induction I
Thursday Mathematical Induction II

Week of June 11

Monday Relations I
Tuesday Midterm II, no lab
Wednesday Relations II
Thursday Final Exam, no lab