Find Your Courses

Lecture 1 - Propositional Logic

 Duration 0h 57m

Lecture 2 - Propositional Logic Contd..

 Duration 0h 58m

Lecture 3 - Predicates & Quantifiers

 Duration 0h 58m

Lecture 4 - Predicates & Quantifiers Contd..

 Duration 1h 0m

Lecture 5 -Logical Inference

 Duration 1h 0m

Lecture 6 -Resolution Principles & Application to PROLOG

 Duration 0h 55m

Lecture 7 - Methods of Proof

 Duration 0h 55m

Lecture 8 - Normal Forms

 Duration 0h 59m

Lecture 9 - Proving programs correct

 Duration 0h 55m

Lecture 10 - Sets

 Duration 0h 56m

Lecture 11 - Induction

 Duration 0h 54m

Lecture 12 - Set Operations on Strings over an Alphabet

 Duration 0h 59m

Lecture 13 - Relations

 Duration 0h 58m

Lecture 14- Graphs

 Duration 0h 56m

Lecture 15 - Graphs Contd..

 Duration 0h 56m

Lecture 16 - Trees

 Duration 0h 58m

Lecture 17 - Trees and Graphs

 Duration 0h 57m

Lecture 18 - Special Properties of Relations

 Duration 0h 58m

Lecture -19 - Closure of Relations

 Duration 0h 57m

Lecture 20 - Closure of Relations Contd..

 Duration 0h 57m

Lecture 21 - Order Relations

 Duration 0h 56m

Lecture 22 - Order and Relations and Equivalence Relations

 Duration 0h 58m

Lecture 23 - Equivalence relations and partitions

 Duration 0h 57m

Lecture 24 - Functions

 Duration 0h 56m

Lecture 25 - Functions Contd..

 Duration 0h 57m

Lecture 26 - Functions Contd..

 Duration 0h 58m

Lecture 27-Pigeonhole Principle

 Duration 0h 57m

Lecture 28 - Permutations and Combinations

 Duration 0h 58m

Lecture 29 - Permutations and Combinations Contd..

 Duration 1h 0m

Lecture 30 - Generating Functions

 Duration 0h 59m

Lecture 31- Generating Functions

 Duration 0h 57m

Lecture 32 - Recurrence Relations

 Duration 0h 58m

Lecture 33 - Recurrence Relations

 Duration 0h 56m

Lecture 34-Recurrence Relations Contd..

 Duration 0h 55m

Lecture 35-Algebras

 Duration 0h 58m

Lecture 36-Algebras Contd..

 Duration 0h 58m

Lecture 37-Algebras Contd..

 Duration 0h 56m

Lecture 38-Finite State Automaton

 Duration 0h 58m

Lecture 39-Finite State Automaton Contd..

 Duration 0h 57m