Computer Science & Engineering :: Discrete Structures

Lecture BY:-

Prof. Kamala Krithivasan
Department of Computer Science and Engineering
IIT Madras
Email: kamala@iitm.ac.in

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 - Pigeionhole 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]