Машины Тьюринга

О чём курс

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

Что внутри

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

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

Формат

Курс состоит из видеоуроков, которые сопровождаются наглядными примерами для упрощения восприятия сложных абстрактных понятий. Для освоения программы не требуется узкоспециализированных входных знаний — вся необходимая база содержится в видеоматериалах.

Для кого

Материал курса ориентирован на развитие фундаментального понимания вычислений и рассчитан на:

• действующих и начинающих программистов;
• системных архитекторов;
• студентов и аспирантов технических вузов;
• всех, кто интересуется теоретической информатикой, кибернетикой и цифровыми технологиями.