دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky: Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday
دانلود کتاب محاسبات ، منطق ، بازی ها و مبانی کوانتومی. بسیاری از وجوه سامسون آبرامسکی: مقاله هایی به مناسبت 60 سالگی تولد سامسون آبرامسکی
مشخصات کتاب
Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky: Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday
ویرایش: 1 نویسندگان: Adam Brandenburger, H. Jerome Keisler (auth.), Bob Coecke, Luke Ong, Prakash Panangaden (eds.) سری: Lecture Notes in Computer Science 7860 : Theoretical Computer Science and General Issues ISBN (شابک) : 9783642381638, 9783642381645 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2013 تعداد صفحات: 380 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 15 مگابایت
قیمت کتاب (تومان) : 29,000
کلمات کلیدی مربوط به کتاب محاسبات ، منطق ، بازی ها و مبانی کوانتومی. بسیاری از وجوه سامسون آبرامسکی: مقاله هایی به مناسبت 60 سالگی تولد سامسون آبرامسکی: منطق و معانی برنامه ها، محاسبات با دستگاه های انتزاعی، منطق ریاضی و زبان های رسمی، تحلیل الگوریتم و پیچیدگی مسائل، مهندسی نرم افزار، زبان های برنامه نویسی، کامپایلر ها، مترجمان
در صورت تبدیل فایل کتاب Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky: Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب محاسبات ، منطق ، بازی ها و مبانی کوانتومی. بسیاری از وجوه سامسون آبرامسکی: مقاله هایی به مناسبت 60 سالگی تولد سامسون آبرامسکی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب محاسبات ، منطق ، بازی ها و مبانی کوانتومی. بسیاری از وجوه سامسون آبرامسکی: مقاله هایی به مناسبت 60 سالگی تولد سامسون آبرامسکی
این جلد Festschrift که به افتخار سامسون آبرامسکی منتشر شده است، حاوی مطالبی است که توسط برخی از همکاران، دانشجویان سابق و دوستان او نوشته شده است. به مناسبت شصتمین سالگرد تولد سامسون آبرامسکی، کنفرانسی در آکسفورد، انگلستان، طی 28 تا 30 می 2010 برگزار شد. مقالات این جلد، نشان دهنده کمک های متعدد او به معناشناسی، منطق، بازی ها و مکانیک کوانتومی است.
توضیحاتی درمورد کتاب به خارجی
This Festschrift volume, published in honor of Samson Abramsky, contains contributions written by some of his colleagues, former students, and friends. In celebration of the 60th birthday of Samson Abramsky, a conference was held in Oxford, UK, during May 28-30, 2010. The papers in this volume represent his manifold contributions to semantics, logic, games, and quantum mechanics.
فهرست مطالب
Front Matter....Pages -
Use of a Canonical Hidden-Variable Space in Quantum Mechanics....Pages 1-6
Imperfect Information in Logic and Concurrent Games....Pages 7-20
Compositional Quantum Logic....Pages 21-36
The Algebra of Directed Acyclic Graphs....Pages 37-51
Diagrammatic Reasoning for Delay-Insensitive Asynchronous Circuits....Pages 52-68
Payoffs, Intensionality and Abstraction in Games....Pages 69-82
On the Theory of Composition in Physics....Pages 83-106
On the Functor ℓ 2 ....Pages 107-121
Quantum Speedup and Categorical Distributivity....Pages 122-138
Unifying Semantics for Concurrent Programming....Pages 139-149
Unfixing the Fixpoint: The Theories of the λY -Calculus....Pages 150-165
Continuous Domain Theory in Logical Form....Pages 166-177
Presheaf Models of Quantum Computation: An Outline....Pages 178-194
Nothing Can Be Fixed....Pages 195-196
Dialogue Categories and Frobenius Monoids....Pages 197-224
Anatomy of a Domain of Continuous Random Variables II....Pages 225-245
Towards Nominal Abramsky....Pages 246-263
Techniques for Formal Modelling and Analysis of Quantum Systems....Pages 264-276
Quantum Field Theory for Legspinners....Pages 277-290
Bicompletions of Distance Matrices....Pages 291-310
Partial Recursive Functions and Finality....Pages 311-326
Breaking the Atom with Samson....Pages 327-335
Reasoning about Strategies....Pages 336-347
Domain Theory in Topical Form....Pages 348-349
Kolmogorov Complexity of Categories....Pages 350-362
Back Matter....Pages -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Plant Physiology: Theory and Applications
دانلود کتاب Rationality in Greek Thought
دانلود کتاب Anger Management Best Practice Handbook: Controlling Anger Before it Controls You, Anger Management Proven Techniques and Excercises
