Home »Computer Science »IIT Madras » Discrete Structures



Discrete Structures

Lecture 6: Resolution Principles & Application to PROLOG

Embed
Download:   MP4, FLV and 3GP 2906 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 Computer Science Courses

» check out the complete list of Computer Science Video lectures          

 

Comments

Post your Comments