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

Теория автоматов и вычислений 1.3 знакомство, учебники, ссылки

Embed Size (px)

Citation preview

Page 1: Теория автоматов и вычислений 1.3 знакомство, учебники, ссылки

Введение в теорию автоматов и вычислений

Курс 1: Автоматы Занятие 3 - знакомство, литература, ссылки

(с) Клейнер Игорь – M.Sc.Школа обработки и анализа данных - ШОАДик

2015

Page 2: Теория автоматов и вычислений 1.3 знакомство, учебники, ссылки

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

Page 3: Теория автоматов и вычислений 1.3 знакомство, учебники, ссылки

ПовторениеO Что такое компьютерO Что может, а что не может компьютер? O Что такое эффективное алгоритм?

O В рамках каждого из трех миникурсов: автоматы, вычислимость, сложность, мы дадим ответы на эти вопросы с разных точек зрения

Page 4: Теория автоматов и вычислений 1.3 знакомство, учебники, ссылки

ПовторениеO 3 миникурса

O автоматы и грамматикиO вычислимость и машины ТьюрингаO теория сложности

Page 5: Теория автоматов и вычислений 1.3 знакомство, учебники, ссылки

Будем знакомыO Клейнер Игорь – M.Sc.

Page 6: Теория автоматов и вычислений 1.3 знакомство, учебники, ссылки

Будем знакомыO Клейнер Игорь – M.Sc. O Обучение: computer science, psychology, statistics

Page 7: Теория автоматов и вычислений 1.3 знакомство, учебники, ссылки

Будем знакомыO Клейнер Игорь – M.Sc. O Обучение: computer science, psychology, statisticsO Преподавал в вузах Израиля в общей сложности

более 10 лет

Page 8: Теория автоматов и вычислений 1.3 знакомство, учебники, ссылки

Будем знакомыO Клейнер Игорь – M.Sc. O Обучение: computer science, psychology, statisticsO Преподавал в вузах Израиля в общей сложности

более 10 летO Работал в компаниях: Skype, Intel, Microsoft, Huawei,

Infowatch, Haifa University, Ort-Braude college

Page 9: Теория автоматов и вычислений 1.3 знакомство, учебники, ссылки

Будем знакомыO Клейнер Игорь – M.Sc. O Обучение: computer science, psychology, statisticsO Преподавал в вузах Израиля в общей сложности

более 10 летO Работал в компаниях: Skype, Intel, Microsoft, Huawei,

Infowatch, Haifa University, Ort-Braude collegeO Автор множества онлайн курсов:

Page 10: Теория автоматов и вычислений 1.3 знакомство, учебники, ссылки
Page 11: Теория автоматов и вычислений 1.3 знакомство, учебники, ссылки
Page 12: Теория автоматов и вычислений 1.3 знакомство, учебники, ссылки

Будем знакомыO Напишите о себе в комментариях к видео или в нашей

группе в контакте

Page 13: Теория автоматов и вычислений 1.3 знакомство, учебники, ссылки

ЛитератураO Introduction to the theory of computation, M. Sipser

Page 14: Теория автоматов и вычислений 1.3 знакомство, учебники, ссылки

ЛитератураO Введение в теорию автоматов, языков и вычислений Д.

Хопкрофт. Р. Мотивани, Д. Ульман.

Page 15: Теория автоматов и вычислений 1.3 знакомство, учебники, ссылки

Онлайн курсO coursera.org/course/automata

Page 16: Теория автоматов и вычислений 1.3 знакомство, учебники, ссылки

СсылкиO Слайды на slideshare: slideshare.net/igorkleiner5/O Плейлист курса: https://goo.gl/JoqyjdO Группа в контакте: https://vk.com/computationtheoryO Канал на ютуб: www.youtube.com/user/igorkle1

Page 17: Теория автоматов и вычислений 1.3 знакомство, учебники, ссылки

В следующий разO Регулярные языки – знакомство с автоматами