دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب A Beginner's Guide to Mathematical Logic
دانلود کتاب راهنمای مبتدیان برای منطق ریاضی
مشخصات کتاب
A Beginner's Guide to Mathematical Logic
ویرایش: [Illustrated edition]
نویسندگان: Raymond M. Smullyan
سری: Dover Books on Mathematics
ISBN (شابک) : 9780486492377
ناشر: Dover Publications
سال نشر: 2014
تعداد صفحات: 292
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 2 Mb
قیمت کتاب (تومان) : 32,000
در صورت تبدیل فایل کتاب A Beginner's Guide to Mathematical Logic به فرمت های 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.
