Discrete Mathematical Structures by Kamala Krithivasan (IIT Madras)

# click the upper-left icon to select videos from the playlist

source: nptelhrd     2007年12月4日
Computer Sc - Discrete Mathematical Structures by Prof. Kamala Krithivasan,
Department of Computer Science and Engineering, IIT Madras

Lecture 1 - Propositional Logic 56:48
Lecture 2 - Propositional Logic (Contd.) 57:36
Lecture 3 - Predicates & Quantifiers 57:55
Lecture 4 - Predicates & Quantifiers (Contd.) 59:25
Lecture 5 -Logical Inference 59:16
Lecture 6 -Resolution Principles & Application to PROLOG 54:30
Lecture 7 - Methods of Proof 54:58
Lecture 8 - Normal Forms 58:09
Lecture 9 - Proving programs correct 54:09
Lecture 10 - Sets 55:13
Lecture 11 - Induction 53:20
Lecture 12 - Set Operations on Strings Over an Alphabet 58:22
Lecture 13 - Relations 57:58
Lecture 14- Graphs 55:37
Lecture 15 - Graphs (Contd.) 55:47
Lecture 16 - Trees 57:23
Lecture 17 - Trees and Graphs 56:46
Lecture 18 - Special Properties of Relations 57:04
Lecture -19 - Closure of Relations 56:51
Lecture 20 - Closure of Relations (Contd.) 57:01
Lecture 21 - Order Relations 55:53
Lecture 22 - Order and Relations and Equivalence Relations 57:13
Lecture 23 - Equivalence relations and partitions 56:20
Lecture 24 - Functions  55:02
Lecture 25 - Functions (Contd.) 56:09
Lectures 26 - Functions (Contd.) 57:50
Lecture 27-Pigeonhole Principle 56:59
Lecture 28 - Permutations and combinations 57:18
Lecture 29 - Permutations and Combinations(Contd...) 59:52
Lecture 30 - Generating Functions  58:13
Lecture 31- Generating Functions 56:19
Lecture 32 - Recurrence Relations 57:21
Lecture 33 - Recurrence Relations 55:58
Lecture 34-Recurrence Relations(contd..) 54:19
Lecture 35-Algebras 57:08
Lecture 36-Algebras(contd...) 57:27
Lecture 37-Algebras(contd...) 55:42
Lecture 38-Finite State Automaton 57:18
Lecture 39-Finite State Automaton(contd....) 56:45
Lecture 40-Lattices 57:04