BACK TO SIRC HOME                       

  DISCRETE MATHEMATICAL STRUCTURES

SR.NO Course Type Coordinators Institute
1 Propositional Logic Video
2 Propositional Logic (Contd.) Video
3 Predicates & Quantifiers Video
4 Predicates & Quantifiers (Contd.) Video
5 Logical Inference Video
6 Resolution Principles & Application to PROLOG Video
7 Methods of Proof Video
8 Normal Forms Video
9 Proving programs correct (Contd.) Video
10  Sets Video
11 Induction Video
12 Set Operations On Strings Video
13 Relations Video
14 Graphs Video
15 Graphs (Continued) Video
16 Trees Video
17 Trees And Graphs Video
18 Special Properties Of Relations Video
19 Closure Of Relations Video
20 Closure Properties Of Relations Video
21 Order Relations Video
22 Order Relations And Equivalence Relations Video
23 Equivalence Relations And Partitions Video
24 Functions Video
25 Functions (Continued) Video
26 Functions (Continued) Video
27 Pigeionhole Principle Video
28 Permutations And Combinations Video
29 Permutations And Combinations (Continued) Video
30 Generating Functions Video
31 Generating Functions (Continued) Video
32 Recurrence Relations Video
33 Recurrence Relations (Continued) Video
34 Recurrence Relations (Continued) Video
35 Algebras Video
36 Algebras (Continued) Video
37 Algebras (Continued) Video
38 Finite State Automaton Video
39 Finite State Automaton (Continued)
40 Lattices