| 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 |
Posts
0 comments:
Post a Comment