Resolution Principles & Application to PROLOG Video Lecture, IIT Madras

Home »Mathematics »IIT Madras » Discrete Structures



Discrete Structures

Lecture 6: Resolution Principles & Application to PROLOG

Embed
Download:   MP4, FLV and 3GP 3298 views

SEE: Guide to Download NPTEL Video Lecture

Lecture Details :

Discrete Maths-Resolution Principles & Application-PROLOG

Course Description :

Propositional Logic, Predicates and Quantifiers, Logical Inference, Normal Forms, Sets, Relations, Graphs, Trees, Closure of Relations, Functions, Permutations and Combination, Recurrence Relations, Algebras, Finite State Automaton and Lattices.

Other Resources :

Syllabus | Citation |

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

Other Mathematics Courses

» check out the complete list of Mathematics Video lectures          

 

Get Your Degree!

Find schools and get information on the program that’s right for you.

Powered by Campus Explorer

Comments

Post your Comments