City: Saint Petersburg Novosibirsk Kazan Language: Русский English

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

Enroll in the course to get notifications and to be able to submit home assignments.
Register to enroll now Login

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

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

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

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

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

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