دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Quantum Computation and Logic: How Quantum Computers Have Inspired Logical Investigations
دانلود کتاب محاسبه و منطق کوانتوم: چگونه رایانه های کوانتومی از تحقیقات منطقی الهام گرفته اند
مشخصات کتاب
Quantum Computation and Logic: How Quantum Computers Have Inspired Logical Investigations
دسته بندی: علمی-مردمی ویرایش: 1st ed. نویسندگان: Maria Luisa Dalla Chiara, Roberto Giuntini, Roberto Leporini, Giuseppe Sergioli سری: Trends in Logic 48 ISBN (شابک) : 9783030044701, 9783030044718 ناشر: Springer International Publishing سال نشر: 2018 تعداد صفحات: 192 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 مگابایت
قیمت کتاب (تومان) : 31,000
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
کلمات کلیدی مربوط به کتاب محاسبه و منطق کوانتوم: چگونه رایانه های کوانتومی از تحقیقات منطقی الهام گرفته اند: فلسفه، منطق، منطق و مبانی ریاضی، محاسبات کوانتومی
در صورت تبدیل فایل کتاب Quantum Computation and Logic: How Quantum Computers Have Inspired Logical Investigations به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب محاسبه و منطق کوانتوم: چگونه رایانه های کوانتومی از تحقیقات منطقی الهام گرفته اند نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب محاسبه و منطق کوانتوم: چگونه رایانه های کوانتومی از تحقیقات منطقی الهام گرفته اند
این کتاب یک بررسی کلی از مفاهیم، سؤالات و نتایج اصلی است که
در تعاملات اخیر بین اطلاعات کوانتومی، محاسبات کوانتومی و منطق
ایجاد شده است. این کتاب که به 10 فصل تقسیم شده است، با مقدمه ای
از مفاهیم اصلی فرمالیسم نظری کوانتومی مورد استفاده در اطلاعات
کوانتومی شروع می شود. سپس یک نمایش ترکیبی از «شخصیت‌های ریاضی»
اصلی بازی محاسباتی کوانتومی ارائه می‌کند: کیوبیت‌ها،
quregisters، مخلوط‌های quregisters، دروازه‌های منطقی کوانتومی.
در مرحله بعد، کتاب پدیده‌های درهم تنیدگی گیج‌کننده را بررسی
می‌کند و پارادوکس انیشتین-پودولسکی-روزن را به طور منطقی تحلیل
می‌کند و خواننده را با منطق محاسباتی کوانتومی و اشکال جدید منطق
کوانتومی آشنا می‌کند. فصل‌های میانی امکان معناشناسی محاسباتی
کوانتومی را برای زبانی بررسی می‌کند که می‌تواند جملاتی مانند
«آلیس می‌داند که همه می‌دانند که او زیباست» را بیان می‌کند،
مفهوم ریاضی ماشین تورینگ کوانتومی را بررسی می‌کند، و مثال‌های
مشخصی را نشان می‌دهد که در چارچوب ظاهر می‌شوند. از زبان های
موسیقی این کتاب با تجزیه و تحلیل بحث های اخیر به پایان می رسد و
حاوی یک پیوست ریاضی است که بررسی تعاریف تمام مفاهیم اصلی ریاضی
استفاده شده در کتاب است.
توضیحاتی درمورد کتاب به خارجی
This book provides a general survey of the main concepts,
questions and results that have been developed in the recent
interactions between quantum information, quantum computation
and logic. Divided into 10 chapters, the books starts with an
introduction of the main concepts of the quantum-theoretic
formalism used in quantum information. It then gives a
synthetic presentation of the main “mathematical characters” of
the quantum computational game: qubits, quregisters, mixtures
of quregisters, quantum logical gates. Next, the book
investigates the puzzling entanglement-phenomena and logically
analyses the Einstein–Podolsky–Rosen paradox and introduces the
reader to quantum computational logics, and new forms of
quantum logic. The middle chapters investigate the possibility
of a quantum computational semantics for a language that can
express sentences like “Alice knows that everybody knows that
she is pretty”, explore the mathematical concept of quantum
Turing machine, and illustrate some characteristic examples
that arise in the framework of musical languages. The book
concludes with an analysis of recent discussions, and contains
a Mathematical Appendix which is a survey of the definitions of
all main mathematical concepts used in the book.
فهرست مطالب
Front Matter ....Pages i-xvi
The Mathematical Environment of Quantum Information (Maria Luisa Dalla Chiara, Roberto Giuntini, Roberto Leporini, Giuseppe Sergioli)....Pages 1-30
Pieces of Quantum Information and Quantum Logical Gates (Maria Luisa Dalla Chiara, Roberto Giuntini, Roberto Leporini, Giuseppe Sergioli)....Pages 31-52
Entanglement: Mystery and Resource (Maria Luisa Dalla Chiara, Roberto Giuntini, Roberto Leporini, Giuseppe Sergioli)....Pages 53-64
From Quantum Circuits to Quantum Computational Logics (Maria Luisa Dalla Chiara, Roberto Giuntini, Roberto Leporini, Giuseppe Sergioli)....Pages 65-84
Individuals, Quantifiers and Epistemic Operators (Maria Luisa Dalla Chiara, Roberto Giuntini, Roberto Leporini, Giuseppe Sergioli)....Pages 85-116
From Qubits to Qudits (Maria Luisa Dalla Chiara, Roberto Giuntini, Roberto Leporini, Giuseppe Sergioli)....Pages 117-126
What Exactly Are Quantum Computations? Classical and Quantum Turing Machines (Maria Luisa Dalla Chiara, Roberto Giuntini, Roberto Leporini, Giuseppe Sergioli)....Pages 127-138
Ambiguity in Natural and Artistic Languages: A Quantum Semantic Analysis (Maria Luisa Dalla Chiara, Roberto Giuntini, Roberto Leporini, Giuseppe Sergioli)....Pages 139-150
Quantum Information in the Foundational and Philosophical Debates About Quantum Theory (Maria Luisa Dalla Chiara, Roberto Giuntini, Roberto Leporini, Giuseppe Sergioli)....Pages 151-162
Mathematical Survey (Maria Luisa Dalla Chiara, Roberto Giuntini, Roberto Leporini, Giuseppe Sergioli)....Pages 163-174
Back Matter ....Pages 175-178
نظرات کاربران
کتاب های مرتبط
دانلود کتاب The Collected Poems and Journals of Mary Tighe
دانلود کتاب Science Integrated Level Blue
دانلود کتاب Earth Science
دانلود کتاب Sharks and Other Deadly Ocean Creatures
دانلود کتاب Creative Projects with Logic Audio
دانلود کتاب The Mating Mind: How Sexual Choice Shaped the Evolution of Human Nature
دانلود کتاب Biology: Science for Life
دانلود کتاب Global Information Society
