Skip to main content
  • Skip to main content
  • Site Map
  • Log in
  • T
  • T
-A A +A
Home
School of Mathematical Sciences
राष्ट्रीय विज्ञान शिक्षा एवंअनुसंधान संस्थान
National Institute of Science Education and Research

NISER

  • Home
    • About SMS
  • People
    • Faculty
    • Staff
    • Students
      • Int. M.Sc.
      • Int.MSc-PhD
      • Ph.D.
    • Postdoc
    • Visitors
    • Alumni
      • Integrated M.Sc
      • PhD
      • Faculty
  • Research
    • Research Areas
    • Publications
  • Curriculum
    • Course Directory
      • UG Core Courses
      • UG Elective Courses
      • PG Core Courses
  • Activity
    • Upcoming
      • Seminar/Colloquium
      • Conference/Sympos/Workshop
      • Meeting
      • Outreach Program
    • Past
      • Seminar/Colloquium
      • Conference/Sympos/Workshop
      • Meeting
      • Outreach
    • MathematiX Club
      • SUMS
  • Blogs
  • Committees
  • Gallery
  • Contact

Breadcrumb

  1. Home
  2. M465 - Mathematical Logic

M465 - Mathematical Logic

By admin_sms on Thu, 17/07/2014 - 11:57
Course No
M465
Credit
4
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.

Useful links

  • DAE
  • DST
  • JSTOR
  • MathSciNet
  • NBHM
  • ProjectEuclid
  • ScienceDirect

Quick links at NISER

  • NISER HOME
  • NISER Mail
  • Library
  • Intranet
  • Phone Book
  • WEB Portal
  • Office orders

Recent blog posts

Noncommutative Geometry and its Applications (NCG@NISER2020)
Purna Chandra Das : A Prosaic Ode to his Exceptional Life
Best paper award at SENSORNETS 2017 for Deepak Kumar Dalai

Contact us

School of Mathematical Sciences

NISER, PO- Bhimpur-Padanpur, Via- Jatni, District- Khurda, Odisha, India, PIN- 752050

Tel: +91-674-249-4081

© 2023 School of Mathematical Sciences, NISER, All Rights Reserved.