Рубрика

Назва:

 

алгоритми, обчислювальні функції  

Назва:

 

теорія складності  

Назва:

 

складність обчислень  

Назва:

 

алгоритмічна теорія інформації, складність за Колмогоровим  

Назва:

 

алгоритмічні проблеми, обчислювальна теорія множин  

Назва:

 

ієрархії алгоритмичних задач, ієрархія класів множин  

Назва:

 

алгоритмічні звідність та ступені  

Назва:

 

обчислення теорія  

Назва:

 

узагальнена теорія рекурсії  

Назва:

 

неперервні та рекурсивні функціонали  

Назва:

 

індуктивна визначуваність  

Назва:

 

обчислюваність абстрактних структур: ординали, допустимі множини  

Назва:

 

порядкова індексація; рекурсивні ординали  

Назва:

 

загальна теорія числень  

Назва:

 

системи перезапису термів  

Назва:

 

формальні граматики  

Назва:

 

обчислювальні, рекурсивні функції  

Назва:

 

субрекурсивні ієрархії: класи рекурсивних функцій  

Назва:

 

різноманітні моделі обчислень  

Назва:

 

машини Тюрінга та задачі, пов'язані з ними  

Назва:

 

лямбда-числення та комбінаторна логіка  

Назва:

 

автомати та їх логічні застосування  

Назва:

 

математичні моделі обчислювальних процесів  

Назва:

 

застосування теорії обчислень  

Назва:

 

теорія обчислюваності: загальні питання