Subscribe to feed
Lights off 
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
- Digital Hardware Design by Other
- CSEP 524 Parallel Computation by University of Washington
- C# Beginners by Other
- Advanced Topics in Software Systems by University of Washington
- Computer Systems Laboratory Colloquium by Stanford
- Performance Evaluation of Computer Systems by IIT Madras
- Machine Structures,Fall 2011 by UC Berkeley
- CSE 40373 Multimedia Systems by Other
- Multimedia in Design Presentation by The University of New South Wales
- An Introduction To Parallel Programming by Other
» check out the complete list of Computer Science Video lectures
Computer Science Lecture Notes
- Software Engineering and Security by Athens University of Economics and Business
- Pixels, Numbers, and Programs by University of Washington
- CS345 Data Mining and Clustering by Stanford
- CS368: Java for C++ Programmers by University of Wisconsin
- CSE 373/548: Analysis of Algorithms by Stony Brook University
- Information Retrieval by University of Massachusetts
- CS 696 Emerging Technologies: Java Distributed Computing by UC San Diego
- CPS 140 Computer Science by Duke University
- Introduction to Java Development by N/A