دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Dual tableaux: foundations, methodology, case studies
دانلود کتاب تابلوهای دوگانه: مبانی، روش شناسی، مطالعات موردی
مشخصات کتاب
Dual tableaux: foundations, methodology, case studies
ویرایش: نویسندگان: Orlowska E., Golinska-Pilarek J. سری: TL 033 ISBN (شابک) : 9789400700048 ناشر: Springer سال نشر: 2011 تعداد صفحات: 540 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 مگابایت
قیمت کتاب (تومان) : 47,000
در صورت تبدیل فایل کتاب 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
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Brain Stimulation in Psychiatric Treatment (Review of Psychiatry)
دانلود کتاب World War I A History
دانلود کتاب Elementare Einfuehrung in die Warscheinlichkeitsrechnung
