Back To The Course Mod-01 Lec-01 Sets and Strings Free Video Tutorials and Notes Lectures Mod-01 Lec-02 Lecture-02-Syntax of Propositional Logic Free Video Tutorials and Notes Lectures Mod-01 Lec-03 Lecture-03-Unique Parsing Free Video Tutorials and Notes Lectures Mod-01 Lec-04 Lecture-04-Semantics of PL Free Video Tutorials and Notes Lectures Mod-01 Lec-05 Lecture-05-Consequences and Equivalences Free Video Tutorials and Notes Lectures Mod-01 Lec-06 Five results about PL Free Video Tutorials and Notes Lectures Mod-01 Lec-07 Lecture-07-Calculations and Informal Proofs Free Video Tutorials and Notes Lectures Mod-01 Lec-08 Lecture-08-More Informal Proofs Free Video Tutorials and Notes Lectures Mod-01 Lec-09 Lecture-09-Normal forms Free Video Tutorials and Notes Lectures Mod-01 Lec-10 Lecture-10-SAT and 3SAT Free Video Tutorials and Notes Lectures Mod-01 Lec-11 Lecyture-11-Horn-SAT and Resolution Free Video Tutorials and Notes Lectures Mod-01 Lec-12 Lecture-12-Resolution Free Video Tutorials and Notes Lectures Mod-01 Lec-13 Lecture-13-Adequacy of Resolution Free Video Tutorials and Notes Lectures Mod-01 Lec-14 Lecture-14-Adequacy and Resolution Strategies Free Video Tutorials and Notes Lectures Mod-01 Lec-15 Lecture-15-Propositional Calculus (PC) Free Video Tutorials and Notes Lectures Mod-01 Lec-16 Lecture-16-Some Results about PC Free Video Tutorials and Notes Lectures Mod-01 Lec-17 Lecture-17-Arguing with Proofs Free Video Tutorials and Notes Lectures Mod-01 Lec-18 Lecture-18-Adequacy of PC Free Video Tutorials and Notes Lectures Mod-01 Lec-19 Lecture-19-Compactness & Analytic Tableau Free Video Tutorials and Notes Lectures Mod-01 Lec-20 Lecture-20-Examples of Tableau Proofs Free Video Tutorials and Notes Lectures Mod-01 Lec-21 Lecture-21-Adequacy of Tableaux Free Video Tutorials and Notes Lectures Mod-01 Lec-22 Lecture-22-Syntax of First order Logic (FL) Free Video Tutorials and Notes Lectures Mod-01 Lec-23 Lecture-23-Symbolization & Scope of Quantifiers Free Video Tutorials and Notes Lectures Mod-01 Lec-24 Lecture-24-Hurdles in giving Meaning Free Video Tutorials and Notes Lectures Mod-01 Lec-25 Lecture-25-Semantics of FL Free Video Tutorials and Notes Lectures Mathematics - Mathematical Logic Free Video Tutorials and Notes LecturesMod-01 Lec-13 Lecture-13-Adequacy of Resolution Free Video Tutorials and Notes LecturesMathematical Logic by Prof.Arindama Singh, Department of Mathematics ,IIT Madras. For more details on NPTEL visit http://nptel.iitm.ac.in