Продвинутый уровень · Доказательства
Вычислимость
Объяснить тьюринг и выполнить упражнение «Построить машину для простой функции», обосновав выбранный подход.
Это программа подготовки модуля. Полный урок ещё не опубликован. Существующие статьи используются как заготовки и требуют редакторской проверки.
Перед началом
Последовательность уроков
Тьюринг
До урока: предварительные знания модуля. Результат: объяснить тьюринг на примере и применить в итоговом упражнении.
Подготовить пошаговый пример, схему связей понятий, типичную ошибку и способ её обнаружения.
Пост
До урока: Тьюринг. Результат: объяснить пост на примере и применить в итоговом упражнении.
Подготовить пошаговый пример, схему связей понятий, типичную ошибку и способ её обнаружения.
Марков
До урока: Пост. Результат: объяснить марков на примере и применить в итоговом упражнении.
Подготовить пошаговый пример, схему связей понятий, типичную ошибку и способ её обнаружения.
Проблема остановки
До урока: Марков. Результат: объяснить проблема остановки на примере и применить в итоговом упражнении.
Подготовить пошаговый пример, схему связей понятий, типичную ошибку и способ её обнаружения.
Исходные статьи
- Теория вычислений: Машина Тьюринга, Машина Поста, НАМ и АвтоматыЗаготовка · ожидает дополнения и проверки
Практика
Задания находятся в программе подготовки. Для базового модуля нужны две задачи на освоение, две на применение и одна в новом контексте. Продвинутые подборки открываются после соответствующей базы.
Подготовить доказательство, контрпример, реализацию и измерительный эксперимент.
Проверочные вопросы
- Объясните «Тьюринг» на собственном примере. Какие предварительные условия необходимы?
- Какая типичная ошибка возможна в упражнении «Построить машину для простой функции»? Какой пример её обнаружит?
Критерии ответа: верные определения, подходящий пример, явные условия применимости и объяснение проверки.
Итоговое упражнение
Построить машину для простой функции
- Объединить темы модуля и объяснить выбор решения.
- Проверить нормальный, граничный и ошибочный сценарии.
- Обосновать корректность, время и память; приложить результаты проверки.