Video Lectures, Video Courses, Science Animations, Lecture Notes, Online Test, Lecture Presentations. Absolutely FREE.

video courses
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

Bookmark with Delicious Bookmark with Digg Bookmark with Facebook Bookmark with Google Bookmark with StumbleUpon Bookmark with Technorati Bookmark with Linkedin Bookmark with Reddit LearnersTV on Twitter