Logic for CS by S. Arun Kumar (IIT Delhi)

# click the upper-left icon to select videos from the playlist

source: nptelhrd    2012年9月3日
Computer - Logic for CS by Dr. S. Arun Kumar, Department of Computer Science and Engineering, IIT Delhi. For more details on NPTEL visit http://nptel.iitm.ac.in

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