Arindama Singh: Mathematical Logic (IIT Madras)

# playlist of the 42 videos (click the up-left corner of the video)

source: nptelhrd     2012年7月23日
Mathematics - Mathematical Logic by Prof. Arindama Singh, Department of Mathematics, IIT Madras. For more details on NPTEL visit http://nptel.iitm.ac.in

01 Sets and Strings 44:21
02-Syntax of Propositional Logic 45:55
03-Unique Parsing 52:14
04-Semantics of PL 47:05
05-Consequences and Equivalences 44:12
06 Five results about PL 40:51
07-Calculations and Informal Proofs 46:24
08-More Informal Proofs 48:25
09-Normal forms 50:42
10-SAT and 3SAT 45:32
11-Horn-SAT and Resolution 55:05
12-Resolution 47:21
13-Adequacy of Resolution 53:27
14-Adequacy and Resolution Strategies 48:34
15-Propositional Calculus (PC) 49:50
16-Some Results about PC 48:54
17-Arguing with Proofs 47:03
18-Adequacy of PC 51:06
19-Compactness & Analytic Tableau 49:44
20-Examples of Tableau Proofs 45:10
21-Adequacy of Tableaux 45:44
22-Syntax of First order Logic (FL) 47:11
23-Symbolization & Scope of Quantifiers 48:28
24-Hurdles in giving Meaning 45:34
25-Semantics of FL 50:16
26-Relevance Lemma 48:02
27-Validity, Satisfiability & Equivalence 49:12
28-Six Results about FL 48:10
29-Laws, Calculation & Informal Proof 47:23
30-Quantifier Laws and Consequences 49:30
31-More Proofs and Prenex Form 51:19
32-Prenex Form Conversion 46:39
33-Skolem Form 53:11
34-Syntatic Interpretation 50:34
35-Herbrand's Theorem 45:12
36-Most General Unifiers 50:45
37-Resolution Rules 46:19
38-Resolution Examples 49:21
39-Ariomatic System FC 46:35
40-FC and Semidecidability of FL 48:44
41-Analytic Tableau for FL 47:30
42-Godels Incompleteness Theorems 48:17