Mathematics - Mathematical Logic
-
1
Mod-01 Lec-01 Sets and Strings
by nptelhrd 6,067 views
Mathematical Logic by Prof.Arindama Singh, Department of Mathematics ,IIT Madras. For more details on NPTEL visit http://nptel.iitm.ac.in
-
2
Mod-01 Lec-02 Lecture-02-Syntax of Propositional Logic
by nptelhrd 1,241 views
Mathematical Logic by Prof.Arindama Singh, Department of Mathematics ,IIT Madras. For more details on NPTEL visit http://nptel.iitm.ac.in
-
3
Mod-01 Lec-03 Lecture-03-Unique Parsing
by nptelhrd 600 views
Mathematical Logic by Prof.Arindama Singh, Department of Mathematics ,IIT Madras. For more details on NPTEL visit http://nptel.iitm.ac.in
-
4
Mod-01 Lec-04 Lecture-04-Semantics of PL
by nptelhrd 568 views
Mathematical Logic by Prof.Arindama Singh, Department of Mathematics ,IIT Madras. For more details on NPTEL visit http://nptel.iitm.ac.in
-
5
Mod-01 Lec-05 Lecture-05-Consequences and Equivalences
by nptelhrd 378 views
Mathematical Logic by Prof.Arindama Singh, Department of Mathematics ,IIT Madras. For more details on NPTEL visit http://nptel.iitm.ac.in
-
6
Mod-01 Lec-06 Five results about PL
by nptelhrd 417 views
Mathematical Logic by Prof.Arindama Singh, Department of Mathematics ,IIT Madras. For more details on NPTEL visit http://nptel.iitm.ac.in
-
7
Mod-01 Lec-07 Lecture-07-Calculations and Informal Proofs
by nptelhrd 349 views
Mathematical Logic by Prof.Arindama Singh, Department of Mathematics ,IIT Madras. For more details on NPTEL visit http://nptel.iitm.ac.in
-
8
Mod-01 Lec-08 Lecture-08-More Informal Proofs
by nptelhrd 240 views
Mathematical Logic by Prof.Arindama Singh, Department of Mathematics ,IIT Madras. For more details on NPTEL visit http://nptel.iitm.ac.in
-
9
Mod-01 Lec-09 Lecture-09-Normal forms
by nptelhrd 436 views
Mathematical Logic by Prof.Arindama Singh, Department of Mathematics ,IIT Madras. For more details on NPTEL visit http://nptel.iitm.ac.in
-
10
Mod-01 Lec-10 Lecture-10-SAT and 3SAT
by nptelhrd 442 views
Mathematical Logic by Prof.Arindama Singh, Department of Mathematics ,IIT Madras. For more details on NPTEL visit http://nptel.iitm.ac.in
-
11
Mod-01 Lec-11 Lecyture-11-Horn-SAT and Resolution
by nptelhrd 359 views
Mathematical Logic by Prof.Arindama Singh, Department of Mathematics ,IIT Madras. For more details on NPTEL visit http://nptel.iitm.ac.in
-
12
Mod-01 Lec-12 Lecture-12-Resolution
by nptelhrd 241 views
Mathematical Logic by Prof.Arindama Singh, Department of Mathematics ,IIT Madras. For more details on NPTEL visit http://nptel.iitm.ac.in
-
13
Mod-01 Lec-13 Lecture-13-Adequacy of Resolution
by nptelhrd 198 views
Mathematical Logic by Prof.Arindama Singh, Department of Mathematics ,IIT Madras. For more details on NPTEL visit http://nptel.iitm.ac.in
-
14
Mod-01 Lec-14 Lecture-14-Adequacy and Resolution Strategies
by nptelhrd 198 views
Mathematical Logic by Prof.Arindama Singh, Department of Mathematics ,IIT Madras. For more details on NPTEL visit http://nptel.iitm.ac.in
-
15
Mod-01 Lec-15 Lecture-15-Propositional Calculus (PC)
by nptelhrd 516 views
Mathematical Logic by Prof.Arindama Singh, Department of Mathematics ,IIT Madras. For more details on NPTEL visit http://nptel.iitm.ac.in
-
16
Mod-01 Lec-16 Lecture-16-Some Results about PC
by nptelhrd 210 views
Mathematical Logic by Prof.Arindama Singh, Department of Mathematics ,IIT Madras. For more details on NPTEL visit http://nptel.iitm.ac.in
-
17
Mod-01 Lec-17 Lecture-17-Arguing with Proofs
by nptelhrd 232 views
Mathematical Logic by Prof.Arindama Singh, Department of Mathematics ,IIT Madras. For more details on NPTEL visit http://nptel.iitm.ac.in
-
18
Mod-01 Lec-18 Lecture-18-Adequacy of PC
by nptelhrd 207 views
Mathematical Logic by Prof.Arindama Singh, Department of Mathematics ,IIT Madras. For more details on NPTEL visit http://nptel.iitm.ac.in
-
19
Mod-01 Lec-19 Lecture-19-Compactness & Analytic Tableau
by nptelhrd 280 views
Mathematical Logic by Prof.Arindama Singh, Department of Mathematics ,IIT Madras. For more details on NPTEL visit http://nptel.iitm.ac.in
-
20
Mod-01 Lec-20 Lecture-20-Examples of Tableau Proofs
by nptelhrd 428 views
Mathematical Logic by Prof.Arindama Singh, Department of Mathematics ,IIT Madras. For more details on NPTEL visit http://nptel.iitm.ac.in
-
21
Mod-01 Lec-21 Lecture-21-Adequacy of Tableaux
by nptelhrd 187 views
Mathematical Logic by Prof.Arindama Singh, Department of Mathematics ,IIT Madras. For more details on NPTEL visit http://nptel.iitm.ac.in
-
22
Mod-01 Lec-22 Lecture-22-Syntax of First order Logic (FL)
by nptelhrd 786 views
Mathematical Logic by Prof.Arindama Singh, Department of Mathematics ,IIT Madras. For more details on NPTEL visit http://nptel.iitm.ac.in
-
23
Mod-01 Lec-23 Lecture-23-Symbolization & Scope of Quantifiers
by nptelhrd 240 views
Mathematical Logic by Prof.Arindama Singh, Department of Mathematics ,IIT Madras. For more details on NPTEL visit http://nptel.iitm.ac.in
-
24
Mod-01 Lec-24 Lecture-24-Hurdles in giving Meaning
by nptelhrd 208 views
Mathematical Logic by Prof.Arindama Singh, Department of Mathematics ,IIT Madras. For more details on NPTEL visit http://nptel.iitm.ac.in
-
25
Mod-01 Lec-25 Lecture-25-Semantics of FL
by nptelhrd 306 views
Mathematical Logic by Prof.Arindama Singh, Department of Mathematics ,IIT Madras. For more details on NPTEL visit http://nptel.iitm.ac.in
-
26
Mod-01 Lec-26 Lecture-26-Relevance Lemma
by nptelhrd 214 views
Mathematical Logic by Prof.Arindama Singh, Department of Mathematics ,IIT Madras. For more details on NPTEL visit http://nptel.iitm.ac.in
-
27
Mod-01 Lec-27 Lecture-27-Validity, Satisfiability & Equivalence
by nptelhrd 301 views
Mathematical Logic by Prof.Arindama Singh, Department of Mathematics ,IIT Madras. For more details on NPTEL visit http://nptel.iitm.ac.in
-
28
Mod-01 Lec-28 Lecture-28-Six Results about FL
by nptelhrd 210 views
Mathematical Logic by Prof.Arindama Singh, Department of Mathematics ,IIT Madras. For more details on NPTEL visit http://nptel.iitm.ac.in
-
29
Mod-01 Lec-29 Lecture-29-Laws, Calculation & Informal Proof
by nptelhrd 199 views
Mathematical Logic by Prof.Arindama Singh, Department of Mathematics ,IIT Madras. For more details on NPTEL visit http://nptel.iitm.ac.in
-
30
Mod-01 Lec-30 Lecture-30-Quantifier Laws and Consequences
by nptelhrd 272 views
Mathematical Logic by Prof.Arindama Singh, Department of Mathematics ,IIT Madras. For more details on NPTEL visit http://nptel.iitm.ac.in
-
31
Mod-01 Lec-31 Lecture-31-More Proofs and Prenex Form
by nptelhrd 218 views
Mathematical Logic by Prof.Arindama Singh, Department of Mathematics ,IIT Madras. For more details on NPTEL visit http://nptel.iitm.ac.in
-
32
Mod-01 Lec-32 Lecture-32-Prenex Form Conversion
by nptelhrd 349 views
Mathematical Logic by Prof.Arindama Singh, Department of Mathematics ,IIT Madras. For more details on NPTEL visit http://nptel.iitm.ac.in
-
33
Mod-01 Lec-33 Lecture-33-Skolem Form
by nptelhrd 360 views
Mathematical Logic by Prof.Arindama Singh, Department of Mathematics ,IIT Madras. For more details on NPTEL visit http://nptel.iitm.ac.in
-
34
Mod-01 Lec-34 Lecture-34-Syntatic Interpretation
by nptelhrd 209 views
Mathematical Logic by Prof.Arindama Singh, Department of Mathematics ,IIT Madras. For more details on NPTEL visit http://nptel.iitm.ac.in
-
35
Mod-01 Lec-35 Lecture-35-Herbrand's Theorem
by nptelhrd 409 views
Mathematical Logic by Prof.Arindama Singh, Department of Mathematics ,IIT Madras. For more details on NPTEL visit http://nptel.iitm.ac.in
-
36
Mod-01 Lec-36 Lecture-36-Most General Unifiers
by nptelhrd 285 views
Mathematical Logic by Prof.Arindama Singh, Department of Mathematics ,IIT Madras. For more details on NPTEL visit http://nptel.iitm.ac.in
-
37
Mod-01 Lec-37 Lecture-37-Resolution Rules
by nptelhrd 189 views
Mathematical Logic by Prof.Arindama Singh, Department of Mathematics ,IIT Madras. For more details on NPTEL visit http://nptel.iitm.ac.in
-
38
Mod-01 Lec-38 Lecture-38-Resolution Examples
by nptelhrd 195 views
Mathematical Logic by Prof.Arindama Singh, Department of Mathematics ,IIT Madras. For more details on NPTEL visit http://nptel.iitm.ac.in
-
39
Mod-01 Lec-39 Lecture-39-Ariomatic System FC
by nptelhrd 191 views
Mathematical Logic by Prof.Arindama Singh, Department of Mathematics ,IIT Madras. For more details on NPTEL visit http://nptel.iitm.ac.in
-
40
Mod-01 Lec-40 Lecture-40-FC and Semidecidability of FL
by nptelhrd 183 views
Mathematical Logic by Prof.Arindama Singh, Department of Mathematics ,IIT Madras. For more details on NPTEL visit http://nptel.iitm.ac.in
-
41
Mod-01 Lec-41 Lecture-41-Analytic Tableau for FL
by nptelhrd 226 views
Mathematical Logic by Prof.Arindama Singh, Department of Mathematics ,IIT Madras. For more details on NPTEL visit http://nptel.iitm.ac.in
-
42
Mod-01-Lec-42 Lecture-42-Godels Incompleteness Theorems
by nptelhrd 949 views
Mathematical Logic by Prof.Arindama Singh, Department of Mathematics ,IIT Madras. For more details on NPTEL visit http://nptel.iitm.ac.in