دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Logic and Its Applications: Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009. Proceedings
دانلود کتاب منطق و کاربردهای آن: سومین کنفرانس هند ، ICLA 2009 ، چنای ، هند ، 7-11 ژانویه 2009. مجموعه مقالات
مشخصات کتاب
Logic and Its Applications: Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009. Proceedings
ویرایش: 1 نویسندگان: Johan van Benthem (auth.), R. Ramanujam, Sundar Sarukkai (eds.) سری: Lecture Notes in Computer Science 5378 Lecture Notes in Artificial Intelligence ISBN (شابک) : 9783540927006, 9783540927013 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2009 تعداد صفحات: 278 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
قیمت کتاب (تومان) : 40,000
کلمات کلیدی مربوط به کتاب منطق و کاربردهای آن: سومین کنفرانس هند ، ICLA 2009 ، چنای ، هند ، 7-11 ژانویه 2009. مجموعه مقالات: هوش مصنوعی (شامل رباتیک)، تئوری محاسبات، تحلیل الگوریتم و پیچیدگی مسائل، منطق ریاضی و زبان‌های رسمی، روش‌های محاسباتی، ریاضیات محاسبات
در صورت تبدیل فایل کتاب Logic and Its Applications: Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب منطق و کاربردهای آن: سومین کنفرانس هند ، ICLA 2009 ، چنای ، هند ، 7-11 ژانویه 2009. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب منطق و کاربردهای آن: سومین کنفرانس هند ، ICLA 2009 ، چنای ، هند ، 7-11 ژانویه 2009. مجموعه مقالات
این کتاب که با همکاری FoLLI، انجمن منطق، زبان و اطلاعات
ویرایش شده است، پنجمین جلد از زیر خط FoLLI LNAI است. این شامل
مجموعه مقالات داوری سومین کنفرانس هند در مورد منطق و
کاربردهای آن، ICLA 2009، در چنای، هند، در ژانویه 2009 است. و
از بین ارسال های متعدد انتخاب شده است. این مقاله تحقیقات جاری
را در تمام جنبه های منطق رسمی ارائه می کند. آنها به تفصیل به
منطق جبری و نظریه مجموعه ها، ترکیبات و منطق فلسفی، منطق مودال
با کاربرد در علوم رایانه و نظریه بازی، و ارتباط بین سیستم های
منطق باستانی و سیستم های مدرن می پردازند.
توضیحاتی درمورد کتاب به خارجی
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the 5th volume of the FoLLI LNAI subline. It contains the refereed proceedings of the Third Indian Conference on Logic and Its Applications, ICLA 2009, held in Chennai, India, in January 2009.
The 12 revised full papers presented together with 7 invited
lectures were carefully reviewed and selected from numerous
submissions. The papers present current research in all
aspects of formal logic. They address in detail: algebraic
logic and set theory, combinatorics and philosophical logic,
modal logics with applications to computer science and game
theory, and connections between ancient logic systems and
modern systems.
فهرست مطالب
Front Matter....Pages -
Decisions, Actions, and Games: A Logical Perspective....Pages 1-22
Machine Checking Proof Theory: An Application of Logic to Logic....Pages 23-35
Some Second Order Set Theory....Pages 36-50
Connection Matrices for MSOL-Definable Structural Invariants....Pages 51-64
Knowledge, Games and Tales from the East....Pages 65-76
A Para Consistent Fuzzy Logic....Pages 77-88
From Philosophical to Industrial Logics....Pages 89-115
Game Quantification Patterns....Pages 116-130
Extensive Questions....Pages 131-145
An Analytic Logic of Aggregation....Pages 146-161
Instantial Relevance in Polyadic Inductive Logic....Pages 162-169
Algebraic Study of Lattice-Valued Logic and Lattice-Valued Modal Logic....Pages 170-184
A General Setting for the Pointwise Investigation of Determinacy....Pages 185-195
A Two-Dimensional Hybrid Logic of Subset Spaces....Pages 196-209
A Unified Framework for Certificate and Compilation for QBF....Pages 210-223
Towards Decidability of Conjugacy of Pairs and Triples....Pages 224-231
Gautama – Ontology Editor Based on Nyaya Logic....Pages 232-242
Formal Definitions of Reason Fallacies to Aid Defect Exploration in Argument Gaming....Pages 243-256
The Art of Non-asserting: Dialogue with Nāgārjuna....Pages 257-268
Back Matter....Pages -
