Mod-01 Lec-01 Introduction
Duration 0h 51m
Mod-01 Lec-02 Propositional Logic Syntax
Duration 0h 41m
Mod-01 Lec-03 Semantics of Propositional Logic
Duration 0h 38m
Mod-01 Lec-04 Logical and Algebraic Concepts
Duration 0h 49m
Mod-01 Lec-05 Identities and Normal forms
Mod-01 Lec-06 Tautology Checking
Duration 0h 50m
Mod-01 Lec-07 Propositional Unsatisfiability
Duration 0h 54m
Mod-01 Lec-08 Analytic Tableaux
Duration 0h 42m
Mod-01 Lec-09 Consistency and Completeness
Duration 0h 55m
Mod-01 Lec-10 The Completeness Theorem
Duration 0h 53m
Mod-01 Lec-11 Maximally Consistent Sets
Duration 0h 52m
Mod-01 Lec-12 Formal Theories
Duration 0h 57m
Mod-01 Lec-13 Proof Theory -Hilbert-style
Mod-01 Lec-14 Derived Rules
Mod-01 Lec-15 The Hilbert System -Soundness
Mod-01 Lec-16 The Hilbert System -Completeness
Duration 0h 33m
Mod-01 Lec-17 Introduction to Predicate Logic
Mod-01 Lec-18 The Semantic of Predicate Logic
Mod-01 Lec-19 Subsitutions
Duration 0h 47m
Mod-01 Lec-20 Models
Mod-01 Lec-21 Structures and Substructures
Duration 0h 44m
Mod-01 Lec-22 First - Order Theories
Duration 0h 56m
Mod-01 Lec-23 Predicate Logic- Proof Theory -Contd..
Mod-01 Lec-24 Existential Quantification
Duration 0h 58m
Mod-01 Lec-25 Normal Forms
Mod-01 Lec-26 Skalemization
Duration 1h 1m
Mod-01 Lec-27 Substitutions and Instantiations
Mod-01 Lec-28 Unification
Mod-01 Lec-29 Resolution in FOL
Duration 0h 59m
Mod-01 Lec-30 More on Resolution in FOL
Mod-01 Lec-31 Resolution - Soundness and Completeness
Mod-01 Lec-32 Resolution and Tableaux
Mod-01 Lec-33 Completeness of Tableaux Method
Mod-01 Lec-34 Completeness of the Hilbert System
Mod-01 Lec-35 First -Order Theories
Mod-01 Lec-36 Towards Logic Programming
Mod-01 Lec-37 Verification of Imperative Programs
Mod-01 Lec-38 Verification of WHILE Programs