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

1. Введение в теорию
автоматов и вычислений
Курс 1: Автоматы
Занятие 1 - знакомство с курсом
(с) Клейнер Игорь – M.Sc.
2015

2. Добро пожаловать

3. О чем будет курс?

4. О чем будет курс?
O Главные вопросы мучающие простого человека

5. О чем будет курс?
O Главные вопросы мучающие простого человека
O Что такое компьютер?

6. О чем будет курс?
O Главные вопросы мучающие простого человека
O Что такое компьютер? - как математически
определить компьютер?

7. О чем будет курс?
O Главные вопросы мучающие простого человека
O Что такое компьютер? - как математически
определить компьютер?
O Что может, а что не может компьютер? – какие
задачи, никогда нельзя будет решить на
компьютере

8. О чем будет курс?
O Главные вопросы мучающие простого программиста
O Что такое компьютер? - как математически
определить компьютер?
O Что может, а что не может компьютер? – какие
задачи, никогда нельзя будет решить на компьютере
O Что такое эффективное алгоритм? – почему у
некоторых задач есть эффективные решения, а у
других нет и возможно не будет?

9. О чем будет курс?
O Что такое компьютер
O Что может, а что не может компьютер?
O Что такое эффективное алгоритм?
O В рамках каждого из трех миникурсов: автоматы,
вычислимость, сложность, мы дадим ответы на эти
вопросы с разных точек зрения

10. О чем будет курс?
O Что такое компьютер
O Что может, а что не может компьютер?
O Что такое эффективное алгоритм?
O В рамках каждого из трех миникурсов: автоматы,
вычислимость, сложность, мы дадим ответы на эти
вопросы с разных точек зрения

11. В следующий раз
O План курса:
O Миникурс – автоматы и грамматики
O Миникурс – вычислимость и машины Тьюринга
O Миникурс – теория сложности
O Знакомство с преподавателем: