Home »Mathematics »IIT Madras » Mathematical Logic

Mathematical Logic

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

Download:   mp3 download MP4,FLV & 3GP 13165 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 :

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


Post your Comments