Course Description:

This video Lectures is on Discrete Mathematical Structures by Prof. Kamala Krithivasan, Department of Computer Science and Engineering, IIT Madras.- Propositional Logic, Predicates & Quantifiers, Logical Inference, Resolution Principles & Application to PROLOG, Methods of Proof, Normal Forms, Proving programs correct, Sets, Induction, Set Operations on Strings Over an Alphabet, Relations, Graphs, Trees, Trees and Graphs, Special Properties of Relations, Closure of Relations, Order Relations, Order and Relations and Equivalence Relations, Equivalence relations and partitions, Functions, Pigeonhole Principle, Permutations and combinations, Generating Functions, Recurrence Relations, Algebras, Finite State Automaton, Lattices.

This video Lectures is on Discrete Mathematical Structures by Prof. Kamala Krithivasan, Department of Computer Science and Engineering, IIT Madras.- Propositional Logic, Predicates & Quantifiers, Logical Inference, Resolution Principles & Application to PROLOG, Methods of Proof, Normal Forms, Proving programs correct, Sets, Induction, Set Operations on Strings Over an Alphabet, Relations, Graphs, Trees, Trees and Graphs, Special Properties of Relations, Closure of Relations, Order Relations, Order and Relations and Equivalence Relations, Equivalence relations and partitions, Functions, Pigeonhole Principle, Permutations and combinations, Generating Functions, Recurrence Relations, Algebras, Finite State Automaton, Lattices.

google knows it :-D

ReplyDelete