Learn · NPTEL

Course11110605242 lectures

Mathematical Logic

Prof. Arindama Singh · IIT Madras

Start with lecture 1 At NPTEL

Lectures

Mathematical Logic

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

Syllabus and materials

At NPTEL, as the course publishes them.

Credits and licence

Institution
IIT Madras
Department
Mathematics
Teacher
Prof. Arindama Singh
Level
Undergraduate
Language
English
Subjects
Mathematics
Source
NPTEL
Licence
CC BY-NC-SA, as NPTEL states it. Non-commercial use only. NPTEL's terms
Attribution
NPTEL states: "Distributed under Creative Commons Attribution-ShareAlike / CC BY - NC - SA", beside a BY-NC-SA badge.
Who can watch
NPTEL gives no rating. Invisible Network shows it to Tweens profiles and older, judged from what the source says about it. How courses are placed