'Horn-SAT and Resolution' Video Lecture

Horn-SAT and Resolution

  • Course: Mathematical Logic
  • Discipline: Mathematics
  • Faculty: Prof. Arindama Singh
  • Institute: IIT Madras

    • Horn-SAT and Resolution - Click on the Video Link shown below to play the video on Youtube. Browse through Mathematical Logic (Mathematics) Video Lectures by Prof. Arindama Singh from IIT Madras through NPTEL.

    NEXT LECTURE >> Resolution
    Download this video in MP4, FLV & 3GP formats
    Format  Size  Download
    MP4 455 MB MP4 Video Download Link 1
    MP4 455 MB MP4 Video Download Link 2
    FLV 123 MB FLV Video Download Link 1
    FLV 123 MB FLV Video Download Link 2
    3gp 60 MB 3gp Video Download Link 1
    3gp 60 MB 3gp Video Download Link 2
    Search Courses
    Course Video Lectures Sets and Strings Syntax of Propositional Logic Unique Parsing Semantics of PL Consequences and Equivalences Five results about PL Calculations and Informal Proofs More Informal Proofs Normal forms SAT and 3SAT Horn-SAT and Resolution Resolution Adequacy of Resolution Adequacy and Resolution Strategies Propositional Calculus (PC) Some Results about PC Arguing with Proofs Adequacy of PC Compactness & Analytic Tableau Examples of Tableau Proofs Adequacy of Tableaux Syntax of First order Logic (FL) Symbolization & Scope of Quantifiers Hurdles in giving Meaning Semantics of FL Relevance Lemma Validity, Satisfiability & Equivalence Six Results about FL Laws in FL Quantifier Laws and Consequences Examples of Informal Proofs and Calculation Prenex Form Conversion Skolem Form Syntatic Interpretation Herbrand's Theorem Most General Unifiers Resolution Rules Resolution Examples Axiomatic System FC FC, Semidecidability of FL, and Tableau Analytic Tableau for FL Goedel's Incompleteness Theorems
    2015. EngineeringVideoLectures.com