Home »Computer Science »IIT Delhi » Logic for Computer Science

Logic for Computer Science

Lecture 1: Mod-01 Lec-01 Introduction

Download:   mp3 download MP4,FLV & 3GP 12204 views

SEE: Guide to Download NPTEL Video Lecture

Lecture Details :

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

Course Description :

Introduction - Propositional Logic Syntax - Semantics of Propositional Logic - Logical and Algebraic Concepts - Identities and Normal forms - Tautology Checking - Propositional Unsatisfiability - Analytic Tableaux - Consistency and Completeness - The Completeness Theorem - Maximally Consistent Sets - Formal Theories - Proof Theory : Hilbert-style - Derived Rules - The Hilbert System : Soundness - The Hilbert System :Completeness - Introduction to Predicate Logic - The Semantic of Predicate Logic - Subsitutions.

Models - Structures and Substructures - First - Order Theories - Predicate Logic: Proof Theory (Contd..) - Existential Quantification - Normal Forms - Skalemization - Substitutions and Instantiations - Unification - Resolution in FOL - More on Resolution in FOL - Resolution : Soundness and Completeness - Resolution and Tableaux - Completeness of Tableaux Method - Completeness of the Hilbert System - First -Order Theories - Towards Logic Programming - Verification of Imperative Programs - Verification of WHILE Programs.

Other Resources :

Citation |

Above free video lectures are presented by IIT Delhi, under NPTEL program, there are still 6000+ iit video lectures are available.

Other Computer Science Courses

» check out the complete list of Computer Science Video lectures          


Get Your Degree!

Find schools and get information on the program that’s right for you.

Powered by Campus Explorer


Post your Comments