Learn · NPTEL

Course10610201339 lectures

Logic for CS

Prof. S. Arun Kumar · IIT Delhi

Start with lecture 1 At NPTEL

Lectures

Module 1

  1. Introduction Video
  2. Propositional Logic Syntax Video
  3. Semantics of Propositional Logic Video
  4. Logical and Algebraic Concepts Video
  5. Identities and Normal forms Video
  6. Tautology Checking Video
  7. Propositional Unsatisfiability Video
  8. Analytic Tableaux Video
  9. Consistency and Completeness Video
  10. The Completeness Theorem Video
  11. Maximally Consistent Sets Video
  12. Formal Theories Video
  13. Proof Theory : Hilbert-style Video
  14. Derived Rules Video
  15. The Hilbert System : Soundness Video
  16. The Hilbert System :Completeness Video
  17. Introduction to Predicate Logic Video
  18. The Semantic of Predicate Logic Video
  19. Subsitutions Video
  20. Models Video
  21. Structures and Substructures Video
  22. First - Order Theories Video
  23. Predicate Logic: Proof Theory (Contd..) Video
  24. Existential Quantification Video
  25. Normal Forms Video
  26. Skalemization Video
  27. Substitutions and Instantiations Video
  28. Unification Video
  29. Resolution in FOL Video
  30. More on Resolution in FOL Video
  31. Resolution : Soundness and Completeness Video
  32. Resolution and Tableaux Video
  33. Completeness of Tableaux Method Video
  34. Completeness of the Hilbert System Video
  35. First -Order Theories Video
  36. Towards Logic Programming Video
  37. Verification of Imperative Programs Video
  38. Verification of WHILE Programs Video
  39. References Video

Syllabus and materials

At NPTEL, as the course publishes them.

Credits and licence

Institution
IIT Delhi
Department
Computer Science and Engineering
Teacher
Prof. S. Arun Kumar
Level
Undergraduate
Language
English
Subjects
Computer science, Engineering
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