Mod-01 Lec-01 Sets and Strings Maths 44 min Click to view videos

Video Lecture Description Sub-Category Time Click to view video Back to Maths Video Lecture Course Page Mod-01 Lec-01 Sets and Strings Maths 44 min Click to view videos Mod-01 Lec-02 Lecture-02-Syntax of Propositional Logic Maths 46 min Click to view videos Mod-01 Lec-03 Lecture-03-Unique Parsing Maths 52 min Click to view videos Mod-01 Lec-04 Lecture-04-Semantics of PL Maths 47 min Click to view videos Mod-01 Lec-05 Lecture-05-Consequences and Equivalences Maths 44 min Click to view videos Mod-01 Lec-06 Five results about PL Maths 41 min Click to view videos Mod-01 Lec-07 Lecture-07-Calculations and Informal Proofs Maths 46 min Click to view videos Mod-01 Lec-08 Lecture-08-More Informal Proofs Maths 48 min Click to view videos Mod-01 Lec-09 Lecture-09-Normal forms Maths 51 min Click to view videos Mod-01 Lec-10 Lecture-10-SAT and 3SAT Maths 46 min Click to view videos Mod-01 Lec-11 Lecyture-11-Horn-SAT and Resolution Maths 55 min Click to view videos Mod-01 Lec-12 Lecture-12-Resolution Maths 47 min Click to view videos Mod-01 Lec-13 Lecture-13-Adequacy of Resolution Maths 53 min Click to view videos Mod-01 Lec-14 Lecture-14-Adequacy and Resolution Strategies Maths 49 min Click to view videos Mod-01 Lec-15 Lecture-15-Propositional Calculus (PC) Maths 50 min Click to view videos Mod-01 Lec-16 Lecture-16-Some Results about PC Maths 49 min Click to view videos Mod-01 Lec-17 Lecture-17-Arguing with Proofs Maths 47 min Click to view videos Mod-01 Lec-18 Lecture-18-Adequacy of PC Maths 51 min Click to view videos Mod-01 Lec-19 Lecture-19-Compactness & Analytic Tableau Maths 50 min Click to view videos Mod-01 Lec-20 Lecture-20-Examples of Tableau Proofs Maths 45 min Click to view videos Mod-01 Lec-21 Lecture-21-Adequacy of Tableaux Maths 46 min Click to view videos Mod-01 Lec-22 Lecture-22-Syntax of First order Logic (FL) Maths 47 min Click to view videos Mod-01 Lec-23 Lecture-23-Symbolization & Scope of Quantifiers Maths 48 min Click to view videos Mod-01 Lec-24 Lecture-24-Hurdles in giving Meaning Maths 46 min Click to view videos Mod-01 Lec-25 Lecture-25-Semantics of FL Maths 50 min Click to view videos Mod-01 Lec-26 Lecture-26-Relevance Lemma Maths 48 min Click to view videos Mod-01 Lec-27 Lecture-27-Validity, Satisfiability & Equivalence Maths 49 min Click to view videos Mod-01 Lec-28 Lecture-28-Six Results about FL Maths 48 min Click to view videos Mod-01 Lec-29 Lecture-29-Laws, Calculation & Informal Proof Maths 47 min Click to view videos Mod-01 Lec-30 Lecture-30-Quantifier Laws and Consequences Maths 50 min Click to view videos Mod-01 Lec-31 Lecture-31-More Proofs and Prenex Form Maths 51 min Click to view videos Mod-01 Lec-32 Lecture-32-Prenex Form Conversion Maths 47 min Click to view videos Mod-01 Lec-33 Lecture-33-Skolem Form Maths 53 min Click to view videos Mod-01 Lec-34 Lecture-34-Syntatic Interpretation Maths 51 min Click to view videos Mod-01 Lec-35 Lecture-35-Herbrands Theorem Maths 45 min Click to view videos Mod-01 Lec-36 Lecture-36-Most General Unifiers Maths 51 min Click to view videos Mod-01 Lec-37 Lecture-37-Resolution Rules Maths 46 min Click to view videos Mod-01 Lec-38 Lecture-38-Resolution Examples Maths 49 min Click to view videos Mod-01 Lec-39 Lecture-39-Ariomatic System FC Maths 47 min Click to view videos Mod-01 Lec-40 Lecture-40-FC and Semidecidability of FL Maths 49 min Click to view videos Mod-01 Lec-41 Lecture-41-Analytic Tableau for FL Maths 48 min Click to view videos Mod-01-Lec-42 Lecture-42-Godels Incompleteness Theorems Maths 48 min Click to view videos