دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Logic and Its Applications: 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings
دانلود کتاب منطق و کاربردهای آن: پنجمین کنفرانس هند ، ICLA 2013 ، چنای ، هند ، 10-12 ژانویه 2013. مجموعه مقالات
مشخصات کتاب
Logic and Its Applications: 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings
ویرایش: 1 نویسندگان: Lawrence E. Blume, David A. Easley, Joseph Y. Halpern (auth.), Kamal Lodaya (eds.) سری: Lecture Notes in Computer Science 7750 ISBN (شابک) : 9783642360381, 9783642360398 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2013 تعداد صفحات: 266 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 مگابایت
قیمت کتاب (تومان) : 38,000
کلمات کلیدی مربوط به کتاب منطق و کاربردهای آن: پنجمین کنفرانس هند ، ICLA 2013 ، چنای ، هند ، 10-12 ژانویه 2013. مجموعه مقالات: منطق ریاضی و زبان های رسمی، منطق و معانی برنامه ها، هوش مصنوعی (شامل رباتیک)، محاسبات با دستگاه های انتزاعی، ریاضیات گسسته در علوم کامپیوتر، تصویربرداری کامپیوتری، بینایی، تشخیص الگو
در صورت تبدیل فایل کتاب Logic and Its Applications: 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب منطق و کاربردهای آن: پنجمین کنفرانس هند ، ICLA 2013 ، چنای ، هند ، 10-12 ژانویه 2013. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب منطق و کاربردهای آن: پنجمین کنفرانس هند ، ICLA 2013 ، چنای ، هند ، 10-12 ژانویه 2013. مجموعه مقالات
این کتاب که با همکاری FoLLI، انجمن منطق، زبان و اطلاعات ویرایش شده است، مجموعه مقالات داوری پنجمین کنفرانس هند در زمینه منطق و کاربردهای آن، ICLA 2013، در چنای، هند، در ژانویه 2013 است. مقالات کامل اصلاح شده ارائه شده همراه با 7 گفتگوی دعوت شده به دقت بررسی و از بین ارسال های متعدد انتخاب شدند. این مقالات شامل موضوعات مرتبط با منطق محض و کاربردی، مبانی و فلسفه ریاضیات و علوم، نظریه مجموعه ها، نظریه مدل، نظریه اثبات، حوزه های علوم کامپیوتر نظری، هوش مصنوعی و سایر رشته هایی است که مستقیماً مورد علاقه ریاضیات و فلسفی هستند. منطق.
توضیحاتی درمورد کتاب به خارجی
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the 5th Indian Conference on Logic and Its Applications, ICLA 2013, held in Chennai, India, in January 2013. The 15 revised full papers presented together with 7 invited talks were carefully reviewed and selected from numerous submissions. The papers cover the topics related to pure and applied logic, foundations and philosophy of mathematics and the sciences, set theory, model theory, proof theory, areas of theoretical computer science, artificial intelligence and other disciplines which are of direct interest to mathematical and philosophical logic.
فهرست مطالب
Front Matter....Pages -
Constructive Decision Theory....Pages 1-4
Bisimulation and Coverings for Graphs and Hypergraphs....Pages 5-16
Forcing Axioms, Finite Conditions and Some More....Pages 17-26
A Note on Axiomatisations of Two-Dimensional Modal Logics....Pages 27-33
The Birth of Proof: Modality and Deductive Reasoning....Pages 34-49
Indiscrete Models: Model Building and Model Checking over Linear Time....Pages 50-68
Probabilistic IF Logic....Pages 69-79
Tableaux-Based Decision Method for Single-Agent Linear Time Synchronous Temporal Epistemic Logics with Interacting Time and Knowledge....Pages 80-96
Agent-Time Epistemics and Coordination....Pages 97-108
Dynamic Epistemic Logic for Channel-Based Agent Communication....Pages 109-120
On Kripke’s Puzzle about Time and Thought....Pages 121-126
Yablo Sequences in Truth Theories....Pages 127-138
Moving Up and Down in the Generic Multiverse....Pages 139-147
Constructing Cut Free Sequent Systems with Context Restrictions Based on Classical or Intuitionistic Logic....Pages 148-160
Cut Elimination for Gentzen’s Sequent Calculus with Equality and Logic of Partial Terms....Pages 161-172
Logic of Non-monotonic Interactive Proofs....Pages 173-184
Noninterference for Intuitionist Necessity....Pages 185-196
Many-Valued Logics, Fuzzy Logics and Graded Consequence: A Comparative Appraisal....Pages 197-209
Fuzzy Preorder, Fuzzy Topology and Fuzzy Transition System....Pages 210-219
Public Announcements for Non-omniscient Agents....Pages 220-232
Subset Space Logic with Arbitrary Announcements....Pages 233-244
Subset Space Public Announcement Logic....Pages 245-257
Back Matter....Pages -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Das Assessment-Center-Verfahren der Eignungsbeurteilung: Sein Aufbau, seine Anwendung und sein Aussagegehalt
دانلود کتاب Zwischen Regulierung und Wettbewerb: Netzsektoren in Deutschland
دانلود کتاب Story of my people
دانلود کتاب Guyland: The Perilous World Where Boys Become Men
