- Нові надходження
- Простий пошук
- Розширений пошук
- Допомога
- Автори
- Видавництва
- Серії
- Тезаурус (Рубрики)
- Публічні полиці
Рубрики
--> МАТЕМАТИКА. ПРИРОДНИЧІ НАУКИ
----> Математика
------> фундаментальні та загальні питання математики
--------> алгоритми, обчислювальні функції
--> МАТЕМАТИКА. ПРИРОДНИЧІ НАУКИ
----> Математика
------> фундаментальні та загальні питання математики
--------> алгоритми, обчислювальні функції
Рубрика
- Название:
- алгоритми, обчислювальні функції
- Название:
- теорія складності
- Название:
- складність обчислень
- Название:
- алгоритмічна теорія інформації, складність за Колмогоровим
- Название:
- алгоритмічні проблеми, обчислювальна теорія множин
- Название:
- ієрархії алгоритмичних задач, ієрархія класів множин
- Название:
- алгоритмічні звідність та ступені
- Название:
- обчислення теорія
- Название:
- узагальнена теорія рекурсії
- Название:
- неперервні та рекурсивні функціонали
- Название:
- індуктивна визначуваність
- Название:
- обчислюваність абстрактних структур: ординали, допустимі множини
- Название:
- порядкова індексація; рекурсивні ординали
- Название:
- загальна теорія числень
- Название:
- системи перезапису термів
- Название:
- формальні граматики
- Название:
- обчислювальні, рекурсивні функції
- Название:
- субрекурсивні ієрархії: класи рекурсивних функцій
- Название:
- різноманітні моделі обчислень
- Название:
- машини Тюрінга та задачі, пов'язані з ними
- Название:
- лямбда-числення та комбінаторна логіка
- Название:
- автомати та їх логічні застосування
- Название:
- математичні моделі обчислювальних процесів
- Название:
- застосування теорії обчислень
- Название:
- теорія обчислюваності: загальні питання