### Mod-01 Lec-39 References Video Lecture

Mod-01 Lec-39 References Video Lecture

Mod-01 Lec-39 References Video Lecture

Mod-01 Lec-38 Verification of WHILE Programs Video Lecture

Mod-01 Lec-37 Verification of Imperative Programs Video Lecture

Mod-01 Lec-36 Towards Logic Programming Video Lecture

Mod-01 Lec-35 First -Order Theories Video Lecture

Mod-01 Lec-34 Completeness of the Hilbert System Video Lecture

Mod-01 Lec-33 Completeness of Tableaux Method Video Lecture

Mod-01 Lec-32 Resolution and Tableaux Video Lecture

Mod-01 Lec-31 Resolution : Soundness and Completeness Video Lecture .https://www.youtube.com/watch?v=UBybVMdPgss

Mod-01 Lec-30 More on Resolution in FOL Video Lecture

Mod-01 Lec-29 Resolution in FOL Video Lecture

Mod-01 Lec-28 Unification Video Lecture

Mod-01 Lec-27 Substitutions and Instantiations Video Lecture

Mod-01 Lec-26 Skalemization Video Lecture

Mod-01 Lec-25 Normal Forms Video Lecture

Mod-01 Lec-24 Existential Quantification Video Lecture

Mod-01 Lec-23 Predicate Logic: Proof Theory (Contd..) Video Lecture

Mod-01 Lec-22 First – Order Theories Video Lecture

Mod-01 Lec-21 Structures and Substructures Video Lecture

Mod-01 Lec-20 Models Video Lecture

Mod-01 Lec-19 Subsitutions Video Lecture

Mod-01 Lec-18 The Semantic of Predicate Logic Video Lecture

Mod-01 Lec-17 Introduction to Predicate Logic Video Lecture

Mod-01 Lec-16 The Hilbert System :Completeness Video Lecture

Mod-01 Lec-15 The Hilbert System : Soundness Video Lecture

Mod-01 Lec-14 Derived Rules Video Lecture

Mod-01 Lec-13 Proof Theory : Hilbert-style Video Lecture

Mod-01 Lec-12 Formal Theories Video Lecture

Mod-01 Lec-11 Maximally Consistent Sets Video Lecture

Mod-01 Lec-10 The Completeness Theorem Video Lecture

Mod-01 Lec-09 Consistency and Completeness Video Lecture

Mod-01 Lec-08 Analytic Tableaux Video Lecture

Mod-01 Lec-07 Propositional Unsatisfiability Video Lecture

Mod-01 Lec-06 Tautology Checking Video Lecture

Mod-01 Lec-05 Identities and Normal forms Video Lecture

Mod-01 Lec-04 Logical and Algebraic Concepts Video Lecture

Mod-01 Lec-03 Semantics of Propositional Logic Video Lecture

Mod-01 Lec-02 Propositional Logic Syntax Video Lecture

Mod-01 Lec-01 Introduction Video Lecture