'Resolution Principles & Application to PROLOG' Video Lecture

Resolution Principles & Application to PROLOG

  • Course: Discrete Mathematical Structures
  • Discipline: Computer Science and Engineering
  • Faculty: Prof. Kamala Krithivasan
  • Institute: IIT Madras

    • Resolution Principles & Application to PROLOG - Click on the Video Link shown below to play the video on Youtube. Browse through Discrete Mathematical Structures (Computer Science and Engineering) Video Lectures by Prof. Kamala Krithivasan from IIT Madras through NPTEL.

    NEXT LECTURE >> Methods of Proof
    Download this video in MP4, FLV & 3GP formats
    Format  Size  Download
    MP4 247 MB MP4 Video Download Link 1
    MP4 247 MB MP4 Video Download Link 2
    FLV 199 MB FLV Video Download Link 1
    FLV 199 MB FLV Video Download Link 2
    3gp 59 MB 3gp Video Download Link 1
    3gp 59 MB 3gp Video Download Link 2
    Search Courses
    Course Video Lectures Propositional Logic Propositional Logic (Contd.) Predicates & Quantifiers Predicates & Quantifiers (Contd.) Logical Inference Resolution Principles & Application to PROLOG Methods of Proof Normal Forms Proving programs correct (Contd.) Sets Induction Set Operations On Strings Relations Graphs Graphs (Continued) Trees Trees And Graphs Special Properties Of Relations Closure Of Relations Closure Properties Of Relations Order Relations Order Relations And Equivalence Relations Equivalence Relations And Partitions Functions Functions (Continued) Functions (Continued) Pigeonhole Principle Permutations And Combinations Permutations And Combinations (Continued) Generating Functions Generating Functions (Continued) Recurrence Relations Recurrence Relations (Continued) Recurrence Relations (Continued) Algebras Algebras (Continued) Algebras (Continued) Finite State Automaton Finite State Automaton (Continued) Lattices
    2015. EngineeringVideoLectures.com