دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Logic and Its Applications: 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings
دانلود کتاب منطق و کاربردهای آن: ششمین کنفرانس هند ، ICLA 2015 ، بمبئی ، هند ، 8-10 ژانویه 2015. مجموعه مقالات
مشخصات کتاب
Logic and Its Applications: 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings
دسته بندی: منطق ویرایش: 1 نویسندگان: Mohua Banerjee. Shankara Narayanan Krishna (eds.) سری: Lecture Notes in Computer Science 8923 Theoretical Computer Science and General Issues ISBN (شابک) : 9783662458235, 9783662458242 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2015 تعداد صفحات: 242 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
قیمت کتاب (تومان) : 31,000
کلمات کلیدی مربوط به کتاب منطق و کاربردهای آن: ششمین کنفرانس هند ، ICLA 2015 ، بمبئی ، هند ، 8-10 ژانویه 2015. مجموعه مقالات: منطق ریاضی و زبان های رسمی، منطق و معانی برنامه ها، هوش مصنوعی (شامل رباتیک)، محاسبات با دستگاه های انتزاعی، ریاضیات گسسته در علوم کامپیوتر
در صورت تبدیل فایل کتاب Logic and Its Applications: 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب منطق و کاربردهای آن: ششمین کنفرانس هند ، ICLA 2015 ، بمبئی ، هند ، 8-10 ژانویه 2015. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب منطق و کاربردهای آن: ششمین کنفرانس هند ، ICLA 2015 ، بمبئی ، هند ، 8-10 ژانویه 2015. مجموعه مقالات
این کتاب مقالات داوری ششمین کنفرانس هند در زمینه منطق و کاربردهای آن، ICLA 2015، که در بمبئی، هند، در ژانویه 2015 برگزار شد، جمع آوری می کند. این جلد شامل 13 مقاله اصلاح شده کامل به همراه 3 سخنرانی دعوت شده ارائه شده در کنفرانس است. مقالات پس از بررسی دقیق، از 23 مقاله ارسالی انتخاب شدند. آنها موضوعات مرتبط با منطق صوری محض و کاربردی، مبانی و فلسفه ریاضیات و علوم، نظریه مجموعه ها، نظریه مدل، نظریه اثبات، حوزه های علوم کامپیوتر نظری، هوش مصنوعی، سیستم های منطق در سنت هندی و سایر رشته ها را پوشش می دهند. علاقه مستقیم به منطق ریاضی و فلسفی دارند.
توضیحاتی درمورد کتاب به خارجی
This book collects the refereed proceedings of the 6th Indian Conference on Logic and Its Applications, ICLA 2015, held in Mumbai, India, in January 2015. The volume contains 13 full revised papers along with 3 invited talks presented at the conference. The papers were selected after rigorous review, from 23 submissions. They cover topics related to pure and applied formal logic, foundations and philosophy of mathematics and the sciences, set theory, model theory, proof theory, areas of theoretical computer science, artificial intelligence, systems of logic in the Indian tradition, and other disciplines which are of direct interest to mathematical and philosophical logic.
فهرست مطالب
Front Matter....Pages -
Homotopy Type Theory....Pages 1-10
The Relevance of Relevance to Relevance Logic....Pages 11-29
Logic-Automata Connections for Transformations....Pages 30-57
Truths about Simpson’s Paradox: Saving the Paradox from Falsity....Pages 58-73
Some Instances of Graded Consequence in the Context of Interval-Valued Semantics....Pages 74-87
Neighborhood Contingency Logic....Pages 88-99
Hierarchies in Inclusion Logic with Lax Semantics....Pages 100-118
A Modal Logic for Non-deterministic Information Systems....Pages 119-131
Tableaux for Non-normal Public Announcement Logic....Pages 132-145
A Pragmatistic Approach to Propositional Knowledge Based on the Successful Behavior of Belief....Pages 146-157
Büchi Automata Optimisations Formalised in Isabelle/HOL....Pages 158-169
Nyāya’s Logical Model for Ascertaining Sound Arguments....Pages 170-182
Negative Existentials and Non-denoting Terms....Pages 183-194
Ordinals in an Algebra-Valued Model of a Paraconsistent Set Theory....Pages 195-206
Extending Carnap’s Continuum to Binary Relations....Pages 207-217
Representing Imperfect Information of Procedures with Hyper Models....Pages 218-231
Erratum: Logic and Its Applications....Pages E1-E1
Back Matter....Pages -
نظرات کاربران
کتاب های مرتبط
دانلود کتاب Solving Higher-Order Equations: From Logic to Programming
دانلود کتاب Principia Mathematica
دانلود کتاب The Logic of Hegel’s Logic: An Introduction
دانلود کتاب Problems in the Philosophy of Science
دانلود کتاب The Idea of Dialogical Phenomenology
دانلود کتاب Some applications of the method of forcing (1995)
دانلود کتاب Ω-Bibliography of Mathematical Logic. Volume 6: Proof Theory. Constructive Mathematics
دانلود کتاب Kripke’s Worlds: An Introduction to Modal Logics via Tableaux
دانلود کتاب The Tutu Archaeological Village Site: A Multi-disciplinary Case Study in Human Adaptation
