Logic for CS Video Lectures

Logic for CS

Discipline: Computer Science and Engineering

Institute: IIT Delhi

Faculty: Prof. S. Arun Kumar

Logic for CS Video Lectures - Browse through Computer Science and Engineering web & video lectures by Prof. S. Arun Kumar from IIT Delhi made available by NPTEL e-learning initiative. Click on any Video Lecture link to view and download that video.

'Logic for CS' Video Lectures by Prof. S. Arun Kumar from IIT Delhi

"Logic for CS" - Video Lectures
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

Search Courses by Discipline & Institute

Search Courses

Recently added NPTEL courses Welding Engineering40 Vibration of Structures40 Vibration control40 Tribology42 Theory & Practice of Rotor Dynamics42 Technology of Surface Coating40 Strength of Materials40 Spray Theory and Applications41 Solar Energy Technology43 Rocket Propulsion41 Robotics40 Refrigeration and Air Conditioning46 Project and Production Management41 Processing of non metals40 Principles of Mechanical Measurements26

2015. EngineeringVideoLectures.com