دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Handbook of Tableau Methods
دانلود کتاب کتاب راهنمای روش های تابلو
مشخصات کتاب
Handbook of Tableau Methods
ویرایش: 1 نویسندگان: M. D'Agostino, Dov M. Gabbay, Reiner Hähnle, J. Posegga سری: ISBN (شابک) : 0792356276, 9780792356271 ناشر: Springer سال نشر: 1999 تعداد صفحات: 677 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 مگابایت
قیمت کتاب (تومان) : 31,000
در صورت تبدیل فایل کتاب Handbook of Tableau Methods به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب کتاب راهنمای روش های تابلو نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب کتاب راهنمای روش های تابلو
روش شناسی تابلو، که در دهه 1950 توسط بث و هینتیککا ابداع شد و بعداً توسط اسمولیان و فیتینگ تکمیل شد، امروزه یکی از محبوب ترین روش شناسی های نظری اثبات است. اولاً به این دلیل که ابزار بسیار شهودی است و ثانیاً به این دلیل که به نظر می رسد رویکردهای اثباتی-نظری و معنایی را برای ارائه یک سیستم منطقی گرد هم می آورد.\nتقاضای فزاینده برای روش‌های تابلویی بهبود یافته برای منطق‌های مختلف عمدتاً ناشی از کاربردهای گسترده منطق در علوم رایانه، هوش مصنوعی و برنامه‌نویسی منطقی و همچنین استفاده از آن به عنوان ابزاری برای تحلیل مفهومی در ریاضیات، فلسفه، زبان‌شناسی و در علوم اجتماعی است. .\nدر چند سال اخیر، علاقه مجدد به روش تابلوهای تحلیلی، انبوهی از نتایج جدید را در منطق کلاسیک و همچنین غیر کلاسیک ایجاد کرده است.\nاز یک طرف، پیشرفت‌های اخیر در اثبات قضیه مبتنی بر تابلو، توجه را به تابلوها به‌عنوان یک روش استنتاج قدرتمند برای منطق کلاسیک مرتبه اول، به‌ویژه برای فرمول‌های غیر بند که برابری را تطبیق می‌دهند، جلب کرده است.\nاز سوی دیگر، نیاز فزاینده ای به تنوع منطق های غیرکلاسیک وجود دارد که می توانند کاربردهای مختلفی داشته باشند، و برای ارائه الگوریتمی این منطق ها در چارچوبی یکپارچه که بتواند یک تفسیر معنایی معنادار را پشتیبانی کند (یا پیشنهاد کند).\nاز این منظر، روش شناسی تابلوهای تحلیلی مناسب ترین به نظر می رسد. بنابراین، فعالیت‌های پژوهشی تازه‌ای به بررسی سیستم‌های تابلویی برای منطق‌های شهودی، معین، زمانی و چند ارزشی، و همچنین برای خانواده‌های جدید منطق‌ها، مانند منطق‌های غیر یکنواخت و زیرساختی اختصاص یافته است.\nنتایج نیاز به سیستم سازی دارند. این هندبوک اولین کتابی است که چنین نظام مندی را در این زمینه در حال گسترش ارائه می کند. این شامل چندین فصل در مورد استفاده از روش های تابلو در منطق کلاسیک است، اما همچنین شامل بحث های گسترده در مورد:\n- استفاده از روش شناسی در منطق شهودی\n- منطق معین و زمانی\n- منطق های زیرساختی، منطق های غیر یکنواخت و چند ارزشی\n- اجرای تابلوهای معنایی\n- کتابشناسی در مورد اثبات قضیه تابلوهای تحلیلی.\nنتیجه یک کار مرجع قوی است که توسط دانشجویان و محققان در علوم کامپیوتر، هوش مصنوعی، ریاضیات، فلسفه، علوم شناختی، مطالعات حقوقی، زبان‌شناسی، مهندسی و همه حوزه‌ها، اعم از نظری یا کاربردی، که در آن جنبه‌های الگوریتمی استنتاج منطقی نقش دارد.
توضیحاتی درمورد کتاب به خارجی
The tableau methodology, invented in the 1950's by Beth and Hintikka and later perfected by Smullyan and Fitting, is today one of the most popular proof theoretical methodologies. Firstly because it is a very intuitive tool, and secondly because it appears to bring together the proof-theoretical and the semantical approaches to the presentation of a logical system. The increasing demand for improved tableau methods for various logics is mainly prompted by extensive applications of logic in computer science, artificial intelligence and logic programming, as well as its use as a means of conceptual analysis in mathematics, philosophy, linguistics and in the social sciences. In the last few years the renewed interest in the method of analytic tableaux has generated a plethora of new results, in classical as well as non-classical logics. On the one hand, recent advances in tableau-based theorem proving have drawn attention to tableaux as a powerful deduction method for classical first-order logic, in particular for non-clausal formulas accommodating equality. On the other hand, there is a growing need for a diversity of non-classical logics which can serve various applications, and for algorithmic presentations of these logicas in a unifying framework which can support (or suggest) a meaningful semantic interpretation. From this point of view, the methodology of analytic tableaux seems to be most suitable. Therefore, renewed research activity is being devoted to investigating tableau systems for intuitionistic, modal, temporal and many-valued logics, as well as for new families of logics, such as non-monotonic and substructural logics. The results require systematisation. This Handbook is the first to provide such a systematisation of this expanding field. It contains several chapters on the use of tableaux methods in classical logic, but also contains extensive discussions on: - the uses of the methodology in intuitionistic logics - modal and temporal logics - substructural logics, nonmonotonic and many-valued logics - the implementation of semantic tableaux - a bibliography on analytic tableaux theorem proving. The result is a solid reference work to be used by students and researchers in Computer Science, Artificial Intelligence, Mathematics, Philosophy, Cognitive Sciences, Legal Studies, Linguistics, Engineering and all the areas, whether theoretical or applied, in which the algorithmic aspects of logical deduction play a role.
