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 DeliciousBookmark with DiggBookmark with FacebookBookmark with GoogleBookmark with StumbleUponBookmark with TechnoratiBookmark with LinkedinBookmark with RedditLearnersTV on Twitter