Logic for Computer Science

IIT Delhi Course , Prof. S. Arun Kumar

459 students enrolled

Overview

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.

Lecture 1: Introduction

Up Next
You can skip ad in
SKIP AD >
Advertisement
      • 2x
      • 1.5x
      • 1x
      • 0.5x
      • 0.25x
        EMBED LINK
        COPY
        DIRECT LINK
        PRIVATE CONTENT
        OK
        Enter password to view
        Please enter valid password!
        0:00
        3.2 (19 Ratings)

        Lecture Details

        Logic for CS by Dr. S. Arun Kumar, Department of Computer Science and Engineering, IIT Delhi. For more details on NPTEL visit httpnptel.iitm.ac.in

        LECTURES



        Review


        3.2

        19 Rates
        5
        42%
        8
        4
        5%
        1
        3
        11%
        2
        2
        11%
        2
        1
        32%
        6

        Comments Added Successfully!
        Please Enter Comments
        Please Enter CAPTCHA
        Invalid CAPTCHA
        Please Login and Submit Your Comment