دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Introduction to mathematical logic
دانلود کتاب مقدمه ای بر منطق ریاضی
مشخصات کتاب
Introduction to mathematical logic
ویرایش: Sixth edition
نویسندگان: Mendelson. Elliott
سری: Discrete mathematics and its applications
ISBN (شابک) : 9781482237788, 1482237784
ناشر: CRC Press/Taylor & Francis Group
سال نشر: 2015
تعداد صفحات: 499
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 10 مگابایت
قیمت کتاب (تومان) : 49,000
کلمات کلیدی مربوط به کتاب مقدمه ای بر منطق ریاضی: منطق، نمادین و ریاضی.
در صورت تبدیل فایل کتاب Introduction to mathematical logic به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مقدمه ای بر منطق ریاضی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب مقدمه ای بر منطق ریاضی
ویرایش جدید این کتاب درسی کلاسیک، مقدمه ای بر منطق ریاضی،
ویرایش ششم، موضوعات اصلی منطق ریاضی را بررسی می کند. منطق
گزاره‌ای، منطق مرتبه اول، نظریه اعداد مرتبه اول، نظریه
مجموعه‌های بدیهی و نظریه محاسبات را پوشش می‌دهد. این متن همچنین
نتایج اصلی گودل، چرچ، کلین، راسر و تورینگ را مورد بحث قرار
می‌دهد. ویرایش ششم کار اخیر گودل را در قضیه ناقص بودن دوم و همچنین
بازیابی را در بر می‌گیرد. یک ضمیمه در اثبات سازگاری برای
محاسبات مرتبه اول. این ضمیمه آخرین بار در چاپ اول ظاهر شد.
ارائه شده است. ادامه
مطلب...
چکیده:
چکیده:
موضوعات اصلی منطق ریاضی را بررسی می کند. این عنوان شامل منطق
گزاره ای، منطق مرتبه اول، نظریه اعداد مرتبه اول، نظریه مجموعه
های بدیهی و نظریه محاسبات می شود. نتایج اصلی گودل، چرچ، کلین،
راسر و تورینگ را مورد بحث قرار می دهد. بیشتر بخوانید...
توضیحاتی درمورد کتاب به خارجی
The new edition of this classic textbook, Introduction to
Mathematical Logic, Sixth Edition explores the principal topics
of mathematical logic. It covers propositional logic,
first-order logic, first-order number theory, axiomatic set
theory, and the theory of computability. The text also
discusses the major results of Gödel, Church, Kleene, Rosser,
and Turing.The sixth edition incorporates recent work on
Gödel's second
incompleteness theorem as well as restoring an appendix on
consistency proofs for first-order arithmetic. This appendix
last appeared in the first edition. It is offered in th.
Read
more...
Abstract:
Abstract:
Explores the principal topics of mathematical logic. This
title covers propositional logic, first-order logic,
first-order number theory, axiomatic set theory, and the
theory of computability. It discusses the major results
of Godel, Church, Kleene, Rosser, and Turing.
Read
more...
فهرست مطالب
Content: Front Cover
Contents
Preface
Introduction
Chapter 1: The Propositional Calculus
Chapter 2: First-Order Logic and Model Theory
Chapter 3: Formal Number Theory
Chapter 4: Axiomatic Set Theory
Chapter 5: Computability
Appendix A: Second-Order Logic
Appendix B: First Steps in Modal Propositional Logic
Appendix C: A Consistency Proof for Formal Number Theory
Answers to Selected Exercises
Bibliography
Notations
Back Cover
