Marvins Underground Lectures
Welcome
Login / Register


Computer Logic


  • 56:44 Mod-01 Lec-13 Proof Theory : Hilbert-style

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

    by Admin Added 49 Views / 0 Likes

    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.

  • 49:15 Mod-01 Lec-27 Substitutions And Instantiations

    Mod-01 Lec-27 Substitutions And Instantiations

    by Admin Added 51 Views / 0 Likes

    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.

  • 46:33 Mod-01 Lec-30 More On Resolution In FOL

    Mod-01 Lec-30 More On Resolution In FOL

    by Admin Added 42 Views / 0 Likes

    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.

  • 50:08 Mod-01 Lec-28 Unification

    Mod-01 Lec-28 Unification

    by Admin Added 47 Views / 0 Likes

    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.

  • 55:20 Mod-01 Lec-38 Verification Of WHILE Programs

    Mod-01 Lec-38 Verification Of WHILE Programs

    by Admin Added 59 Views / 0 Likes

    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.

  • 37:31 Mod-01 Lec-33 Completeness Of Tableaux Method

    Mod-01 Lec-33 Completeness Of Tableaux Method

    by Admin Added 48 Views / 0 Likes

    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.

  • 59:41 Mod-01 Lec-26 Skalemization

    Mod-01 Lec-26 Skalemization

    by Admin Added 44 Views / 0 Likes

    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.

  • 59:16 Mod-01 Lec-35 First -Order Theories

    Mod-01 Lec-35 First -Order Theories

    by Admin Added 48 Views / 0 Likes

    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.

  • 54:31 Mod-01 Lec-37 Verification Of Imperative Programs

    Mod-01 Lec-37 Verification Of Imperative Programs

    by Admin Added 50 Views / 0 Likes

    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.

  • 46:46 Mod-01 Lec-19 Subsitutions

    Mod-01 Lec-19 Subsitutions

    by Admin Added 42 Views / 0 Likes

    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.

  • 43:43 Mod-01 Lec-21 Structures And Substructures

    Mod-01 Lec-21 Structures And Substructures

    by Admin Added 55 Views / 0 Likes

    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.

  • 46:26 Mod-01 Lec-25 Normal Forms

    Mod-01 Lec-25 Normal Forms

    by Admin Added 49 Views / 0 Likes

    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.

  • 52:39 Mod-01 Lec-10 The Completeness Theorem

    Mod-01 Lec-10 The Completeness Theorem

    by Admin Added 50 Views / 0 Likes

    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.

  • 51:04 Mod-01 Lec-34 Completeness Of The Hilbert System

    Mod-01 Lec-34 Completeness Of The Hilbert System

    by Admin Added 51 Views / 0 Likes

    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.

  • 51:20 Mod-01 Lec-11 Maximally Consistent Sets

    Mod-01 Lec-11 Maximally Consistent Sets

    by Admin Added 46 Views / 0 Likes

    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.

  • 54:14 Mod-01 Lec-32 Resolution And Tableaux

    Mod-01 Lec-32 Resolution And Tableaux

    by Admin Added 49 Views / 0 Likes

    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.

  • 58:18 Mod-01 Lec-29 Resolution In FOL

    Mod-01 Lec-29 Resolution In FOL

    by Admin Added 49 Views / 0 Likes

    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.

  • 49:49 Mod-01 Lec-06 Tautology Checking

    Mod-01 Lec-06 Tautology Checking

    by Admin Added 62 Views / 0 Likes

    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.

  • 53:09 Mod-01 Lec-07 Propositional Unsatisfiability

    Mod-01 Lec-07 Propositional Unsatisfiability

    by Admin Added 48 Views / 0 Likes

    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.

  • 57:44 Mod-01 Lec-24 Existential Quantification

    Mod-01 Lec-24 Existential Quantification

    by Admin Added 47 Views / 0 Likes

    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.

  • 32:06 Mod-01 Lec-16 The Hilbert System :Completeness

    Mod-01 Lec-16 The Hilbert System :Completeness

    by Admin Added 44 Views / 0 Likes

    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.

  • 53:16 Mod-01 Lec-39 References

    Mod-01 Lec-39 References

    by Admin Added 38 Views / 0 Likes

    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.

  • 41:17 Mod-01 Lec-08 Analytic Tableaux

    Mod-01 Lec-08 Analytic Tableaux

    by Admin Added 53 Views / 0 Likes

    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.

  • 55:51 Mod-01 Lec-22 First - Order Theories

    Mod-01 Lec-22 First - Order Theories

    by Admin Added 39 Views / 0 Likes

    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.

Categories