Mathematical Logic video lectures, Arindama Singh of IIT Madras

Home »Mathematics »IIT Madras » Mathematical Logic



Mathematical Logic

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

Embed
Download:   MP4, FLV and 3GP 12369 views

SEE: Guide to Download NPTEL Video Lecture

Lecture Details :

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

Course Description :

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.

Other Resources :

Syllabus | Citation |

IITMadras delivers the above video lessons under NPTEL program, there are more than 6000+ nptel video lectures by other IIT's as well.

Other Mathematics Courses

» check out the complete list of Mathematics Video lectures          

 

Get Your Degree!

Find schools and get information on the program that’s right for you.

Powered by Campus Explorer

Comments

Post your Comments