+ Add to collection

CURATOR

EXTRAS

  • Lifetime access. No limits!
  • Mobile accessibility
  • Add to wishlist

Computer - Logic for CS

+ Add to collection

Logic for CS by Dr. S. Arun Kumar, Department of Computer Science and Engineering, IIT Delhi. For more details on NPTEL visit http://nptel.iitm.ac.in

Self-Study Content
  1. Mod-01 Lec-01 Introduction

    Logic for CS by Dr. S. Arun Kumar, Department of Computer Science and Engineering, IIT Delhi. For mo

  2. Mod-01 Lec-02 Propositional Logic Syntax

    Logic for CS by Dr. S. Arun Kumar, Department of Computer Science and Engineering, IIT Delhi. For mo

  3. Mod-01 Lec-03 Semantics of Propositional Logic

    Logic for CS by Dr. S. Arun Kumar, Department of Computer Science and Engineering, IIT Delhi. For mo

  4. Mod-01 Lec-04 Logical and Algebraic Concepts

    Logic for CS by Dr. S. Arun Kumar, Department of Computer Science and Engineering, IIT Delhi. For mo

  5. Mod-01 Lec-05 Identities and Normal forms

    Logic for CS by Dr. S. Arun Kumar, Department of Computer Science and Engineering, IIT Delhi. For mo

  6. Mod-01 Lec-06 Tautology Checking

    Logic for CS by Dr. S. Arun Kumar, Department of Computer Science and Engineering, IIT Delhi. For mo

  7. Mod-01 Lec-07 Propositional Unsatisfiability

    Logic for CS by Dr. S. Arun Kumar, Department of Computer Science and Engineering, IIT Delhi. For mo

  8. Mod-01 Lec-08 Analytic Tableaux

    Logic for CS by Dr. S. Arun Kumar, Department of Computer Science and Engineering, IIT Delhi. For mo

  9. Mod-01 Lec-09 Consistency and Completeness

    Logic for CS by Dr. S. Arun Kumar, Department of Computer Science and Engineering, IIT Delhi. For mo

  10. Mod-01 Lec-10 The Completeness Theorem

    Logic for CS by Dr. S. Arun Kumar, Department of Computer Science and Engineering, IIT Delhi. For mo

  11. Mod-01 Lec-11 Maximally Consistent Sets

    Logic for CS by Dr. S. Arun Kumar, Department of Computer Science and Engineering, IIT Delhi. For mo

  12. Mod-01 Lec-12 Formal Theories

    Logic for CS by Dr. S. Arun Kumar, Department of Computer Science and Engineering, IIT Delhi. For mo

  13. Mod-01 Lec-13 Proof Theory : Hilbert-style

    Logic for CS by Dr. S. Arun Kumar, Department of Computer Science and Engineering, IIT Delhi. For mo

  14. Mod-01 Lec-14 Derived Rules

    Logic for CS by Dr. S. Arun Kumar, Department of Computer Science and Engineering, IIT Delhi. For mo

  15. Mod-01 Lec-15 The Hilbert System : Soundness

    Logic for CS by Dr. S. Arun Kumar, Department of Computer Science and Engineering, IIT Delhi. For mo

  16. Mod-01 Lec-16 The Hilbert System :Completeness

    Logic for CS by Dr. S. Arun Kumar, Department of Computer Science and Engineering, IIT Delhi. For mo

  17. Mod-01 Lec-17 Introduction to Predicate Logic

    Logic for CS by Dr. S. Arun Kumar, Department of Computer Science and Engineering, IIT Delhi. For mo

  18. Mod-01 Lec-18 The Semantic of Predicate Logic

    Logic for CS by Dr. S. Arun Kumar, Department of Computer Science and Engineering, IIT Delhi. For mo

  19. Mod-01 Lec-19 Subsitutions

    Logic for CS by Dr. S. Arun Kumar, Department of Computer Science and Engineering, IIT Delhi. For mo

  20. Mod-01 Lec-20 Models

    Logic for CS by Dr. S. Arun Kumar, Department of Computer Science and Engineering, IIT Delhi. For mo

  21. Mod-01 Lec-21 Structures and Substructures

    Logic for CS by Dr. S. Arun Kumar, Department of Computer Science and Engineering, IIT Delhi. For mo

  22. Mod-01 Lec-22 First - Order Theories

    Logic for CS by Dr. S. Arun Kumar, Department of Computer Science and Engineering, IIT Delhi. For mo

  23. Mod-01 Lec-23 Predicate Logic: Proof Theory (Contd..)

    Logic for CS by Dr. S. Arun Kumar, Department of Computer Science and Engineering, IIT Delhi. For mo

  24. Mod-01 Lec-24 Existential Quantification

    Logic for CS by Dr. S. Arun Kumar, Department of Computer Science and Engineering, IIT Delhi. For mo

  25. Mod-01 Lec-25 Normal Forms

    Logic for CS by Dr. S. Arun Kumar, Department of Computer Science and Engineering, IIT Delhi. For mo

  26. Mod-01 Lec-26 Skalemization

    Logic for CS by Dr. S. Arun Kumar, Department of Computer Science and Engineering, IIT Delhi. For mo

  27. Mod-01 Lec-27 Substitutions and Instantiations

    Logic for CS by Dr. S. Arun Kumar, Department of Computer Science and Engineering, IIT Delhi. For mo

  28. Mod-01 Lec-28 Unification

    Logic for CS by Dr. S. Arun Kumar, Department of Computer Science and Engineering, IIT Delhi. For mo

  29. Mod-01 Lec-29 Resolution in FOL

    Logic for CS by Dr. S. Arun Kumar, Department of Computer Science and Engineering, IIT Delhi. For mo

  30. Mod-01 Lec-30 More on Resolution in FOL

    Logic for CS by Dr. S. Arun Kumar, Department of Computer Science and Engineering, IIT Delhi. For mo

  31. Mod-01 Lec-31 Resolution : Soundness and Completeness

    Logic for CS by Dr. S. Arun Kumar, Department of Computer Science and Engineering, IIT Delhi. For mo

  32. Mod-01 Lec-32 Resolution and Tableaux

    Logic for CS by Dr. S. Arun Kumar, Department of Computer Science and Engineering, IIT Delhi. For mo

  33. Mod-01 Lec-33 Completeness of Tableaux Method

    Logic for CS by Dr. S. Arun Kumar, Department of Computer Science and Engineering, IIT Delhi. For mo

  34. Mod-01 Lec-34 Completeness of the Hilbert System

    Logic for CS by Dr. S. Arun Kumar, Department of Computer Science and Engineering, IIT Delhi. For mo

  35. Mod-01 Lec-35 First -Order Theories

    Logic for CS by Dr. S. Arun Kumar, Department of Computer Science and Engineering, IIT Delhi. For mo

  36. Mod-01 Lec-36 Towards Logic Programming

    Logic for CS by Dr. S. Arun Kumar, Department of Computer Science and Engineering, IIT Delhi. For mo

  37. Mod-01 Lec-37 Verification of Imperative Programs

    Logic for CS by Dr. S. Arun Kumar, Department of Computer Science and Engineering, IIT Delhi. For mo

  38. Mod-01 Lec-38 Verification of WHILE Programs

    Logic for CS by Dr. S. Arun Kumar, Department of Computer Science and Engineering, IIT Delhi. For mo

  39. Mod-01 Lec-39 References

    Logic for CS by Dr. S. Arun Kumar, Department of Computer Science and Engineering, IIT Delhi. For mo

Reviews

Ask your own question. Don't worry, it's completely free!