Marvins Underground Lectures
Welcome
Login / Register


Computer Logic


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

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

    by Admin Added 119 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 Popular Mod-01 Lec-27 Substitutions And Instantiations

    Mod-01 Lec-27 Substitutions And Instantiations

    by Admin Added 120 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 91 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 Popular Mod-01 Lec-28 Unification

    Mod-01 Lec-28 Unification

    by Admin Added 104 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 Popular Mod-01 Lec-38 Verification Of WHILE Programs

    Mod-01 Lec-38 Verification Of WHILE Programs

    by Admin Added 136 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 Popular Mod-01 Lec-33 Completeness Of Tableaux Method

    Mod-01 Lec-33 Completeness Of Tableaux Method

    by Admin Added 112 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 Popular Mod-01 Lec-26 Skalemization

    Mod-01 Lec-26 Skalemization

    by Admin Added 125 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 Popular Mod-01 Lec-35 First -Order Theories

    Mod-01 Lec-35 First -Order Theories

    by Admin Added 104 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 Popular Mod-01 Lec-37 Verification Of Imperative Programs

    Mod-01 Lec-37 Verification Of Imperative Programs

    by Admin Added 101 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 Popular Mod-01 Lec-19 Subsitutions

    Mod-01 Lec-19 Subsitutions

    by Admin Added 101 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 Popular Mod-01 Lec-21 Structures And Substructures

    Mod-01 Lec-21 Structures And Substructures

    by Admin Added 126 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 95 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 83 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 Popular Mod-01 Lec-34 Completeness Of The Hilbert System

    Mod-01 Lec-34 Completeness Of The Hilbert System

    by Admin Added 120 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 85 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 86 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 Popular Mod-01 Lec-29 Resolution In FOL

    Mod-01 Lec-29 Resolution In FOL

    by Admin Added 119 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 Popular Mod-01 Lec-06 Tautology Checking

    Mod-01 Lec-06 Tautology Checking

    by Admin Added 149 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 Popular Mod-01 Lec-07 Propositional Unsatisfiability

    Mod-01 Lec-07 Propositional Unsatisfiability

    by Admin Added 130 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 Popular Mod-01 Lec-24 Existential Quantification

    Mod-01 Lec-24 Existential Quantification

    by Admin Added 105 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 71 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 95 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 Popular Mod-01 Lec-08 Analytic Tableaux

    Mod-01 Lec-08 Analytic Tableaux

    by Admin Added 114 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 90 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