ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Dual tableaux: foundations, methodology, case studies

دانلود کتاب تابلوهای دوگانه: مبانی، روش شناسی، مطالعات موردی

Dual tableaux: foundations, methodology, case studies

مشخصات کتاب

Dual tableaux: foundations, methodology, case studies

ویرایش:  
نویسندگان: ,   
سری: TL 033 
ISBN (شابک) : 9789400700048 
ناشر: Springer 
سال نشر: 2011 
تعداد صفحات: 540 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 3 مگابایت

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



ثبت امتیاز به این کتاب

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


در صورت تبدیل فایل کتاب Dual tableaux: foundations, methodology, case studies به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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


توضیحاتی در مورد کتاب تابلوهای دوگانه: مبانی، روش شناسی، مطالعات موردی

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


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

Providing a reference for researchers and students, this volume presents the fundamental concepts of dual tableaux, and a wide scope of applications. These include logic methods used in mathematics and philosophy, as well as applied theories of computational logic.



فهرست مطالب

Front Matter....Pages i-xvi
Front Matter....Pages 1-1
Dual Tableau for Classical First-Order Logic....Pages 3-31
Dual Tableaux for Logics of Classical Algebras of Binary Relations....Pages 33-67
Theories of Point Relations and Relational Model Checking....Pages 69-82
Front Matter....Pages 83-83
Dual Tableaux for Peirce Algebras....Pages 85-103
Dual Tableaux for Fork Algebras....Pages 105-120
Dual Tableaux for Relational Databases....Pages 121-139
Front Matter....Pages 141-141
Dual Tableaux for Classical Modal Logics....Pages 143-160
Dual Tableaux for Some Logics Based on Intuitionism....Pages 161-176
Dual Tableaux for Relevant Logics....Pages 177-194
Dual Tableaux for Many-Valued Logics....Pages 195-213
Front Matter....Pages 215-215
Dual Tableaux for Information Logics of Plain Frames....Pages 217-235
Dual Tableaux for Information Logics of Relative Frames....Pages 237-249
Dual Tableau for Formal Concept Analysis....Pages 251-261
Dual Tableau for a Fuzzy Logic....Pages 263-275
Dual Tableaux for Logics of Order of Magnitude Reasoning....Pages 277-287
Front Matter....Pages 289-289
Dual Tableaux for Temporal Logics....Pages 291-313
Dual Tableaux for Interval Temporal Logics....Pages 315-327
Dual Tableaux for Spatial Reasoning....Pages 329-358
Dual Tableaux for Logics of Programs....Pages 359-382
Front Matter....Pages 383-383
Dual Tableaux for Threshold Logics....Pages 385-396
Front Matter....Pages 383-383
Signed Dual Tableau for Gödel–Dummett Logic....Pages 397-406
Dual Tableaux for First-Order Post Logics....Pages 407-416
Dual Tableau for Propositional Logic with Identity....Pages 417-431
Dual Tableaux for Logics of Conditional Decisions....Pages 433-452
Front Matter....Pages 453-453
Methodological Principles of Dual Tableaux....Pages 455-493
Back Matter....Pages 495-523




نظرات کاربران

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی