دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Logic, Language, Information, and Computation: 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings
دانلود کتاب منطق، زبان، اطلاعات و محاسبات: 24 کارگاه آموزشی بین المللی، WoLLIC 2017، لندن، انگلستان، 18-21 ژوئیه 2017، پرونده ها
مشخصات کتاب
Logic, Language, Information, and Computation: 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings
ویرایش: 1
نویسندگان: Juliette Kennedy. Ruy J.G.B. de Queiroz (eds.)
سری: Lecture Notes in Computer Science 10388
ISBN (شابک) : 9783662553862, 9783662553855
ناشر: Springer-Verlag Berlin Heidelberg
سال نشر: 2017
تعداد صفحات: 411
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 7 مگابایت
قیمت کتاب (تومان) : 39,000
کلمات کلیدی مربوط به کتاب منطق، زبان، اطلاعات و محاسبات: 24 کارگاه آموزشی بین المللی، WoLLIC 2017، لندن، انگلستان، 18-21 ژوئیه 2017، پرونده ها: است
در صورت تبدیل فایل کتاب Logic, Language, Information, and Computation: 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب منطق، زبان، اطلاعات و محاسبات: 24 کارگاه آموزشی بین المللی، WoLLIC 2017، لندن، انگلستان، 18-21 ژوئیه 2017، پرونده ها نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب منطق، زبان، اطلاعات و محاسبات: 24 کارگاه آموزشی بین المللی، WoLLIC 2017، لندن، انگلستان، 18-21 ژوئیه 2017، پرونده ها
ویرایش شده با همکاری FoLLI، انجمن منطق، زبان و اطلاعات، این کتاب مجموعه مقالات داوری بیست و چهارمین کارگاه آموزشی منطق، زبان، اطلاعات و ارتباطات، WoLLIC 2017، در لندن، بریتانیا، در اوت 2017 است. 28 مقاله ارائه شده به دقت بررسی و از بین 61 مقاله ارسالی انتخاب شدند. آنها تحقیقات میان رشته ای در منطق محض و کاربردی را پوشش می دهند، با هدف تعامل بین منطق و علوم مرتبط با اطلاعات و محاسبات.
توضیحاتی درمورد کتاب به خارجی
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 24th Workshop on Logic, Language, Information and Communication, WoLLIC 2017, held in London, UK, in August 2017. The 28 contributed papers were carefully reviewed and selected from 61 submissions. They cover interdisciplinary research in pure and applied logic, aiming at interactions between logic and the sciences related to information and computation.
فهرست مطالب
Front Matter....Pages I-X
Graph Turing Machines....Pages 1-13
Independence-Friendly Logic Without Henkin Quantification....Pages 14-30
Total Search Problems in Bounded Arithmetic and Improved Witnessing....Pages 31-47
On the Reflection Calculus with Partial Conservativity Operators....Pages 48-67
On the Length of Medial-Switch-Mix Derivations....Pages 68-79
Proof Theory and Ordered Groups....Pages 80-91
Constructive Canonicity for Lattice-Based Fixed Point Logics....Pages 92-109
Non-commutative Logic for Compositional Distributional Semantics....Pages 110-124
On Fragments of Higher Order Logics that on Finite Structures Collapse to Second Order....Pages 125-139
Computable Quotient Presentations of Models of Arithmetic and Set Theory....Pages 140-152
Lattice Logic Properly Displayed....Pages 153-169
Shift Registers Fool Finite Automata....Pages 170-181
The Lambek Calculus with Iteration: Two Variants....Pages 182-198
Multi-type Display Calculus for Semi De Morgan Logic....Pages 199-215
Dependent Event Types....Pages 216-228
A Geometry of Interaction Machine for Gödel’s System T....Pages 229-241
Disjoint Fibring of Non-deterministic Matrices....Pages 242-255
Generalized Relations in Linguistics and Cognition....Pages 256-270
Concrete Mathematics. Finitistic Approach to Foundations....Pages 271-280
Solovay’s Completeness Without Fixed Points....Pages 281-294
An Epistemic Generalization of Rationalizability....Pages 295-303
Knowledge Is a Diamond....Pages 304-320
Cut-Elimination for the Modal Grzegorczyk Logic via Non-well-founded Proofs....Pages 321-335
On Two Concepts of Ultrafilter Extensions of First-Order Models and Their Generalizations....Pages 336-348
Substructural Logics with a Reflexive Transitive Closure Modality....Pages 349-357
Global Neighbourhood Completeness of the Gödel-Löb Provability Logic....Pages 358-370
Coherent Diagrammatic Reasoning in Compositional Distributional Semantics....Pages 371-386
Algorithmic Sahlqvist Preservation for Modal Compact Hausdorff Spaces....Pages 387-400
Back Matter....Pages 401-401
