## SEE: Guide to Download NPTEL Video Lecture

## 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 :

### 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

- Probability and Random Processes by IIT Kharagpur
- Computational Science and Engineering I by MIT
- College Algebra by University of Missouri Kansas City
- Statistics by Khan Academy
- Math 95 - Intermediate Algebra by Portland Community College
- Miscellaneous Mathematics by Other
- Advanced Engineering Mathematics by IIT Kharagpur
- Complex Analysis by IIT Guwahati
- Linear Algebra by The University of New South Wales
- Math 65 - Introductory Algebra-2nd Term by Portland Community College

### » check out the complete list of Mathematics Video lectures