20140116  lecture: background   lecture notes
 introduction and motivation
 wellformed boolean formulas
 boolean arithmetic

20140121  lecture: boolean algebra   lecture notes
 boolean algebra
 truth tables
 models of formulas
 boolean satisfiability problem
 recursive backtracking

20140123  lecture: formulas & models   lecture notes
 maximum satisfiability problem
 algebra of boolean operators

20140128  lecture: formulas & models   lecture notes
 applications of satisfiability
 variables as predicates
 sets and set operations

20140129 11:59 PM EST
  
20140130  lecture: set theory   lecture notes
 set theory & set algebra
 sets of models
 boolean algebra & set algebra

20140204  lecture: set theory   lecture notes
 boolean algebra & set algebra
 counting satisfiability problem
 power sets

20140206  lecture: logic & proofs   lecture notes
 another model sets example
 formulas as proofs
 inference rules for proofs

20140210 11:59 PM EST
  
20140211  lecture: logic & proofs   lecture notes
 common inference rules
 building true formulas
 proofs and theorems

20140213  lecture: logic & proofs   lecture notes
 domains of discourse
 constants & predicates
 universal quantification
 basic induction

20140218  lecture: logic & proofs  
20140220  lecture: induction & recursion   lecture notes
 counting predicates
 category relationships
 building inductive proofs

20140221 11:59 PM EST
  
20140225  lecture: induction & recursion  
20140227  lecture: review  
20140303 11:59 PM EST
  
20140304 Tuesday 11:0512:05 PM  midterm exam  
20140306  lecture: trees & graphs   review of midterm solutions
 lecture notes
 defining trees using axioms
 defining trees in Python

20140311  recess  
20140313  recess  
20140318  lecture: trees & graphs   lecture notes
 inductively defined metrics
 metrics as recurrence relations
 finding closedform functions

20140320  lecture: trees & graphs   lecture notes
 finding closedform functions
 graphs and recurrence relations

20140325  lecture: trees & graphs   more on recurrence relations

20140327  lecture: complexity & combinatorics   lecture notes
 summations
 permutations & combinations
 generating functions
 binomial theorem

20140401  lecture: complexity & combinatorics   lecture notes
 using permutations
 using combinations
 using generating functions

20140402 11:59 PM EST
  
20140403  lecture: complexity & combinatorics   lecture notes
 negative binomial theorem
 generating functions in Python
 using generating functions

20140408  lecture: complexity & combinatorics  
20140410  lecture: complexity & combinatorics   lecture notes
 computing probabilities
 probabilities & logical formulas

20140415  lecture: complexity & combinatorics   quiz review
 probabilities & logical formulas

20140416 11:59 PM EST
  
20140417  lecture: complexity & combinatorics   lecture notes
 probabilities & logical formulas
 generating fun.'s & probability

20140422  lecture: applications  
20140424 Monday sched.
  
20140429  lecture: review  
20140501  lecture: review  
20140506 Tuesday 12:302:30 PM CAS 224  final exam  