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 Computer-Science Video Lecture Course Page
Mod-01 Lec-01 Introduction Computer Science 50 min Click to view videos
Mod-01 Lec-02 Propositional Logic Syntax Computer Science 40 min Click to view videos
Mod-01 Lec-03 Semantics of Propositional Logic Computer Science 38 min Click to view videos
Mod-01 Lec-04 Logical and Algebraic Concepts Computer Science 49 min Click to view videos
Mod-01 Lec-05 Identities and Normal forms Computer Science 50 min Click to view videos
Mod-01 Lec-06 Tautology Checking Computer Science 50 min Click to view videos
Mod-01 Lec-07 Propositional Unsatisfiability Computer Science 53 min Click to view videos
Mod-01 Lec-08 Analytic Tableaux Computer Science 41 min Click to view videos
Mod-01 Lec-09 Consistency and Completeness Computer Science 54 min Click to view videos
Mod-01 Lec-10 The Completeness Theorem Computer Science 53 min Click to view videos
Mod-01 Lec-11 Maximally Consistent Sets Computer Science 51 min Click to view videos
Mod-01 Lec-12 Formal Theories Computer Science 57 min Click to view videos
Mod-01 Lec-13 Proof Theory : Hilbert-style Computer Science 57 min Click to view videos
Mod-01 Lec-14 Derived Rules Computer Science 54 min Click to view videos
Mod-01 Lec-15 The Hilbert System : Soundness Computer Science 50 min Click to view videos
Mod-01 Lec-16 The Hilbert System :Completeness Computer Science 32 min Click to view videos
Mod-01 Lec-17 Introduction to Predicate Logic Computer Science 52 min Click to view videos
Mod-01 Lec-18 The Semantic of Predicate Logic Computer Science 51 min Click to view videos
Mod-01 Lec-19 Subsitutions Computer Science 47 min Click to view videos
Mod-01 Lec-20 Models Computer Science 53 min Click to view videos
Mod-01 Lec-21 Structures and Substructures Computer Science 44 min Click to view videos
Mod-01 Lec-22 First - Order Theories Computer Science 56 min Click to view videos
Mod-01 Lec-23 Predicate Logic: Proof Theory (Contd..) Computer Science 52 min Click to view videos
Mod-01 Lec-24 Existential Quantification Computer Science 58 min Click to view videos
Mod-01 Lec-25 Normal Forms Computer Science 46 min Click to view videos
Mod-01 Lec-26 Skalemization Computer Science 60 min Click to view videos
Mod-01 Lec-27 Substitutions and Instantiations Computer Science 49 min Click to view videos
Mod-01 Lec-28 Unification Computer Science 50 min Click to view videos
Mod-01 Lec-29 Resolution in FOL Computer Science 58 min Click to view videos
Mod-01 Lec-30 More on Resolution in FOL Computer Science 47 min Click to view videos
Mod-01 Lec-31 Resolution : Soundness and Completeness Computer Science 50 min Click to view videos
Mod-01 Lec-32 Resolution and Tableaux Computer Science 54 min Click to view videos
Mod-01 Lec-33 Completeness of Tableaux Method Computer Science 38 min Click to view videos
Mod-01 Lec-34 Completeness of the Hilbert System Computer Science 51 min Click to view videos
Mod-01 Lec-35 First -Order Theories Computer Science 59 min Click to view videos
Mod-01 Lec-36 Towards Logic Programming Computer Science 59 min Click to view videos
Mod-01 Lec-37 Verification of Imperative Programs Computer Science 55 min Click to view videos
Mod-01 Lec-38 Verification of WHILE Programs Computer Science 55 min Click to view videos
Mod-01 Lec-39 References Computer Science 53 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