ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Introduction to mathematical logic

دانلود کتاب مقدمه ای بر منطق ریاضی

Introduction to mathematical logic

مشخصات کتاب

Introduction to mathematical logic

ویرایش: Sixth edition 
نویسندگان:   
سری: Discrete mathematics and its applications 
ISBN (شابک) : 9781482237788, 1482237784 
ناشر: CRC Press/Taylor & Francis Group 
سال نشر: 2015 
تعداد صفحات: 499 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 10 مگابایت

قیمت کتاب (تومان) : 54,000



کلمات کلیدی مربوط به کتاب مقدمه ای بر منطق ریاضی: منطق، نمادین و ریاضی.



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 14


در صورت تبدیل فایل کتاب 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:
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




نظرات کاربران

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی