دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب New Structures for Physics
دانلود کتاب ساختارهای جدید برای فیزیک
مشخصات کتاب
New Structures for Physics
ویرایش: 1 نویسندگان: S. Abramsky, N. Tzevelekos (auth.), Bob Coecke (eds.) سری: Lecture Notes in Physics 813 ISBN (شابک) : 9783642128202, 9783642128219 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2011 تعداد صفحات: 1035 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 13 مگابایت
قیمت کتاب (تومان) : 50,000
کلمات کلیدی مربوط به کتاب ساختارهای جدید برای فیزیک: روشهای ریاضی در فیزیک، نظریه مقوله، جبر همسانی، نظریه محاسبات
در صورت تبدیل فایل کتاب New Structures for Physics به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب ساختارهای جدید برای فیزیک نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب ساختارهای جدید برای فیزیک
این جلد مجموعه‌ای از آموزش‌ها را در مورد ساختارهای ریاضی ارائه می‌کند که اخیراً در فیزیک برجسته شده‌اند، از پایه‌های کوانتومی، از طریق اطلاعات کوانتومی تا گرانش کوانتومی. اینها عبارتند از تئوری مقوله‌های تک‌وئیدی و محاسبات گرافیکی متناظر، منطق خطی ژیرارد، حوزه‌های اسکات، حساب لامبدا و منطق‌های متناظر برای تایپ، نظریه توپوس و ساختارهای فرآیند کلی‌تر. بیشتر این ساختارها در علوم کامپیوتر بسیار برجسته هستند. فصل های اینجا برای مخاطبان فیزیکدانان طراحی شده است.
توضیحاتی درمورد کتاب به خارجی
This volume provides a series of tutorials on mathematical structures which recently have gained prominence in physics, ranging from quantum foundations, via quantum information, to quantum gravity. These include the theory of monoidal categories and corresponding graphical calculi, Girard’s linear logic, Scott domains, lambda calculus and corresponding logics for typing, topos theory, and more general process structures. Most of these structures are very prominent in computer science; the chapters here are tailored towards an audience of physicists.
فهرست مطالب
Front Matter....Pages i-xviii
Front Matter....Pages 1-1
Introduction to Categories and Categorical Logic....Pages 3-94
Physics, Topology, Logic and Computation: A Rosetta Stone....Pages 95-172
Categories for the Practising Physicist....Pages 173-286
Front Matter....Pages 287-287
A Survey of Graphical Languages for Monoidal Categories....Pages 289-355
Geometry of Interaction and the Dynamics of Proof Reduction: A Tutorial....Pages 357-417
Front Matter....Pages 419-419
Dagger Categories and Formal Distributions....Pages 421-436
Proof Nets as Formal Feynman Diagrams....Pages 437-466
Compact Monoidal Categories from Linguistics to Physics....Pages 467-487
Front Matter....Pages 489-489
Domain Theory and Measurement....Pages 491-591
A Partial Order on Classical and Quantum States....Pages 593-683
Front Matter....Pages 685-685
Domain Theory and General Relativity....Pages 687-703
Process, Distinction, Groupoids and Clifford Algebras: an Alternative View of the Quantum Formalism....Pages 705-752
“What is a Thing?”: Topos Theory in the Foundations of Physics....Pages 753-937
Front Matter....Pages 939-939
Can a Quantum Computer Run the von Neumann Architecture?....Pages 941-982
A Categorical Presentation of Quantum Computation with Anyons....Pages 983-1025
Back Matter....Pages 1027-1031
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Quilting ... just a little bit crazy: a marriage of traditional & crazy quilting
دانلود کتاب Low Fat: Easy Cooking, Great Eating (Cooksmart)
دانلود کتاب Starting Out with Visual C#
دانلود کتاب Matemáticas. V. Cálculo diferencial
