| dbo:description
|
- галузь математичної логіки, теорії алгоритмів та теоретичної інформатики, що вивчає обчислювані функції та ступені Тюрінга (uk)
- Teilgebiet der theoretischen Informatik und der mathematischen Logik (de)
- studiul funcțiilor calculabile și al gradelor Turing (ro)
- estudi sobre les funcions computables (ca)
- estudio sobre las funciones computables (es)
- studio delle funzioni calcolabili (it)
- study of computable functions and Turing degrees (en)
- раздел современной математики, лежащий на стыке математической логики, теории алгоритмов и информатики (ru)
- 計算可能な問題のクラスがいかなる構造をもっているかを調べる理論 (ja)
- domaine de la logique mathématique et de l’informatique théorique étudiant les fonctions calculables et les degrés Turing (fr)
|
