Исследует фундаментальные основы вычислений: теорию сложности, формальные языки, автоматы, неразрешимые задачи, разрабатывает новые алгоритмические концепты.
Специальности 2025:
На данный момент нет содержимого, классифицированного этим термином.
