Машины Тьюринга [Roman Dushkin]

Складчина: Машины Тьюринга [Roman Dushkin]

Чему вы научитесь

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

Требования

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

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

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

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

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

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

• Машина Тьюринга
  
  
• Зоопарк машин Тьюринга
  
  
• Универсальная машина Тьюринга
  
  
• Устройство универсальной машины Тьюринга
  
  
• Недетерминированная машина Тьюринга
  
  
• Машина Тьюринга с несколькими лентами
  
  
• Машина Тьюринга с несколькими дорожками
  
  
• Квантовая машина Тьюринга
  
  
• Нейронная машина Тьюринга
  
  
• Вероятностная машина Тьюринга
  
  
• Машина Поста-Тьюринга
  
  
• Только читающая машина Тьюринга
  
  
• Только читающая машина Тьюринга с только правым сдвигом
  
  
• Симметричная машина Тьюринга
  
  
• Машина Тьюринга, которая всегда останавливается
  
  
• Однозначная машина Тьюринга
  
  
• Предельный ординал Омега
  
  
• Машина Зенона
  
  
• Формальные системы
  
  
• Теоремы Гёделя о неполноте
  
  
• Диагонализация Кантора
  
  
• Проблема останова машины Тьюринга
  
  
• Тьюринг-полнота
  
  
• Тезис Чёрча-Тьюринга
  
  
• Унарное и бинарное кодирование информации для машины Тьюринга
  
  
• Языки программирования для машин Тьюринга
  
  
• Общие принципы программирования машин Тьюринга
  
  
• Программирование машин Тьюринга: инкремент
  
  
• Программирование машин Тьюринга: сложение
  
  
• Программирование машин Тьюринга: вычитание
  
  
• Программирование машины Поста
  
  
• Симуляторы машин Тьюринга
  

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

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

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

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

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

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

Для кого этот курс:

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