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 :
Other Computer Science Courses
- Unix OS, Spring 2012 by Other
- CSEP 590TU Practical Aspects of Modern Cryptography by University of Washington
- Internet Technologies by IIT Kharagpur
- CSEP 503 Principles of Software Engineering by University of Washington
- CSEP 504 Advanced Topics in Software Systems by University of Washington
- Numerical Analysis and Computer Programming by IIT Madras
- Discrete Mathematical Structures by IIT Madras
- Machine Structures,Fall 2011 by UC Berkeley
- CSEP 590B Computing for the Developing World by University of Washington
- Introduction to Computer Science I by Harvard
» 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