Marvin's Underground Lectures
Welcome
Login / Register

Computer Logic


  • 58:50 Mod-01 Lec-36 Towards Logic Programming

    Mod-01 Lec-36 Towards Logic Programming

    by Admin Added 18 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 26 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 28 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:32 Mod-01 Lec-31 Resolution : Soundness And Completeness

    Mod-01 Lec-31 Resolution : Soundness And Completeness

    by Admin Added 16 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 24 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:32 Mod-01 Lec-18 The Semantic Of Predicate Logic

    Mod-01 Lec-18 The Semantic Of Predicate Logic

    by Admin Added 13 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 37 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.

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

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

    by Admin Added 29 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.

  • 40:24 Mod-01 Lec-02 Propositional Logic Syntax

    Mod-01 Lec-02 Propositional Logic Syntax

    by Admin Added 20 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 29 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 32 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:31 Mod-01 Lec-15 The Hilbert System : Soundness

    Mod-01 Lec-15 The Hilbert System : Soundness

    by Admin Added 13 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 29 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:41 Mod-01 Lec-03 Semantics Of Propositional Logic

    Mod-01 Lec-03 Semantics Of Propositional Logic

    by Admin Added 14 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 34 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:38 Mod-01 Lec-17 Introduction To Predicate Logic

    Mod-01 Lec-17 Introduction To Predicate Logic

    by Admin Added 9 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 23 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 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.

  • 54:19 Mod-01 Lec-14 Derived Rules

    Mod-01 Lec-14 Derived Rules

    by Admin Added 23 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 31 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:24 Mod-01 Lec-05 Identities And Normal Forms

    Mod-01 Lec-05 Identities And Normal Forms

    by Admin Added 13 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 26 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.

  • 48:57 Mod-01 Lec-04 Logical And Algebraic Concepts

    Mod-01 Lec-04 Logical And Algebraic Concepts

    by Admin Added 16 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 27 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

| Kids Playground | Events Schedule |Image Galleries | Games | Radios |Animations | Chat | Classifieds | Blog Post | Free Content | News
Copyright @ 2005-2006 Marvin A. Hendricks Inc. All Rights Reserved