'Herbrand's Theorem' Video Lecture

Herbrand's Theorem

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

    • NEXT LECTURE >> Most General Unifiers
    Download this video in MP4, FLV & 3GP formats
    Format  Size  Download
    MP4 366 MB MP4 Video Download Link 1
    FLV 101 MB FLV Video Download Link 1
    3gp 49 MB 3gp Video Download Link 1
    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