Lectures in this course:40
1 - Propositional Logic (56:47)
2 - Propositional Logic (Contd.) (57:35)
3 - Predicates & Quantifiers (57:54)
4 - Predicates & Quantifiers (Contd.) (59:24)
5 - Logical Inference (59:14)
6 - Resolution Principles & Application to PROLOG (54:29)
7 - Methods of Proof (54:57)
8 - Normal Forms (58:08)
9 - Proving programs correct (Contd.) (54:08)
10 - Sets (55:12)
11 - Induction (53:19)
12 - Set Operations On Strings (58:21)
13 - Relations (57:57)
14 - Graphs (55:36)
15 - Graphs (Continued) (55:46)
16 - Trees (57:22)
17 - Trees And Graphs (56:44)
18 - Special Properties Of Relations (57:04)
19 - Closure Of Relations (56:50)
20 - Closure Properties Of Relations (57:00)
21 - Order Relations (55:52)
22 - Order Relations And Equivalence Relations (57:12)
23 - Equivalence Relations And Partitions (56:19)
24 - Functions (55:01)
25 - Functions (Continued) (56:08)
26 - Functions (Continued) (57:49)
27 - Pigeonhole Principle (56:58)
28 - Permutations And Combinations (57:17)
29 - Permutations And Combinations (Continued) (59:51)
30 - Generating Functions (58:13)
31 - Generating Functions (Continued) (56:18)
32 - Recurrence Relations (57:20)
33 - Recurrence Relations (Continued) (55:57)
34 - Recurrence Relations (Continued) (54:18)
35 - Algebras (57:07)
36 - Algebras (Continued) (57:26)
37 - Algebras (Continued) (55:41)
38 - Finite State Automaton (57:17)
39 - Finite State Automaton (Continued) (56:44)
40 - Lattices (57:03)

Important: Please enable javascript in your browser and download Adobe Flash player to view this site
Site Maintained by Web Studio, IIT Madras. Contact Webmaster: nptel@iitm.ac.in