Столичний Бізнес Коледж
Факультет: В«КОМП'ЮТЕРНИХ ІНФОРМАЦІЙНИХ ТЕХНОЛОГІЇВ»
Курсова робота
За Операційним системам і середах
На тему:
В«Класичні та квантові обчисленняВ»
Виконав: Студент 3 курсу:
Михайлов М.А.
Москва
р.
Розділ № 0. Введення. Передмова
В останні роки інтерес до того, що називається "квантові комп'ютери", надзвичайно зріс. Ідея використання можливостей квантової механіки при організації обчислень виглядає все більш привабливою, розпочато експериментальні роботи в цій області. p align="justify"> Однак перспективи фізичної реалізації квантових комп'ютерів поки зовсім неясні. Швидше за все, це справа кількох десятиліть. Основні досягнення в цій галузі носять поки чисто математичний характер. p align="justify"> Ця книга призначена для початкового знайомства з математичною теорією квантових обчислень. Для зручності читача спочатку дається короткий вступ в класичну теорію складності обчислень. Потім докладно викладаються основи теорії квантових обчислень, включаючи опис основних відомих до теперішнього часу ефективних квантових алгоритмів. p align="justify"> Основу книги склали матеріали курсу "Класичне і квантове обчислення", прочитаного А. Шенем (класичні обчислення) і А. Китаєво (квантові обчислення) у Вищому коледжі математики Незалежного Московського університету у весняному семестрі 1998 При підготовці книги також використовувалися матеріали курсу Physics 229 - Advanced Mathematical Methods of Physics (Quantum computation), який вели Дж. Прескіллу (John Preskill) і А. Китаєв (за участю А. Ландау (Andrew Landahl)) в Каліфорнійському технологічному інституті в 1998 -1999 уч. м.
Необхідні для читання цієї книги знання невеликі. По суті, досить знання лінійної алгебри в обсязі стандартного університетського курсу, елементарної теорії ймовірностей, елементарної теорії чисел і мінімальних уявлень про теорії алгоритмів (наприклад, мати навички практичного програмування нетривіальних алгоритмів). p align="justify"> Позначення
диз'юнкція (логічне АБО)
кон'юнкція (логічне І)
заперечення
додавання по модулю 2 (а також пряма сума лінійних просторів)
імплікація (логічне проходження)
логічна еквівалентність
...