theoretical computer science

Теорія обчислювальних систем

теоретичні засади обчислювальної техніки

теоретична комп'ютерика