|
1
|
VideoMath221-2011-01-10-Mathematical Induction, Inequalities
|
--
|
1/10/11
|
Free
|
View In iTunes
|
|
2
|
VideoMath221-2011-01-11-Informal Proofs, Inductive Definitions
|
--
|
1/11/11
|
Free
|
View In iTunes
|
|
3
|
VideoMath221-2011-01-13-The Fibonacci Numbers
|
--
|
1/13/11
|
Free
|
View In iTunes
|
|
4
|
VideoMath221-2011-01-18-Binary Trees, Formal Specifications
|
--
|
1/18/11
|
Free
|
View In iTunes
|
|
5
|
VideoMath221-2011-01-20-Formal Specifications, Rigid Variables
|
--
|
1/20/11
|
Free
|
View In iTunes
|
|
6
|
VideoMath221-2011-01-24-Formal Specifications, Arrays
|
--
|
1/24/11
|
Free
|
View In iTunes
|
|
7
|
VideoMath221-2011-01-25-A Theory of Programs
|
--
|
1/25/11
|
Free
|
View In iTunes
|
|
8
|
VideoMath221-2011-01-27-Guarded Command Language (GCL)
|
--
|
1/27/11
|
Free
|
View In iTunes
|
|
9
|
VideoMath221-2011-01-31-The Assignment Statement
|
--
|
1/31/11
|
Free
|
View In iTunes
|
|
10
|
VideoMath221-2011-02-01-Program Correctness, Program Derivation
|
--
|
2/1/11
|
Free
|
View In iTunes
|
|
11
|
VideoMath221-2011-02-03-Program Derivation, Invariants
|
--
|
2/3/11
|
Free
|
View In iTunes
|
|
12
|
VideoMath221-2011-02-07-The Alternative Statement
|
--
|
2/7/11
|
Free
|
View In iTunes
|
|
13
|
VideoMath221-2011-02-08-The Alternative Statement, Review
|
--
|
2/8/11
|
Free
|
View In iTunes
|
|
14
|
VideoMath221-2011-02-10-Review
|
--
|
2/11/11
|
Free
|
View In iTunes
|
|
15
|
VideoMath221-2011-02-15-The Correctness of Loops
|
--
|
2/15/11
|
Free
|
View In iTunes
|
|
16
|
VideoMath221-2011-02-16-The Correctness of Loops II
|
--
|
2/18/11
|
Free
|
View In iTunes
|
|
17
|
VideoMath221-2011-02-17-Relations
|
--
|
2/17/11
|
Free
|
View In iTunes
|
|
18
|
VideoMath221-2011-02-21-Operations on Relations
|
--
|
2/21/11
|
Free
|
View In iTunes
|
|
19
|
VideoMath221-2011-02-22-Relation Product
|
--
|
2/22/11
|
Free
|
View In iTunes
|
|
20
|
VideoMath221-2011-02-24-Classes of Relations, Closure
|
--
|
2/24/11
|
Free
|
View In iTunes
|
|
21
|
VideoMath221-2011-03-07-Closure, Equivalence Relations
|
--
|
3/7/11
|
Free
|
View In iTunes
|
|
22
|
VideoMath221-2011-03-08-Equivalence Relations, Partitions
|
--
|
3/8/11
|
Free
|
View In iTunes
|
|
23
|
VideoMath221-2011-03-14-Functions
|
--
|
3/14/11
|
Free
|
View In iTunes
|
|
24
|
VideoMath221-2011-03-15-Inverse Functions
|
--
|
3/15/11
|
Free
|
View In iTunes
|
|
25
|
VideoMath221-2011-03-22-Order Relations
|
--
|
3/22/11
|
Free
|
View In iTunes
|
|
26
|
VideoMath221-2011-03-24-More on Posets
|
--
|
3/24/11
|
Free
|
View In iTunes
|
|
27
|
VideoMath221-2011-03-28-Relational Databases
|
--
|
3/28/11
|
Free
|
View In iTunes
|
|
28
|
VideoMath221-2011-03-29-Growth of Functions
|
--
|
3/29/11
|
Free
|
View In iTunes
|
|
29
|
VideoMath221-2011-03-31-Growth of Functions, Min & Max
|
--
|
3/31/11
|
Free
|
View In iTunes
|
|
30
|
VideoMath221-2011-04-04-A Theory of Integers
|
--
|
4/5/11
|
Free
|
View In iTunes
|
|
31
|
VideoMath221-2011-04-05-Division, GCD, LCM
|
--
|
4/5/11
|
Free
|
View In iTunes
|
|
32
|
VideoMath221-2011-04-07-Euclid's Algorithm
|
--
|
4/7/11
|
Free
|
View In iTunes
|
|
33
|
VideoMath221-2011-04-11-Rules of Counting
|
--
|
4/11/11
|
Free
|
View In iTunes
|
|
34
|
VideoMath221-2011-04-12-Combinatorics, Graphs
|
--
|
4/12/11
|
Free
|
View In iTunes
|
|
35
|
VideoMath221-2011-04-14-Paths and Circuits
|
--
|
4/14/11
|
Free
|
View In iTunes
|
|
36
|
VideoMath221-2011-04-18-Euler and Hamiltonian Circuits
|
--
|
4/18/11
|
Free
|
View In iTunes
|
|
37
|
VideoMath221-2011-04-19-Review I
|
--
|
4/19/11
|
Free
|
View In iTunes
|
|
38
|
VideoMath221-2011-04-21-Review II
|
--
|
4/21/11
|
Free
|
View In iTunes
|