| 2014-01-16 | lecture:
background | - lecture notes
- introduction and motivation
- well-formed boolean formulas
- boolean arithmetic
|
| 2014-01-21 | lecture:
boolean
algebra | - lecture notes
- boolean algebra
- truth tables
- models of formulas
- boolean satisfiability problem
- recursive backtracking
|
| 2014-01-23 | lecture:
formulas
& models | - lecture notes
- maximum satisfiability problem
- algebra of boolean operators
|
| 2014-01-28 | lecture:
formulas
& models | - lecture notes
- applications of satisfiability
- variables as predicates
- sets and set operations
|
2014-01-29
11:59 PM EST
| | |
| 2014-01-30 | lecture:
set theory | - lecture notes
- set theory & set algebra
- sets of models
- boolean algebra & set algebra
|
| 2014-02-04 | lecture:
set theory | - lecture notes
- boolean algebra & set algebra
- counting satisfiability problem
- power sets
|
| 2014-02-06 | lecture:
logic & proofs | - lecture notes
- another model sets example
- formulas as proofs
- inference rules for proofs
|
2014-02-10
11:59 PM EST
| | |
| 2014-02-11 | lecture:
logic & proofs | - lecture notes
- common inference rules
- building true formulas
- proofs and theorems
|
| 2014-02-13 | lecture:
logic & proofs | - lecture notes
- domains of discourse
- constants & predicates
- universal quantification
- basic induction
|
| 2014-02-18 | lecture:
logic & proofs | |
| 2014-02-20 | lecture:
induction &
recursion | - lecture notes
- counting predicates
- category relationships
- building inductive proofs
|
2014-02-21
11:59 PM EST
| | |
| 2014-02-25 | lecture:
induction &
recursion | |
| 2014-02-27 | lecture:
review | |
2014-03-03
11:59 PM EST
| | |
2014-03-04
Tuesday
11:05-12:05 PM | midterm
exam | |
| 2014-03-06 | lecture:
trees &
graphs | - review of midterm solutions
- lecture notes
- defining trees using axioms
- defining trees in Python
|
| 2014-03-11 | recess | |
| 2014-03-13 | recess | |
| 2014-03-18 | lecture:
trees &
graphs | - lecture notes
- inductively defined metrics
- metrics as recurrence relations
- finding closed-form functions
|
| 2014-03-20 | lecture:
trees &
graphs | - lecture notes
- finding closed-form functions
- graphs and recurrence relations
|
| 2014-03-25 | lecture:
trees &
graphs | - more on recurrence relations
|
| 2014-03-27 | lecture:
complexity &
combinatorics | - lecture notes
- summations
- permutations & combinations
- generating functions
- binomial theorem
|
| 2014-04-01 | lecture:
complexity &
combinatorics | - lecture notes
- using permutations
- using combinations
- using generating functions
|
2014-04-02
11:59 PM EST
| | |
| 2014-04-03 | lecture:
complexity &
combinatorics | - lecture notes
- negative binomial theorem
- generating functions in Python
- using generating functions
|
| 2014-04-08 | lecture:
complexity &
combinatorics | |
| 2014-04-10 | lecture:
complexity &
combinatorics | - lecture notes
- computing probabilities
- probabilities & logical formulas
|
| 2014-04-15 | lecture:
complexity &
combinatorics | - quiz review
- probabilities & logical formulas
|
2014-04-16
11:59 PM EST
| | |
| 2014-04-17 | lecture:
complexity &
combinatorics | - lecture notes
- probabilities & logical formulas
- generating fun.'s & probability
|
| 2014-04-22 | lecture:
applications | |
2014-04-24
Monday sched.
| | |
| 2014-04-29 | lecture:
review | |
| 2014-05-01 | lecture:
review | |
2014-05-06
Tuesday
12:30-2:30 PM
CAS 224 | final
exam | |