Course

M465 - Mathematical Logic

Course No: 
M465
Credit: 
4
Prerequisites: 
M101
Approval: 
2014
UG-Elective
Syllabus: 
Propositional Logic, Tautologies and Theorems of propositional Logic, Tautology Theorem. First Order Logic: First order languages and their structures, Proofs in a first order theory, Model of a first order theory, validity theorems, Metatheorems of a first order theory, e. g., theorems on constants,equivalence theorem, deduction and variant theorems etc. Completeness theorem, Compactness theorem, Extensions by definition of first order theories, Interpretations theorem, Recursive functions, Arithmatization of first order theories, Godels first Incompleteness theorem, Rudiments of model theory including Lowenheim-Skolem theorem and categoricity.
Reference Books: 
  1. J. R. Shoenfield, “Mathematical logic”, Addison-Wesley Publishing Co., 1967.
  2. E. Mendelson, “Introduction to Mathematical Logic”, Chapman & Hall, 1997.

Contact us

School of Mathematical Sciences

NISERPO- Bhimpur-PadanpurVia- Jatni, District- Khurda, Odisha, India, PIN- 752050

Tel: +91-674-249-4081

Corporate Site - This is a contributing Drupal Theme
Design by WeebPal.