دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب A Beginner’s Further Guide to Mathematical Logic
دانلود کتاب راهنمای بیشتر مبتدی برای منطق ریاضی
مشخصات کتاب
A Beginner’s Further Guide to Mathematical Logic
ویرایش: 1
نویسندگان: Raymond M. Smullyan
سری:
ISBN (شابک) : 9814725722, 9789814725729
ناشر: World Scientific Publishing Company
سال نشر: 2016
تعداد صفحات: 0
زبان: English
فرمت فایل : EPUB (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 5 مگابایت
قیمت کتاب (تومان) : 51,000
کلمات کلیدی مربوط به کتاب راهنمای بیشتر مبتدی برای منطق ریاضی: ترکیبیات، ریاضیات محض، ریاضیات، علوم و ریاضیات، منطق، ریاضیات محض، ریاضیات، علوم و ریاضیات، نظریه مجموعه ها، ریاضیات محض، ریاضیات، علوم و ریاضیات، ریاضیات، جبر و مثلثات، حساب دیفرانسیل و انتگرال، ریاضیات و هندسه، کتاب های درسی جدید، مستعمل و اجاره ای، بوتیک تخصصی
در صورت تبدیل فایل کتاب A Beginner’s Further Guide to Mathematical Logic به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب راهنمای بیشتر مبتدی برای منطق ریاضی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب راهنمای بیشتر مبتدی برای منطق ریاضی
این کتاب دنباله‌ای بر راهنمای مبتدی من برای منطق ریاضی است. جلد قبلی به عناصر منطق گزاره‌ای و مرتبه اول می‌پردازد، حاوی اندکی در مورد سیستم‌های صوری و بازگشت است، و با فصل‌هایی درباره قضیه معروف ناتمامی گودل، همراه با نتایج مرتبط به پایان می‌رسد. جلد حاضر با کمی بیشتر در مورد منطق گزاره‌ای و مرتبه اول شروع می‌شود و به دنبال آن چیزی که من فصل \"fein\" می‌نامم، که به طور همزمان برخی از نتایج نظریه بازگشت، سیستم‌های حسابی مرتبه اول و آنچه را که من دوبله می‌کنم تعمیم می‌دهد، شروع می‌شود. یک "ماشین تصمیم گیری". سپس پنج فصل در مورد سیستم های رسمی، نظریه بازگشت و کاربردهای فرا ریاضی در یک محیط کلی آمده است. پنج فصل پایانی در مورد موضوع زیبای منطق ترکیبی است که نه تنها در نوع خود جذاب است، بلکه کاربردهای مهمی در علوم کامپیوتر دارد. آزمایشگاه ملی آرگون به ویژه درگیر این کاربردها است، و من مفتخرم که بگویم اعضای آن برای برخی از نتایج من در منطق ترکیبی استفاده کرده اند. این کتاب موضوعات مهمی مانند نظریه مجموعه ها، نظریه مدل، نظریه اثبات، و تحولات مدرن در نظریه بازگشت، اما خواننده پس از مطالعه این جلد، آمادگی کافی برای مطالعه این موضوعات پیشرفته تر خواهد داشت.
توضیحاتی درمورد کتاب به خارجی
This book is a sequel to my Beginner's Guide to Mathematical Logic.The previous volume deals with elements of propositional and first-order logic, contains a bit on formal systems and recursion, and concludes with chapters on Gödel's famous incompleteness theorem, along with related results.The present volume begins with a bit more on propositional and first-order logic, followed by what I would call a "fein" chapter, which simultaneously generalizes some results from recursion theory, first-order arithmetic systems, and what I dub a "decision machine." Then come five chapters on formal systems, recursion theory and metamathematical applications in a general setting. The concluding five chapters are on the beautiful subject of combinatory logic, which is not only intriguing in its own right, but has important applications to computer science. Argonne National Laboratory is especially involved in these applications, and I am proud to say that its members have found use for some of my results in combinatory logic.This book does not cover such important subjects as set theory, model theory, proof theory, and modern developments in recursion theory, but the reader, after studying this volume, will be amply prepared for the study of these more advanced topics.
نظرات کاربران
کتاب های تصادفی
دانلود کتاب AMTI GEMS Junior 3 from The Mathematics Teacher Bhaskara Contest Math Olympiad Foundation Compiled Edited by S Muralidharan for PRMO RMO INMO IMO
دانلود کتاب Vehicles: History and Modernity (Транспортні засоби: історія та сучасність)
