'First - Order Theories' Video Lecture

First - Order Theories

  • Course: Logic for CS
  • Discipline: Computer Science and Engineering
  • Faculty: Prof. S. Arun Kumar
  • Institute: IIT Delhi

    • NEXT LECTURE >> Predicate Logic: Proof Theory (Contd..)
    Download this video in MP4, FLV & 3GP formats
    Format  Size  Download
    FLV 122 MB FLV Video Download Link 1
    FLV 122 MB FLV Video Download Link 2
    3gp 62 MB 3gp Video Download Link 1
    3gp 62 MB 3gp Video Download Link 2
    Search Courses
    Course Video Lectures Introduction Propositional Logic Syntax Semantics of Propositional Logic Logical and Algebraic Concepts Identities and Normal forms Tautology Checking Propositional Unsatisfiability Analytic Tableaux Consistency and Completeness The Completeness Theorem Maximally Consistent Sets Formal Theories Proof Theory : Hilbert-style Derived Rules The Hilbert System : Soundness The Hilbert System :Completeness Introduction to Predicate Logic The Semantic of Predicate Logic Subsitutions Models Structures and Substructures First - Order Theories Predicate Logic: Proof Theory (Contd..) Existential Quantification Normal Forms Skalemization Substitutions and Instantiations Unification Resolution in FOL More on Resolution in FOL Resolution : Soundness and Completeness Resolution and Tableaux Completeness of Tableaux Method Completeness of the Hilbert System First -Order Theories Towards Logic Programming Verification of Imperative Programs Verification of WHILE Programs References
    2015. EngineeringVideoLectures.com