Home »Mathematics »IIT Madras » Mathematical Logic

Mathematical Logic

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

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


Amazon Free Kindle Ebooks


Post your Comments