Lecture 1 – Propositional Logic Computer Science 57 min Click to view videos

Video Lecture Description Sub-Category Time Click to view video Back to Computer-Science Video Lecture Course Page 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