|
|
|
|
CSE 321, Winter 2008, Recorded Lectures
Lectures can be viewed on a Windows PC with the WebViewer application
installed. Webviewer version 1.9.97 (or later) should be used. Lectures are
available as zip files (of size about 100M per lecture). To view a lecture,
download it to your machine, unzip it, launch the WebViewer application, and
with File-> Open File navigate to "OpenWithWebViewer" in the lecture
directory.
Lectures
- Lecture 1, WebViewer, MP4, January 7, 2008, Introduction tothe course, Propositional calculus.
- Lecture 2, WebViewer, MP4, January 9, 2008,
Propositional Equivalence
- Lecture 3, WebViewer, MP4, January 11, 2008,
Propositional Proofs
- Lecture 4, WebViewer, MP4, January 14, 2008,
Predicates and Quantification
- Lecture 5, WebViewer, MP4, January 16, 2008,
Rules of Inference
- Lecture 6, WebViewer, MP4, January 18, 2008,
Proofs
- Lecture 7, WebViewer, MP4, January 23, 2008,
Sets
- Lecture 8, WebViewer, MP4, January 25, 2008,
Modular Arithmetic
- Lecture 9, WebViewer, MP4, January 28, 2008,
Modular Exponentiation
- Lecture 10, WebViewer, MP4, January 30, 2008,
Modular Exponentiation
- Lecture 11, WebViewer, MP4, February 1, 2008,
Number Theory Applications, RSA
- Lecture 12, WebViewer, MP4, February 4, 2008, Induction
- Lecture 13, WebViewer, MP4, February 6, 2008, Induction and Recursion
- Lecture 14, Not recorded, February 11, 2008, Recursive definitions
- Lecture 15, WebViewer, MP4, February 13, 2008, Structural Induction
- Lecture 16, WebViewer, MP4, February 15, 2008, Counting
- Lecture 17, WebViewer, MP4, February 20, 2008, Combinations and Permutations
- Lecture 18, WebViewer, MP4, February 22, 2008, Probability Theory
- Lecture 19, WebViewer, MP4, February 25, 2008, Probability Theory
- Lecture 20, WebViewer, MP4, February 27, 2008, Probability Theory
- Lecture 21, WebViewer, MP4, February 29, 2008, Analysis of Algorithms
- Lecture 22, WebViewer, MP4, March 3, 2008, Binary Relations
- Lecture 23, WebViewer, MP4, March 5, 2008, N-Ary Relations
- Lecture 24, Not recorded, March 7, 2008, Equivalence and Order relations
- Lecture 25, WebViewer, MP4, March 10, 2008, Graph theory
- Lecture 26, WebViewer, MP4, March 12, 2008, Graph theory
|