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 :
Other Mathematics Courses
- Mathematics III by IIT Roorkee
- Measure and Integration by IIT Bombay
- Math 65 - Introductory Algebra-2nd Term by Portland Community College
- Multivariable Calculus II by Other
- California Standards Test: Geometry by Khan Academy
- Differential Equations II by Khan Academy
- Mathematical Methods for Engineers II by MIT
- Algebra I by Other
- ACT 460 / STA 2502 - Stochastic Methods for Actuarial Science by University of Toronto
- Mathematics II by IIT Roorkee
» check out the complete list of Mathematics Video lectures
Mathematics Lecture Notes
- Math 100: UBC Calculus by University of British Columbia
- MATA26Y: Calculus by University of Toronto
- Probabilistic Thinking by Princeton University
- Linear Algebra by Macquarie University
- Math 231: Partial Differential Equations by UC San Diego
- Fundamentals of Analysis by Macquarie University
- Topology Education by University College Galway
- Linear Functional Analysis by Macquarie University
- Chemistry 1S: Basic Calculus for Chemists by University of Bristol
- First Year Calculus by Macquarie University