دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 2 نویسندگان: Wilfrid Hodges (auth.), D. M. Gabbay, F. Guenthner (eds.) سری: Handbook of Philosophical Logic 1 ISBN (شابک) : 9789048157174, 9789401598330 ناشر: Springer Netherlands سال نشر: 2001 تعداد صفحات: 394 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 9 مگابایت
در صورت تبدیل فایل کتاب Handbook of Philosophical Logic به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب کتاب راهنمای منطق فلسفی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
با خرسندیم که ویرایش دوم این کتابچه راهنمای فوق العاده را به جامعه ارائه می کنیم. بیش از 15 سال از انتشار اولین نسخه می گذرد و از آن زمان تغییرات بزرگی در چشم انداز منطق فلسفی ایجاد شده است. چاپ اول برای نسلهای دانشآموز و محقق در فلسفه و زبان رسمی، و همچنین برای مصرفکنندگان منطق در بسیاری از حوزههای کاربردی، ارزشمند بوده است. مقاله منطقی اصلی در دایره المعارف بریتانیکا 1999 چاپ اول را به عنوان "بهترین نقطه شروع برای کاوش در هر یک از موضوعات در منطق" توصیف کرده است. ما مطمئن هستیم که نسخه دوم نیز به همان اندازه خوب خواهد بود. ! چاپ اول دومین کتاب راهنما بود که برای جامعه منطق منتشر شد. این کتاب به دنبال کتاب یک جلدی هندبوک منطق ریاضی هلند شمالی، منتشر شده در سال 1977، ویرایش شده توسط جان بارویز فقید، کتابچه راهنمای منطق فلسفی چهار جلدی، منتشر شده 1983-1989 در یک اتصال زمانی خوش شانس در تکامل منطق قرار گرفت. این زمانی بود که منطق در محافل علوم کامپیوتر و هوش مصنوعی جا افتاده بود. این مناطق تحت فشار تجاری فزاینده ای قرار داشتند تا وسایلی را فراهم کنند که به انسان در فعالیت روزانه کمک کند و/یا جایگزین کند. این فشار مستلزم استفاده از منطق در مدلسازی فعالیتها و سازمانهای انسانی از یک سو و فراهم کردن مبنای نظری برای سازههای برنامههای رایانهای از سوی دیگر بود.
It is with great pleasure that we are presenting to the community the second edition of this extraordinary handbook. It has been over 15 years since the publication of the first edition and there have been great changes in the landscape of philosophical logic since then. The first edition has proved invaluable to generations of students and researchers in formal philosophy and language, as well as to consumers of logic in many applied areas. The main logic article in the Encyclopaedia Britannica 1999 has described the first edition as 'the best starting point for exploring any of the topics in logic'. We are confident that the second edition will prove to be just as good. ! The first edition was the second handbook published for the logic commu nity. It followed the North Holland one volume Handbook of Mathematical Logic, published in 1977, edited by the late Jon Barwise, The four volume Handbook of Philosophical Logic, published 1983-1989 came at a fortunate temporal junction at the evolution of logic. This was the time when logic was gaining ground in computer science and artificial intelligence circles. These areas were under increasing commercial pressure to provide devices which help and/or replace the human in his daily activity. This pressure required the use of logic in the modelling of human activity and organisa tion on the one hand and to provide the theoretical basis for the computer program constructs on the other.
Front Matter....Pages i-xiii
Elementary Predicate Logic....Pages 1-129
Systems between First-Order and Second-Order Logics....Pages 131-187
Higher-Order Logic....Pages 189-243
Algorithms and Decision Problems: A Crash Course in Recursion Theory....Pages 245-311
Mathematics of Logic Programming....Pages 313-370
Back Matter....Pages 371-385