دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Categorical Quantum Models and Logics (Pallas Proefschriften)
دانلود کتاب مدل ها و منطق های کوانتومی دسته بندی (Pallas Proefschriften)
مشخصات کتاب
Categorical Quantum Models and Logics (Pallas Proefschriften)
ویرایش:
نویسندگان: Chris Heunen
سری:
ISBN (شابک) : 9085550246, 9048511348
ناشر: Pallas Publications
سال نشر: 2009
تعداد صفحات: 214
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 2 مگابایت
قیمت کتاب (تومان) : 31,000
در صورت تبدیل فایل کتاب Categorical Quantum Models and Logics (Pallas Proefschriften) به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مدل ها و منطق های کوانتومی دسته بندی (Pallas Proefschriften) نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب مدل ها و منطق های کوانتومی دسته بندی (Pallas Proefschriften)
این پایان نامه با استفاده از نظریه مقوله به عنوان ابزار اصلی و راهنمای مفهومی، منطق پشت فیزیک کوانتومی را مطالعه می کند. برای انجام این کار، اصول مکانیک کوانتومی به طور طبقه‌بندی مدل‌سازی شده‌اند. این مدل‌های کوانتومی طبقه‌بندی شده با تعبیه در مقوله فضاهای هیلبرت، فرمالیسم سنتی فیزیک کوانتومی توجیه می‌شوند. به طور خاص، اعداد مختلط بدون اینکه به صراحت تجویز شده باشند ظاهر می شوند. تفسیر منطق در چنین دسته‌هایی منجر به شبکه‌های خاصیت قاعده‌ای می‌شود، و علاوه بر این، یک محیط طبیعی برای در نظر گرفتن کمی‌سازها فراهم می‌کند. در نهایت، نظریه توپوس، که منطق مقوله‌ای را به شیوه‌ای تصفیه‌شده ترکیب می‌کند، به شخص اجازه می‌دهد تا یک سیستم کوانتومی را طوری مطالعه کند که گویی کلاسیک است، به‌ویژه که منجر به یک مفهوم ریاضی جدید از کوانتومی می‌شود.
توضیحاتی درمورد کتاب به خارجی
This dissertation studies the logic behind quantum physics, using category theory as the principal tool and conceptual guide. To do so, principles of quantum mechanics are modeled categorically. These categorical quantum models are justified by an embedding into the category of Hilbert spaces, the traditional formalism of quantum physics. In particular, complex numbers emerge without having been prescribed explicitly. Interpreting logic in such categories results in orthomodular property lattices, and furthermore provides a natural setting to consider quantifiers. Finally, topos theory, incorporating categorical logic in a refined way, lets one study a quantum system as if it were classical, in particular leading to a novel mathematical notion of quantum-
فهرست مطالب
Preface......Page 6
Contents......Page 8
Ch 1. Introduction......Page 10
Ch 2. Tensors and biproducts......Page 20
Ch 3. Dagger categories......Page 56
Ch 4. Dagger kernel logic......Page 108
Ch 5. Bohrification......Page 150
Bibliography......Page 190
Index of categories......Page 204
Index of notation......Page 206
Index of subjects......Page 208
Samenvatting......Page 212
Curriculum vitae......Page 214
