# Logic for CS

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

## Lectures

1. [Introduction](https://invisiblenetwork.ai/learn/nptel/106102013/c85e3b453c78) (Video)
2. [Propositional Logic Syntax](https://invisiblenetwork.ai/learn/nptel/106102013/5119f7cb9291) (Video)
3. [Semantics of Propositional Logic](https://invisiblenetwork.ai/learn/nptel/106102013/2086da15aeca) (Video)
4. [Logical and Algebraic Concepts](https://invisiblenetwork.ai/learn/nptel/106102013/c2437fde17f5) (Video)
5. [Identities and Normal forms](https://invisiblenetwork.ai/learn/nptel/106102013/2f19b988a1ea) (Video)
6. [Tautology Checking](https://invisiblenetwork.ai/learn/nptel/106102013/c5359bae73f9) (Video)
7. [Propositional Unsatisfiability](https://invisiblenetwork.ai/learn/nptel/106102013/91512971b277) (Video)
8. [Analytic Tableaux](https://invisiblenetwork.ai/learn/nptel/106102013/95384f5a2cac) (Video)
9. [Consistency and Completeness](https://invisiblenetwork.ai/learn/nptel/106102013/47245af1e6fe) (Video)
10. [The Completeness Theorem](https://invisiblenetwork.ai/learn/nptel/106102013/7cb84f5e16c3) (Video)
11. [Maximally Consistent Sets](https://invisiblenetwork.ai/learn/nptel/106102013/6e51d0fcf83d) (Video)
12. [Formal Theories](https://invisiblenetwork.ai/learn/nptel/106102013/d8a6ba6be704) (Video)
13. [Proof Theory : Hilbert-style](https://invisiblenetwork.ai/learn/nptel/106102013/b0dec29700bf) (Video)
14. [Derived Rules](https://invisiblenetwork.ai/learn/nptel/106102013/fa270631ea24) (Video)
15. [The Hilbert System : Soundness](https://invisiblenetwork.ai/learn/nptel/106102013/74de62362442) (Video)
16. [The Hilbert System :Completeness](https://invisiblenetwork.ai/learn/nptel/106102013/dd40e77743f9) (Video)
17. [Introduction to Predicate Logic](https://invisiblenetwork.ai/learn/nptel/106102013/eacadaab3358) (Video)
18. [The Semantic of Predicate Logic](https://invisiblenetwork.ai/learn/nptel/106102013/e886122ff44e) (Video)
19. [Subsitutions](https://invisiblenetwork.ai/learn/nptel/106102013/4fc2746c8dba) (Video)
20. [Models](https://invisiblenetwork.ai/learn/nptel/106102013/530039e9ccb7) (Video)
21. [Structures and Substructures](https://invisiblenetwork.ai/learn/nptel/106102013/ef206bb706a6) (Video)
22. [First - Order Theories](https://invisiblenetwork.ai/learn/nptel/106102013/111b3437db30) (Video)
23. [Predicate Logic: Proof Theory (Contd..)](https://invisiblenetwork.ai/learn/nptel/106102013/ee99d4d28fee) (Video)
24. [Existential Quantification](https://invisiblenetwork.ai/learn/nptel/106102013/78c6c074c79f) (Video)
25. [Normal Forms](https://invisiblenetwork.ai/learn/nptel/106102013/bcbf9ec1ef40) (Video)
26. [Skalemization](https://invisiblenetwork.ai/learn/nptel/106102013/6fe56813a675) (Video)
27. [Substitutions and Instantiations](https://invisiblenetwork.ai/learn/nptel/106102013/82bc51a7d334) (Video)
28. [Unification](https://invisiblenetwork.ai/learn/nptel/106102013/e30f12b3ecd9) (Video)
29. [Resolution in FOL](https://invisiblenetwork.ai/learn/nptel/106102013/b3fd8daf0679) (Video)
30. [More on Resolution in FOL](https://invisiblenetwork.ai/learn/nptel/106102013/e77ed1d1cd2b) (Video)
31. [Resolution : Soundness and Completeness](https://invisiblenetwork.ai/learn/nptel/106102013/f4c1a7ee6057) (Video)
32. [Resolution and Tableaux](https://invisiblenetwork.ai/learn/nptel/106102013/0be53bcd5460) (Video)
33. [Completeness of Tableaux Method](https://invisiblenetwork.ai/learn/nptel/106102013/c338f04126b3) (Video)
34. [Completeness of the Hilbert System](https://invisiblenetwork.ai/learn/nptel/106102013/cbb6665897ae) (Video)
35. [First -Order Theories](https://invisiblenetwork.ai/learn/nptel/106102013/0929821ee1bb) (Video)
36. [Towards Logic Programming](https://invisiblenetwork.ai/learn/nptel/106102013/bf5d3d47291d) (Video)
37. [Verification of Imperative Programs](https://invisiblenetwork.ai/learn/nptel/106102013/e113d363f787) (Video)
38. [Verification of WHILE Programs](https://invisiblenetwork.ai/learn/nptel/106102013/c47a22a05c4f) (Video)
39. [References](https://invisiblenetwork.ai/learn/nptel/106102013/a7d462b2728b) (Video)