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

09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Handbook of the History of Logic. Volume 05: Logic from Russell to Church

دانلود کتاب راهنمای تاریخ منطق. دوره 05: منطق از راسل به کلیسا

مشخصات کتاب

Handbook of the History of Logic. Volume 05: Logic from Russell to Church

دسته بندی: منطق
ویرایش:  
نویسندگان: Dov M. Gabbay,  John Woods (eds.)  
سری:  
ISBN (شابک) : 0444516204, 9780444516206 
ناشر: Elsevier 
سال نشر: 2009 
تعداد صفحات: 1069 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 5 مگابایت

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

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

در صورت تبدیل فایل کتاب Handbook of the History of Logic. Volume 05: Logic from Russell to Church به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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

توضیحاتی در مورد کتاب راهنمای تاریخ منطق. دوره 05: منطق از راسل به کلیسا

این جلد شماره پنج در کتابچه راهنمای تاریخ منطق یازده جلدی است. این کتاب پنجاه سال اول توسعه منطق ریاضی در قرن بیستم را پوشش می‌دهد و بر دستاوردهای نام‌های بزرگ آن دوره تمرکز دارد. راسل، پست، جی دل، تارسکی، چرچ و امثال آن. این دوره ای بود که منطق ریاضی چهار بخش اصلی خود را بیان کرد؟ نظریه مجموعه، نظریه مدل، نظریه اثبات و نظریه بازگشت. در مجموع این اثر به عنوان یکی از بزرگترین دستاوردهای تاریخ فکری ما رتبه بندی می شود. این جلد و کتاب راهنما که توسط محققان برجسته در این زمینه نوشته شده است، هر دو ابزار مرجع قطعی برای دانشجویان ارشد، دانشجویان کارشناسی ارشد و محققان در تاریخ منطق، تاریخ فلسفه، و هر رشته ای مانند ریاضیات، علوم کامپیوتر هستند. ، هوش مصنوعی، که پیشینه تاریخی کار او برای او یک نکته برجسته است. . کل محدوده منطق مودال پوشش داده شده است. به عنوان یک سهم منحصر به فرد در تاریخ فکری قرن بیستم عمل می کند. حاوی آخرین اکتشافات علمی و بینش های تفسیری است

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

This volume is number five in the eleven volume Handbook of the History of Logic. It covers the first fifty years of the development of mathematical logic in the twentieth century, and concentrates on the achievements of the great names of the period; Russell, Post, G?del, Tarski, Church, and the like. This was the period in which mathematical logic gave mature expression to its four main parts ? set theory, model theory, proof theory and recursion theory. Collectively this work ranks as one of the greatest achievements of our intellectual history. Written by leading researchers in the field, both this volume and the Handbook as a whole are definitive reference tools for senior undergraduates, graduate students and researchers in the history of logic, the history of philosophy, and any discipline, such as mathematics, computer science, artificial intelligence, for whom the historical background of his or her work is a salient consideration. . The entire range of modal logic is covered. Serves as a singular contribution to the intellectual history of the 20th century. Contains the latest scholarly discoveries and interpretative insights

فهرست مطالب

Cover
......Page 1
Handbook of the History of Logic, Volume 5, Logic from Russell to Church......Page 2
ISBN: 9780444516206......Page 3
Preface                                     ......Page 8
Contributors                                                    ......Page 12
Bertrand Russell's Logic                                                                                        ......Page 14
Logic For Meinongian Object Theory Semantics                                                                                                                                                    ......Page 42
The Logic Of Brouwer And Heyting                                                                                                                ......Page 90
Thoralf Albert Skolem                                                                               ......Page 140
Jacques Herbrand: Life, Logic, and Automated Deduction......Page 208
The Logic Of The Tractatus                                                                                              ......Page 268
Lesniewski's  Logic                                                                         ......Page 318
Hilbert's Proof Theory......Page 334
Hilbert's Epsilon Calculus And Its Successors                                                                                                                                                       ......Page 398
Godel's Logic......Page 462
Tarski's Logic                                                          ......Page 524
Emil Post                                           ......Page 630
Gentzen's Logic                                                             ......Page 680
Lambda-calculus And Combinators In The 20th Century                                                                                                                                                                         ......Page 736
The Logic Of Church And Curry                                                                                                       ......Page 832
Appendix                                        ......Page 869
Paradoxes, Self-reference And Truth In The 20th Century                                                                                                                                                                                     ......Page 888
Index                               ......Page 1028