# Mathematical Logic

- Institution: IIT Madras
- Department: Mathematics
- Teacher: Prof. Arindama Singh
- Level: Undergraduate
- Language: English
- Subjects: Mathematics
- Source: [NPTEL](https://nptel.ac.in/courses/111106052)
- Licence: [CC BY-NC-SA](https://nptel.ac.in/faq) (Non-commercial use only.)
- Syllabus: [at the source](https://nptel.ac.in/courses/111106052)
- Who can watch: Tweens profiles and older (sources give no ratings; placed by Invisible Network from the source's own words)

## Lectures

1. [Sets and Strings](https://invisiblenetwork.ai/learn/nptel/111106052/92962a80d19a) (Video)
2. [Syntax of Propositional Logic](https://invisiblenetwork.ai/learn/nptel/111106052/65212a2c7dd8) (Video)
3. [Unique Parsing](https://invisiblenetwork.ai/learn/nptel/111106052/bc36e475a173) (Video)
4. [Semantics of PL](https://invisiblenetwork.ai/learn/nptel/111106052/86103dbbfb5e) (Video)
5. [Consequences and Equivalences](https://invisiblenetwork.ai/learn/nptel/111106052/e0beeee0960e) (Video)
6. [Five results about PL](https://invisiblenetwork.ai/learn/nptel/111106052/66b30b931679) (Video)
7. [Calculations and Informal Proofs](https://invisiblenetwork.ai/learn/nptel/111106052/be20f2963f03) (Video)
8. [More Informal Proofs](https://invisiblenetwork.ai/learn/nptel/111106052/f2398be646f8) (Video)
9. [Normal forms](https://invisiblenetwork.ai/learn/nptel/111106052/6d9acea98aa4) (Video)
10. [SAT and 3SAT](https://invisiblenetwork.ai/learn/nptel/111106052/8ea72f9f4ae3) (Video)
11. [Horn-SAT and Resolution](https://invisiblenetwork.ai/learn/nptel/111106052/41927053bda3) (Video)
12. [Resolution](https://invisiblenetwork.ai/learn/nptel/111106052/933c948e4130) (Video)
13. [Adequacy of Resolution](https://invisiblenetwork.ai/learn/nptel/111106052/36d8a26c23a2) (Video)
14. [Adequacy and Resolution Strategies](https://invisiblenetwork.ai/learn/nptel/111106052/9174341c08bb) (Video)
15. [Propositional Calculus (PC)](https://invisiblenetwork.ai/learn/nptel/111106052/5635456be4b9) (Video)
16. [Some Results about PC](https://invisiblenetwork.ai/learn/nptel/111106052/7452b53215bd) (Video)
17. [Arguing with Proofs](https://invisiblenetwork.ai/learn/nptel/111106052/3d54466bdb44) (Video)
18. [Adequacy of PC](https://invisiblenetwork.ai/learn/nptel/111106052/5e94d5180dab) (Video)
19. [Compactness & Analytic Tableau](https://invisiblenetwork.ai/learn/nptel/111106052/ac35a354e66a) (Video)
20. [Examples of Tableau Proofs](https://invisiblenetwork.ai/learn/nptel/111106052/2aff4539a76e) (Video)
21. [Adequacy of Tableaux](https://invisiblenetwork.ai/learn/nptel/111106052/5c7a30aacee8) (Video)
22. [Syntax of First order Logic (FL)](https://invisiblenetwork.ai/learn/nptel/111106052/69be32c8b87a) (Video)
23. [Symbolization & Scope of Quantifiers](https://invisiblenetwork.ai/learn/nptel/111106052/c92260d43dd9) (Video)
24. [Hurdles in giving Meaning](https://invisiblenetwork.ai/learn/nptel/111106052/da7e31e1c92d) (Video)
25. [Semantics of FL](https://invisiblenetwork.ai/learn/nptel/111106052/2bdb368d0744) (Video)
26. [Relevance Lemma](https://invisiblenetwork.ai/learn/nptel/111106052/bb96f71e11d2) (Video)
27. [Validity, Satisfiability & Equivalence](https://invisiblenetwork.ai/learn/nptel/111106052/82befe21ea8f) (Video)
28. [Six Results about FL](https://invisiblenetwork.ai/learn/nptel/111106052/0c79d27a07db) (Video)
29. [Laws in FL](https://invisiblenetwork.ai/learn/nptel/111106052/00f581945ecf) (Video)
30. [Quantifier Laws and Consequences](https://invisiblenetwork.ai/learn/nptel/111106052/aa5bd3262ae2) (Video)
31. [Examples of Informal Proofs and Calculation](https://invisiblenetwork.ai/learn/nptel/111106052/0c66c5dd9fb9) (Video)
32. [Prenex Form Conversion](https://invisiblenetwork.ai/learn/nptel/111106052/44743b225cca) (Video)
33. [Skolem Form](https://invisiblenetwork.ai/learn/nptel/111106052/a5d2230159af) (Video)
34. [Syntatic Interpretation](https://invisiblenetwork.ai/learn/nptel/111106052/53b7e822344c) (Video)
35. [Herbrand's Theorem](https://invisiblenetwork.ai/learn/nptel/111106052/d0f63803c68f) (Video)
36. [Most General Unifiers](https://invisiblenetwork.ai/learn/nptel/111106052/53cf2a49eb64) (Video)
37. [Resolution Rules](https://invisiblenetwork.ai/learn/nptel/111106052/1320d120f03a) (Video)
38. [Resolution Examples](https://invisiblenetwork.ai/learn/nptel/111106052/5dde784ed0a5) (Video)
39. [Axiomatic System FC](https://invisiblenetwork.ai/learn/nptel/111106052/c3a856c87129) (Video)
40. [FC, Semidecidability of FL, and Tableau](https://invisiblenetwork.ai/learn/nptel/111106052/3f3683ea6e4c) (Video)
41. [Analytic Tableau for FL](https://invisiblenetwork.ai/learn/nptel/111106052/9bcf272c91b9) (Video)
42. [Goedel's Incompleteness Theorems](https://invisiblenetwork.ai/learn/nptel/111106052/5916f173507e) (Video)