Mathematical Logic Video Lectures

Mathematical Logic
'Mathematical Logic' Video Lectures by Prof. Arindama Singh from IIT Madras
"Mathematical Logic" - Video Lectures
1. Sets and Strings
2. Syntax of Propositional Logic
3. Unique Parsing
4. Semantics of PL
5. Consequences and Equivalences
6. Five results about PL
7. Calculations and Informal Proofs
8. More Informal Proofs
9. Normal forms
10. SAT and 3SAT
11. Horn-SAT and Resolution
12. Resolution
13. Adequacy of Resolution
14. Adequacy and Resolution Strategies
15. Propositional Calculus (PC)
16. Some Results about PC
17. Arguing with Proofs
18. Adequacy of PC
19. Compactness & Analytic Tableau
20. Examples of Tableau Proofs
21. Adequacy of Tableaux
22. Syntax of First order Logic (FL)
23. Symbolization & Scope of Quantifiers
24. Hurdles in giving Meaning
25. Semantics of FL
26. Relevance Lemma
27. Validity, Satisfiability & Equivalence
28. Six Results about FL
29. Laws in FL
30. Quantifier Laws and Consequences
31. Examples of Informal Proofs and Calculation
32. Prenex Form Conversion
33. Skolem Form
34. Syntatic Interpretation
35. Herbrand's Theorem
36. Most General Unifiers
37. Resolution Rules
38. Resolution Examples
39. Axiomatic System FC
40. FC, Semidecidability of FL, and Tableau
41. Analytic Tableau for FL
42. Goedel's Incompleteness Theorems
Search Courses
NPTELVideos.com