مشخصات کتاب

A Beginner's Guide to Mathematical Logic (Dover Books on Mathematics)

ویرایش: [Illustrated] 
نویسندگان: Raymond M. Smullyan  
سری:  
ISBN (شابک) : 0486492370, 9780486492377 
ناشر: Dover Publications 
سال نشر: 2014 
تعداد صفحات: 288
[198] 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 5 Mb 

در صورت تبدیل فایل کتاب A Beginner's Guide to Mathematical Logic (Dover Books on Mathematics) به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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

توضیحاتی در مورد کتاب راهنمای مبتدیان برای منطق ریاضی (کتاب های دوور در مورد ریاضیات)

این متن مقدماتی که توسط استاد خلاق منطق ریاضی نوشته شده است، داستان های فیلسوفان بزرگ، نقل قول ها و معماها را با اصول منطق ریاضی ترکیب می کند. نویسنده Raymond Smullyan ارائه های واضح و تدریجی از مفاهیم منطقی دشوار ارائه می دهد. او هر موضوع را با توضیحات مبتکرانه و مشکلات منحصر به فرد برجسته می کند. روایت قابل دسترس اسمولیان نمونه‌های به یاد ماندنی از مفاهیم مربوط به برهان، منطق گزاره‌ای و منطق مرتبه اول، قضایای ناتمامی و برهان ناتمامی را ارائه می‌دهد. موضوعات اضافی عبارتند از تصمیم ناپذیری، منطق ترکیبی، و نظریه بازگشت. این کتاب که برای دوره های کارشناسی و کارشناسی ارشد مناسب است، خوانندگانی که دارای ذهنیت ریاضی هستند را نیز سرگرم و روشن می کند. نسخه 2014.

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

Written by a creative master of mathematical logic, this introductory text combines stories of great philosophers, quotations, and riddles with the fundamentals of mathematical logic. Author Raymond Smullyan offers clear, incremental presentations of difficult logic concepts. He highlights each subject with inventive explanations and unique problems. Smullyan's accessible narrative provides memorable examples of concepts related to proofs, propositional logic and first-order logic, incompleteness theorems, and incompleteness proofs. Additional topics include undecidability, combinatoric logic, and recursion theory. Suitable for undergraduate and graduate courses, this book will also amuse and enlighten mathematically minded readers. 2014 edition.

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

کتاب های تصادفی

دانلود کتاب Gnosis

دانلود کتاب The Persons in Relation Perspective: In Counselling, Psychotherapy and Community Adult Learning

دانلود کتاب MCSA/MCSE 70-290 Exam Prep: Managing and Maintaining a Microsoft® Windows Server™ 2003 Environment

دانلود کتاب Visual Data Mining: Theory, Techniques and Tools for Visual Analytics

دانلود کتاب Saberes históricos, patrimônio e espaços de memória