Subscribe to feed
Lights off 
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 :
Contents:
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
- CSEP 590B Computing for the Developing World by University of Washington
- Computer Organization by IIT Madras
- CSEP 590A History of Computing by University of Washington
- Performance Evaluation of Computer Systems by IIT Madras
- MySQL Database by Other
- CSEP 501 Compiler Construction by University of Washington
- Principles of Programming Languages by IIT Madras
- Oracle Databae by Other
- C++ Programming by Other
- iPhone Application Development (Winter 2010) by Stanford
» check out the complete list of Computer Science Video lectures
Computer Science Lecture Notes
- CPS 140 Computer Science by Duke University
- Software Engineering and Security by Athens University of Economics and Business
- CSE 373/548: Analysis of Algorithms by Stony Brook University
- CS345 Data Mining and Clustering by Stanford
- Information Retrieval by University of Massachusetts
- CS368: Java for C++ Programmers by University of Wisconsin
- Pixels, Numbers, and Programs by University of Washington
- Introduction to Java Development by N/A
- CS 696 Emerging Technologies: Java Distributed Computing by UC San Diego