| Lecture 1 - Propositional Logic |
Computer Science |
57 min |
Click to view videos |
|
| Lecture 2 - Propositional Logic (Contd.) |
Computer Science |
58 min |
Click to view videos |
|
| Lecture 3 - Predicates & Quantifiers |
Computer Science |
58 min |
Click to view videos |
|
| Lecture 4 - Predicates & Quantifiers (Contd.) |
Computer Science |
59 min |
Click to view videos |
|
| Lecture 5 -Logical Inference |
Computer Science |
59 min |
Click to view videos |
|
| Lecture 6 -Resolution Principles & Application to PROLOG |
Computer Science |
54 min |
Click to view videos |
|
| Lecture 7 - Methods of Proof |
Computer Science |
55 min |
Click to view videos |
|
| Lecture 8 - Normal Forms |
Computer Science |
58 min |
Click to view videos |
|
| Lecture 9 - Proving programs correct |
Computer Science |
54 min |
Click to view videos |
|
| Lecture 10 - Sets |
Computer Science |
55 min |
Click to view videos |
|
| Lecture 11 - Induction |
Computer Science |
53 min |
Click to view videos |
|
| Lecture 12 - Set Operations on Strings Over an Alphabet |
Computer Science |
58 min |
Click to view videos |
|
| Lecture 13 - Relations |
Computer Science |
58 min |
Click to view videos |
|
| Lecture 14- Graphs |
Computer Science |
56 min |
Click to view videos |
|
| Lecture 15 - Graphs (Contd.) |
Computer Science |
56 min |
Click to view videos |
|
| Lecture 16 - Trees |
Computer Science |
57 min |
Click to view videos |
|
| Lecture 17 - Trees and Graphs |
Computer Science |
57 min |
Click to view videos |
|
| Lecture 18 - Special Properties of Relations |
Computer Science |
57 min |
Click to view videos |
|
| Lecture -19 - Closure of Relations |
Computer Science |
57 min |
Click to view videos |
|
| Lecture 20 - Closure of Relations (Contd.) |
Computer Science |
57 min |
Click to view videos |
|
| Lecture 21 - Order Relations |
Computer Science |
56 min |
Click to view videos |
|
| Lecture 22 - Order and Relations and Equivalence Relations |
Computer Science |
57 min |
Click to view videos |
|
| Lecture 23 - Equivalence relations and partitions |
Computer Science |
56 min |
Click to view videos |
|
| Lecture 24 - Functions |
Computer Science |
55 min |
Click to view videos |
|
| Lecture 25 - Functions (Contd.) |
Computer Science |
56 min |
Click to view videos |
|
| Lectures 26 - Functions (Contd.) |
Computer Science |
58 min |
Click to view videos |
|
| Lecture-27-Permutations and Combinations |
Computer Science |
57 min |
Click to view videos |
|
| Lecture 28 - Permutations and combinations |
Computer Science |
57 min |
Click to view videos |
|
| Lecture 29 - Permutations and Combinations(Contd...) |
Computer Science |
60 min |
Click to view videos |
|
| Lecture 30 - Generating Functions |
Computer Science |
58 min |
Click to view videos |
|
| Lecture 31- Generating Functions |
Computer Science |
56 min |
Click to view videos |
|
| Lecture 32 - Recurrence Relations |
Computer Science |
57 min |
Click to view videos |
|
| Lecture 33 - Recurrence Relations |
Computer Science |
56 min |
Click to view videos |
|
| Lecture 34-Recurrence Relations(contd..) |
Computer Science |
54 min |
Click to view videos |
|
| Lecture 35-Algebras |
Computer Science |
57 min |
Click to view videos |
|
| Lecture 36-Algebras(contd...) |
Computer Science |
57 min |
Click to view videos |
|
| Lecture 37-Algebras(contd...) |
Computer Science |
56 min |
Click to view videos |
|
| Lecture 38-Finite State Automaton |
Computer Science |
57 min |
Click to view videos |
|
| Lecture 39-Finite State Automaton(contd....) |
Computer Science |
57 min |
Click to view videos |
|
| Lecture 40-Lattices |
Computer Science |
57 min |
Click to view videos |
Posts
0 comments:
Post a Comment