توضیحات
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 Gdel’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.
————————————————————–
ترجمه ماشینی :
این کتاب دنبالهای بر راهنمای مبتدی من برای منطق ریاضی است. جلد قبلی به عناصر منطق گزارهای و مرتبه اول میپردازد، حاوی اندکی در مورد سیستمهای صوری و بازگشت است، و با فصلهایی درباره قضیه معروف ناتمام بودن گلدل، همراه با نتایج مرتبط به پایان میرسد. جلد حاضر با کمی بیشتر در مورد منطق گزارهای و مرتبه اول شروع میشود، و به دنبال آن چیزی که من آن را یک فصل «فین» مینامم، که به طور همزمان برخی از نتایج نظریه بازگشت، سیستمهای حسابی مرتبه اول و آنچه را که من به آن مینامم تعمیم میدهد، آغاز میشود. ماشین تصمیم گیری. سپس پنج فصل در مورد سیستم های رسمی، نظریه بازگشت و کاربردهای فرا ریاضی در یک محیط کلی آمده است. پنج فصل پایانی در مورد موضوع زیبای منطق ترکیبی است که نه تنها در نوع خود جذاب است، بلکه کاربردهای مهمی در علوم کامپیوتر دارد. آزمایشگاه ملی آرگون به ویژه درگیر این کاربردها است، و من مفتخرم که بگویم اعضای آن برای برخی از نتایج من در منطق ترکیبی استفاده کرده اند. این کتاب موضوعات مهمی مانند نظریه مجموعه ها، نظریه مدل، نظریه اثبات، و تحولات مدرن در نظریه بازگشت، اما خواننده پس از مطالعه این جلد، آمادگی کافی برای مطالعه این موضوعات پیشرفته تر خواهد داشت.
tag : دانلود کتاب راهنمای بیشتر مبتدیان برای منطق ریاضی , Download راهنمای بیشتر مبتدیان برای منطق ریاضی , دانلود راهنمای بیشتر مبتدیان برای منطق ریاضی , Download A BeginnerÖs Further Guide to Mathematical Logic Book , راهنمای بیشتر مبتدیان برای منطق ریاضی دانلود , buy راهنمای بیشتر مبتدیان برای منطق ریاضی , خرید کتاب راهنمای بیشتر مبتدیان برای منطق ریاضی , دانلود کتاب A BeginnerÖs Further Guide to Mathematical Logic , کتاب A BeginnerÖs Further Guide to Mathematical Logic , دانلود A BeginnerÖs Further Guide to Mathematical Logic , خرید A BeginnerÖs Further Guide to Mathematical Logic , خرید کتاب A BeginnerÖs Further Guide to Mathematical Logic ,
دیدگاهها
هیچ دیدگاهی برای این محصول نوشته نشده است.