IIT Madras, , Prof. Kamala Krithivasan
Added to favorite list
Updated On 02 Feb, 19
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
4.1 ( 11 )
Discrete Mathematical Structures - Proving programs correct
Sep 12, 2018
Excellent course helped me understand topic that i couldn't while attendinfg my college.
March 29, 2019
Great course. Thank you very much.