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

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

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

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

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

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