دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Quantum Logic
دانلود کتاب منطق کوانتومی
مشخصات کتاب
Quantum Logic
ویرایش: 1st
نویسندگان: Karl Svozil
سری:
ISBN (شابک) : 9814021075
ناشر: Springer
سال نشر: 1998
تعداد صفحات: 232
زبان: English
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 3 مگابایت
قیمت کتاب (تومان) : 39,000
در صورت تبدیل فایل کتاب Quantum Logic به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب منطق کوانتومی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب منطق کوانتومی
منطق کوانتومی به مبانی مکانیک کوانتومی و مرتبط با آن، رفتار سیستم های قطعی محدود و گسسته می پردازد. رویکرد منطقی کوانتومی به ویژه برای بررسی و حذف برخی از مدل‌های پارامتر پنهان مکانیک کوانتومی مناسب است. برعکس، می توان از آن برای جاسازی جهان های کوانتومی در جهان های کلاسیک استفاده کرد. همچنین برای توصیف اتوماسیون محدود بسیار مرتبط است. این کتاب با در نظر گرفتن خوانندگان گسترده نوشته شده است. به انگیزه مفاهیم و بحث های صریح و مفصل در مورد مثال ها دقت زیادی شده است.
توضیحاتی درمورد کتاب به خارجی
Quantum Logic deals with the foundations of quantum mechanics and, related to it, the behaviour of finite, discrete deterministic systems. The quantum logical approach is particulalry suitable for the investigation and exclusion of certain hidden parameter models of quantum mechanics. Conversely, it can be used to embed quantum universes into classical ones. It is also highly relevant for the characterization of finite automation. This book has been written with a broad readership in mind. Great care has been given to the motivation of the concepts and to the explicit and detailed discussions of examples.
فهرست مطالب
Content: Discrete Mathematics and Theoretical Computer Science
Exploring RANDOMNESS
Copyright
Preface
Contents
Part I Introduction
Historical introduction-A century of controversy over the foundations of mathematics
What is LISP? Why do I like it?
How to program my universal Turing machine in LISP
Part II Program Size
A self-delimiting Turing machine considered as a set of (program, output) pairs
How to construct self-delimiting Turing machines: the Kraft inequality. The connection between program-size complexity and algorithmic probability: H(x) = -log2 P(x) + O(1). Occam's razor: there are few minimum-size programsThe basic result on relative complexity: H(y|x) = H(x, y) --
H(x) + O(1)
Part III Randomness
Theoretical interlude-What is randomness? My definitions
Proof that Martin-Löf randomness is equivalent to Chaitin randomness1
Proof that Solovay randomness is equivalent to Martin-Löf randomness
Proof that Solovay randomness is equivalent to strong Chaitin randomness1
Part IV Future Work.
