Description
Машины Тьюринга являются одними из первых аппаратов в исследованиях по теории алгоритмов. Понятие «машин Тьюринга» было введено английским математиком и логиком Аланом ТьюрингомПро машину Тьюринга, пожалуй, должен знать любой школьник, мечтающий стать программистом. Ведь именно её считают основой основ теории алгоритмов. Несмотря на её довольно сложное формальное определение, идея в принципе проста. Чтобы понять её, будет достаточно пройти курс «Машины Тьюринга».Курс «Машины Тьюринга» включает в себя вводную часть, которая познакомит вас с основными разновидностями Машин Тьюринга, их практическим применением и их особенностями. Основная часть курса содержит в себе больше практической работы, связанной с программированием машин Тьюринга различными способами, а также с работой на симуляторах машин Тьюринга.После прохождения курса вы будете знать основные термины и понятиями, которые могут встретиться в работе с машинами Тьюринга, а также получите навыки программирования таких машин.Так как курс «Машины Тьюринга» не только теоретический, но и практический: лекции сопровождаются большим количеством наглядных примеров, упрощающих восприятие материала. Курс состоит из следующий основных тем:Машина ТьюрингаЗоопарк машин ТьюрингаУниверсальная машина ТьюрингаУстройство универсальной машины ТьюрингаНедетерминированная машина ТьюрингаМашина Тьюринга с несколькими лентамиМашина Тьюринга с несколькими дорожкамиКвантовая машина ТьюрингаНейронная машина ТьюрингаВероятностная машина ТьюрингаМашина Поста-ТьюрингаТолько читающая машина ТьюрингаТолько читающая машина Тьюринга с только правым сдвигомСимметричная машина ТьюрингаМашина Тьюринга, которая всегда останавливаетсяОднозначная машина ТьюрингаПредельный ординал ОмегаМашина ЗенонаФормальные системыТеоремы Гёделя о неполнотеДиагонализация КантораПроблема останова машины ТьюрингаТьюринг-полнотаТезис Чёрча-ТьюрингаУнарное и бинарное кодирование информации для машины ТьюрингаЯзыки программирования для машин ТьюрингаОбщие принципы программирования машин ТьюрингаПрограммирование машин Тьюринга: инкрементПрограммирование машин Тьюринга: сложениеПрограммирование машин Тьюринга: вычитаниеПрограммирование машины ПостаСимуляторы машин ТьюрингаВ целом, ничего кроме желания учиться, не требуется - вся необходимая информация есть в видео курса, а главными целями курса являются:1. Изучение понятия вычислений2. Понимание суть машин Тьюринга3. Получение информации о вариантах машин Тьюринга4. Получение навыка программирования машин ТьюрингаОбучение на курсе будет особенно полезно действующим и будущим программистам, системным архитекторам; студентам и аспирантам технических вузов, а также всем интересующимся информатикой, кибернетикой и цифровыми технологиями
