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

Logic for Computer Science

Lecture 1: Introduction

Download:   MP4,FLV & 3GP 16892 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          


Amazon Free Kindle Ebooks


Post your Comments