Mathematical Logic

IIT Madras Course , Prof. Arindama Singh

421 students enrolled

Overview

Contents:
Propositional Logic : Syntax, Unique parsing, Semantics, Equivalences, Consequences, Calculations, Informal proofs.

Normal Forms and Resolution : Clauses, CNF and DNF representations, Adequacy of calculations, SAT, Resolution refutation, Adequacy of resolution.

Proof Systems : Axiomatic system PC, Adequacy of PC, Analytic tableau PT, Adequacy of PT, Compactness of PL.

First Order Logic : Syntax of FL, Scope and binding, Substitutions, Semantics of FL,Quantifier laws, Equivalences, Consequences.

Normal Forms in FL : Calculations, Informal proofs, Prenex forms, Skolem forms,Herbrand's theorem, Skolem-Lowenheim theorem, Resoltion in FL.

Proof Systems for FL : Axiomatic system FC, Analytic tableau FT, Adequacy of FC and FT, Compactness in FL.
Axiomatic Theories : Undecidabilty of FL, Godel's incompleteness theorems.

Lecture 1: Mod-01 Lec-01 Sets and Strings

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.3 (22 Ratings)

        Lecture Details

        Mathematical Logic by Prof.Arindama Singh, Department of Mathematics ,IIT Madras. For more details on NPTEL visit httpnptel.iitm.ac.in

        LECTURES



        Review


        3.3

        22 Rates
        5
        27%
        6
        4
        32%
        7
        3
        5%
        1
        2
        14%
        3
        1
        23%
        5

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

        LECTURES