Город: Санкт-Петербург Новосибирск Казань Язык: Русский English

Вычисления с бесконечными данными
Новосибирск / осень 2020, посмотреть все семестры

Запишитесь на курс, чтобы получать уведомления и иметь возможность сдавать домашние задания. Для записи требуется регистрация на сайте.
Перейти к регистрации Войти

Цель данного мини-курса – дать первое представление о двух больших разделах теории вычислений с бесконечными данными. Первый раздел изучает поведение автоматов на бесконечных словах и является теоретической основой верификации систем информатики. Второй раздел, известный как вычислимый анализ, изучает вычисления на действительных числах и других объектах математического анализа (которые являются бесконечными) и задуман как теоретическое обоснование надежных численных методов. Оба раздела активно развиваются, имеют богатую теорию и опыт практической реализации.

Мини-курс состоит из четырех лекций со следующими названиями:

  1. Конечные автоматы на бесконечных словах.

  2. Автоматы и логика.

  3. Автоматы и бесконечные игры.

  4. Представление о вычислимом анализе.