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

Узнайте суть главной вычислительной модели — машины Тьюринга

Ratings: 0.00 / 5.00




Description

Машины Тьюринга являются одними из первых аппаратов в исследованиях по теории алгоритмов. Понятие «машин Тьюринга» было введено английским математиком и логиком Аланом Тьюрингом

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

Курс «Машины Тьюринга» включает в себя вводную часть, которая познакомит вас с основными разновидностями Машин Тьюринга, их практическим применением и их особенностями. Основная часть курса содержит в себе больше практической работы, связанной с программированием машин Тьюринга различными способами, а также с работой на симуляторах машин Тьюринга.

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

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

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

  • Зоопарк машин Тьюринга

  • Универсальная машина Тьюринга

  • Устройство универсальной машины Тьюринга

  • Недетерминированная машина Тьюринга

  • Машина Тьюринга с несколькими лентами

  • Машина Тьюринга с несколькими дорожками

  • Квантовая машина Тьюринга

  • Нейронная машина Тьюринга

  • Вероятностная машина Тьюринга

  • Машина Поста-Тьюринга

  • Только читающая машина Тьюринга

  • Только читающая машина Тьюринга с только правым сдвигом

  • Симметричная машина Тьюринга

  • Машина Тьюринга, которая всегда останавливается

  • Однозначная машина Тьюринга

  • Предельный ординал Омега

  • Машина Зенона

  • Формальные системы

  • Теоремы Гёделя о неполноте

  • Диагонализация Кантора

  • Проблема останова машины Тьюринга

  • Тьюринг-полнота

  • Тезис Чёрча-Тьюринга

  • Унарное и бинарное кодирование информации для машины Тьюринга

  • Языки программирования для машин Тьюринга

  • Общие принципы программирования машин Тьюринга

  • Программирование машин Тьюринга: инкремент

  • Программирование машин Тьюринга: сложение

  • Программирование машин Тьюринга: вычитание

  • Программирование машины Поста

  • Симуляторы машин Тьюринга

В целом, ничего кроме желания учиться, не требуется — вся необходимая информация есть в видео курса, а главными целями курса являются:

1. Изучение понятия вычислений

2. Понимание суть машин Тьюринга

3. Получение информации о вариантах машин Тьюринга

4. Получение навыка программирования машин Тьюринга

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

What You Will Learn!

  • Изучение понятия вычислений
  • Понимание суть машин Тьюринга
  • Получение информации о вариантах машин Тьюринга
  • Получение навыка программирования машин Тьюринга

Who Should Attend!

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