ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

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

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

Introduction to mathematical logic

مشخصات کتاب

Introduction to mathematical logic

دسته بندی: ریاضیات
ویرایش: 4th 
نویسندگان:   
سری:  
ISBN (شابک) : 0412808307, 9780412808302 
ناشر: Springer 
سال نشر: 1997 
تعداد صفحات: 449 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 4 مگابایت

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



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

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


در صورت تبدیل فایل کتاب Introduction to mathematical logic به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب آشنایی با منطق ریاضی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب آشنایی با منطق ریاضی

ویرایش چهارم این متن قدیمی تمام ویژگی‌های کلیدی نسخه‌های قبلی را حفظ می‌کند و مباحث اولیه یک دوره اول محکم در منطق ریاضی را پوشش می‌دهد. این نسخه شامل یک ضمیمه گسترده در منطق مرتبه دوم، بخشی در نظریه مجموعه‌ها با urlement‌ها، و بخشی در منطقی است که وقتی مدل‌هایی با دامنه‌های خالی را مجاز می‌کنیم، به دست می‌آید. متن شامل تمرین‌های متعدد و پیوستی به بسیاری از آنها پاسخ می‌دهد. مقدمه‌ای بر منطق ریاضی شامل: نظریه اعداد منطقی مرتبه اول منطقی مخالف و قضایای ناقص بودن و تصمیم‌ناپذیری گودل، راسر، چرچ، و تارسکیواکسیوماتیک نظریه ترکیب‌پذیری، مطالعه نظریه ترکیب‌پذیری مجموعه‌ها است. منطق ریاضی، نظریه مجموعه‌های بدیهی، و نظریه محاسبات، درکی از مفروضات اساسی و تکنیک‌های اثباتی که اساس ریاضیات را تشکیل می‌دهند، فراهم می‌کند. منطق و نظریه محاسبات نیز به ابزارهای ضروری در علوم کامپیوتر نظری، از جمله هوش مصنوعی تبدیل شده اند. Introduction to Mathematical Logic این موضوعات را به شیوه ای روشن و خواننده پسند پوشش می دهد که برای هر کسی که در علوم کامپیوتر کار می کند و همچنین مدرسان و محققان در ریاضیات، فلسفه و زمینه های مرتبط با ارزش خواهد بود.


توضیحاتی درمورد کتاب به خارجی

The Fourth Edition of this long-established text retains all the key features of the previous editions, covering the basic topics of a solid first course in mathematical logic. This edition includes an extensive appendix on second-order logic, a section on set theory with urlements, and a section on the logic that results when we allow models with empty domains. The text contains numerous exercises and an appendix furnishes answers to many of them.Introduction to Mathematical Logic includes:opropositional logicofirst-order logicofirst-order number theory and the incompleteness and undecidability theorems of Gödel, Rosser, Church, and Tarskioaxiomatic set theoryotheory of computabilityThe study of mathematical logic, axiomatic set theory, and computability theory provides an understanding of the fundamental assumptions and proof techniques that form basis of mathematics. Logic and computability theory have also become indispensable tools in theoretical computer science, including artificial intelligence. Introduction to Mathematical Logic covers these topics in a clear, reader-friendly style that will be valued by anyone working in computer science as well as lecturers and researchers in mathematics, philosophy, and related fields.





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

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