Logic for CS

IIT Delhi Course , Prof. S. Arun Kumar

Lecture 1: Introduction

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

Contents:
introduction - Propositional Logic Syntax - Semantics of Propositional Logic - Logical and Algebraic Concepts - Identities and Normal forms - Tautology Checking-Propositional un satisfiability - Analytic Tableaux - Consistency and Completeness - The Completeness Theorem - Maximally Consistent Sets - Formal Theories - Proof Theory - Hilbert-style - Derived Rules - The Hilbert System Soundness,Completeness-Introduction to Predicate Logic-The Semantic of Predicate Logic-Sub situvations- Models

Structures and Substructures - First Order Theories-Predicate Logic: Proof Theory-Existential Quantification - Normal Forms-Scalalemization - 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 - Towards Logic Programming - Verification of Imperative Programs - Verification of WHILE Programs - References

Other Resources

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

COURSE Reviews

5 Stars 7
4 Stars 4
3 Stars 1
2 Stars 2
1 Stars 5
3.3 Overall Ratings
Top