دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Logic, Language, Information and Computation: 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA. Proceedings
دانلود کتاب منطق، زبان، اطلاعات و محاسبات: هجدهمین کارگاه بین المللی، WoLLIC 2011، فیلادلفیا، PA، ایالات متحده آمریکا. اقدامات
مشخصات کتاب
Logic, Language, Information and Computation: 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA. Proceedings
ویرایش: 1 نویسندگان: Rajeev Alur (auth.), Lev D. Beklemishev, Ruy de Queiroz (eds.) سری: Lecture Notes in Computer Science 6642 Lecture Notes in Artificial Intelligence ISBN (شابک) : 364220919X, 9783642209192 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2011 تعداد صفحات: 323 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 مگابایت
قیمت کتاب (تومان) : 46,000
کلمات کلیدی مربوط به کتاب منطق، زبان، اطلاعات و محاسبات: هجدهمین کارگاه بین المللی، WoLLIC 2011، فیلادلفیا، PA، ایالات متحده آمریکا. اقدامات: منطق ریاضی و زبان های رسمی، منطق و معانی برنامه ها، تحلیل الگوریتم و پیچیدگی مسئله، محاسبات با دستگاه های انتزاعی، ریاضیات گسسته در علوم کامپیوتر، دستکاری نمادین و جبری
در صورت تبدیل فایل کتاب Logic, Language, Information and Computation: 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب منطق، زبان، اطلاعات و محاسبات: هجدهمین کارگاه بین المللی، WoLLIC 2011، فیلادلفیا، PA، ایالات متحده آمریکا. اقدامات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب منطق، زبان، اطلاعات و محاسبات: هجدهمین کارگاه بین المللی، WoLLIC 2011، فیلادلفیا، PA، ایالات متحده آمریکا. اقدامات
این کتاب مجموعه مقالات داوری هجدهمین کارگاه آموزشی منطق، زبان، اطلاعات و ارتباطات، WoLLIC 2011، در فیلادلفیا، PA، ایالات متحده آمریکا، در ماه مه 2011 است. ارسالی ها از جمله موضوعات تحت پوشش، جنبه های مختلف منطق ریاضی، منطق های علوم کامپیوتر، منطق های فلسفی، مانند نظریه پیچیدگی، نظریه مدل، نظم جزئی، منطق هار، منطق ترکیبی، ماشین های تورینگ و غیره است.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 18th Workshop on Logic, Language, Information and Communication, WoLLIC 2011, held in Philadelphia, PA, USA, in May 2011. The 21 revised full papers presented were carefully reviewed and selected from 35 submissions. Among the topics covered are various aspects of mathematical logic, computer science logics, philosophical logics, such as complexity theory, model theory, partial order, Hoare logics, hybrid logics, Turing machines, etc.
فهرست مطالب
Front Matter....Pages -
Streaming String Transducers....Pages 1-1
Unification in Logic....Pages 2-2
A Symbolic Logic with Exact Bounds for Cryptographic Protocols....Pages 3-3
Univalent Foundations of Mathematics....Pages 4-4
Relational Concepts and the Logic of Reciprocity....Pages 5-5
Logic in the Time of WWW: An OWL View....Pages 6-7
A Complexity Question in Justification Logic....Pages 8-19
Basic Model Theory for Memory Logics....Pages 20-34
Partial Realization in Dynamic Justification Logic....Pages 35-51
Hoare Logic for Higher Order Store Using Simple Semantics....Pages 52-66
Nominal Lawvere Theories....Pages 67-83
Turing Machines on Cayley Graphs....Pages 84-94
Information Flow on Directed Acyclic Graphs....Pages 95-109
The Boyce-Codd-Heath Normal Form for SQL....Pages 110-122
Hybrid Logics and NP Graph Properties....Pages 123-134
On the Expressive Power of IF-Logic with Classical Negation....Pages 135-145
Concurrent Logic Games on Partial Orders....Pages 146-160
Dynamic Epistemic Algebra with Post-conditions to Reason about Robot Navigation....Pages 161-175
Untestable Properties in the Kahr-Moore-Wang Class....Pages 176-186
Characterizing Definability of Second-Order Generalized Quantifiers....Pages 187-200
Countable Version of Omega-Rule....Pages 201-209
Decomposing the Lattice of Meaningless Sets in the Infinitary Lambda Calculus....Pages 210-227
Strong Normalization and Confluence for Reflexive Combinatory Logic....Pages 228-238
On Polymorphic Types of Untyped Terms....Pages 239-256
Querying the Fragments of English....Pages 257-271
Strong Paraconsistency by Separating Composition and Decomposition in Classical Logic....Pages 272-292
How Much Expressive Power Is Needed for Natural Language Temporal Indexicality?....Pages 293-309
Back Matter....Pages -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Entscheidungen ohne explizit formulierte Ziele bei unvollkommener Information: Untersuchung unter besonderer Berücksichtigung der Problematik der regionalpolitischen Entscheidung
دانلود کتاب Gynecologic Oncology
دانلود کتاب My Portuguese Phrasebook: The Right Words at the Right Time
