Lecture 1 - Propositional Logic
Duration 0h 57m
Lecture 2 - Propositional Logic Contd..
Duration 0h 58m
Lecture 3 - Predicates & Quantifiers
Lecture 4 - Predicates & Quantifiers Contd..
Duration 1h 0m
Lecture 5 -Logical Inference
Lecture 6 -Resolution Principles & Application to PROLOG
Duration 0h 55m
Lecture 7 - Methods of Proof
Lecture 8 - Normal Forms
Duration 0h 59m
Lecture 9 - Proving programs correct
Lecture 10 - Sets
Duration 0h 56m
Lecture 11 - Induction
Duration 0h 54m
Lecture 12 - Set Operations on Strings over an Alphabet
Lecture 13 - Relations
Lecture 14- Graphs
Lecture 15 - Graphs Contd..
Lecture 16 - Trees
Lecture 17 - Trees and Graphs
Lecture 18 - Special Properties of Relations
Lecture -19 - Closure of Relations
Lecture 20 - Closure of Relations Contd..
Lecture 21 - Order Relations
Lecture 22 - Order and Relations and Equivalence Relations
Lecture 23 - Equivalence relations and partitions
Lecture 24 - Functions
Lecture 25 - Functions Contd..
Lecture 26 - Functions Contd..
Lecture 27-Pigeonhole Principle
Lecture 28 - Permutations and Combinations
Lecture 29 - Permutations and Combinations Contd..
Lecture 30 - Generating Functions
Lecture 31- Generating Functions
Lecture 32 - Recurrence Relations
Lecture 33 - Recurrence Relations
Lecture 34-Recurrence Relations Contd..
Lecture 35-Algebras
Lecture 36-Algebras Contd..
Lecture 37-Algebras Contd..
Lecture 38-Finite State Automaton
Lecture 39-Finite State Automaton Contd..