Discrete Structures

IIT Madras Course , Prof. Kamala Krithivasan

Lecture 6: Resolution Principles & Application to PROLOG

Download:    MP4,FLV & 3GP
 
Lecture Details :

Discrete Maths-Resolution Principles & Application-PROLOG

Course Description :

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

Other Resources

IITMadras delivers the above video lessons under NPTEL program, there are more than 6000+ nptel video lectures by other IIT's as well.

COURSE Reviews

5 Stars 74
4 Stars 22
3 Stars 12
2 Stars 12
1 Stars 26
3.7 Overall Ratings
Top