В разделе объясняется, почему понятие вычисления нельзя сводить только к работе современного компьютера. Формулируются тема, проблема, цель и задачи проекта, а также обозначается связь между абстрактными математическими моделями, алгоритмами и реальными информационными технологиями. Отдельно уточняется, какие вопросы будут рассмотрены при переходе от классических устройств к квантовым системам.

Пункт знакомит с основными терминами теории вычислений: алгоритмом, входными и выходными данными, формальным исполнителем и вычислимой функцией. Рассматривается требование конечности и однозначности алгоритма, а также объясняется, почему некоторые задачи не имеют общего алгоритмического решения. Эти понятия создают основу для дальнейшего анализа моделей вычислений.

Здесь описываются компоненты машины Тьюринга: бесконечная лента, головка, алфавит, внутренние состояния и таблица переходов. На простом примере показывается, как машина читает символ, изменяет его, перемещается по ленте и выбирает следующее состояние. Объясняется значение универсальной машины и её роль в формализации понятия алгоритма.

Раздел посвящён конечным автоматам, стековым автоматам, рекурсивным функциям и логическим схемам. Сравнивается объём памяти и класс задач, доступный каждой модели, приводятся примеры распознавания строк, проверки синтаксиса и выполнения логических операций. Материал показывает, что разные модели удобны для разных уровней описания вычислительного процесса.

В пункте рассматриваются время и память как основные ресурсы алгоритма, а также различие между возможностью решения задачи и практической эффективностью её решения. Вводятся понятия полиномиальной и экспоненциальной сложности, классов P и NP на доступном уровне. Приводятся примеры задач, для которых увеличение входных данных резко повышает объём вычислений.

Раздел объясняет устройство кубита и его отличие от классического бита, используя понятия суперпозиции, измерения и вероятности. Рассматривается роль квантовых вентилей, запутанности и интерференции в построении вычислений. Также отмечается, что квантовые алгоритмы требуют специальной подготовки данных и не обеспечивают универсального ускорения для любой задачи.

Здесь рассматриваются примеры алгоритмов Дойча—Йожи, Гровера и Шора, но без чрезмерного углубления в математический аппарат. Объясняется, какие особенности задач позволяют использовать квантовое ускорение, почему важны коррекция ошибок и устойчивость кубитов. Пункт связывает теоретические идеи с применениями в криптографии, оптимизации и моделировании физических систем.

В практической части предлагается выполнить пошаговую демонстрацию работы простой машины Тьюринга или конечного автомата и сопоставить её с элементарной квантовой схемой в симуляторе. Фиксируются исходные данные, последовательность операций и результат измерения. Полученные наблюдения оформляются в таблицу, чтобы сравнить способ представления информации, память, детерминированность и ограничения моделей.

В заключении обобщаются результаты сравнения теоретических моделей вычислений и формулируется их значение для информатики. Подчёркивается, что машина Тьюринга описывает общую идею алгоритмического процесса, классические модели различаются выразительностью и ресурсами, а квантовые системы используют особые физические принципы. Также отмечаются ограничения проведённой демонстрации и направления дальнейшего изучения темы.

В разделе приводятся учебники, научно-популярные материалы и электронные ресурсы, использованные при подготовке проекта. Источники распределяются по темам: теория алгоритмов и вычислимость, работы и биография Алана Тьюринга, вычислительная сложность, основы квантовой механики и современные квантовые вычисления. Для интернет-материалов указываются названия ресурсов и даты обращения.