Back To The Course Mod-01 Lec-01 Introduction Free Video Tutorials and Notes Lectures Mod-01 Lec-02 Propositional Logic Syntax Free Video Tutorials and Notes Lectures Mod-01 Lec-03 Semantics of Propositional Logic Free Video Tutorials and Notes Lectures Mod-01 Lec-04 Logical and Algebraic Concepts Free Video Tutorials and Notes Lectures Mod-01 Lec-05 Identities and Normal forms Free Video Tutorials and Notes Lectures Mod-01 Lec-06 Tautology Checking Free Video Tutorials and Notes Lectures Mod-01 Lec-07 Propositional Unsatisfiability Free Video Tutorials and Notes Lectures Mod-01 Lec-08 Analytic Tableaux Free Video Tutorials and Notes Lectures Mod-01 Lec-09 Consistency and Completeness Free Video Tutorials and Notes Lectures Mod-01 Lec-10 The Completeness Theorem Free Video Tutorials and Notes Lectures Mod-01 Lec-11 Maximally Consistent Sets Free Video Tutorials and Notes Lectures Mod-01 Lec-12 Formal Theories Free Video Tutorials and Notes Lectures Mod-01 Lec-13 Proof Theory : Hilbert-style Free Video Tutorials and Notes Lectures Mod-01 Lec-14 Derived Rules Free Video Tutorials and Notes Lectures Mod-01 Lec-15 The Hilbert System : Soundness Free Video Tutorials and Notes Lectures Mod-01 Lec-16 The Hilbert System :Completeness Free Video Tutorials and Notes Lectures Mod-01 Lec-17 Introduction to Predicate Logic Free Video Tutorials and Notes Lectures Mod-01 Lec-18 The Semantic of Predicate Logic Free Video Tutorials and Notes Lectures Mod-01 Lec-19 Subsitutions Free Video Tutorials and Notes Lectures Mod-01 Lec-20 Models Free Video Tutorials and Notes Lectures Mod-01 Lec-21 Structures and Substructures Free Video Tutorials and Notes Lectures Mod-01 Lec-22 First - Order Theories Free Video Tutorials and Notes Lectures Mod-01 Lec-23 Predicate Logic: Proof Theory (Contd..) Free Video Tutorials and Notes Lectures Mod-01 Lec-24 Existential Quantification Free Video Tutorials and Notes Lectures Mod-01 Lec-25 Normal Forms Free Video Tutorials and Notes Lectures Computer - Logic for CS Free Video Tutorials and Notes LecturesMod-01 Lec-24 Existential Quantification Free Video Tutorials and Notes LecturesLogic for CS by Dr. S. Arun Kumar, Department of Computer Science and Engineering, IIT Delhi. For more details on NPTEL visit http://nptel.iitm.ac.in