檢索結果
在您的搜尋 主題建議
在您的搜尋 主題建議
- рекурсивные функции
- Алгоритмы, теория 11
- Математическая логика 11
- множества 11
- учебные пособия 11
- машины Тьюринга 10
- математика 9
- алгоритмы 8
- предикаты 8
- теория 8
- математическая логика 7
- высказывания 6
- машина тьюринга 6
- функции 6
- информатика 5
- исчисление 5
- массивы 5
- сложность 5
- строки 5
- типы данных 5
- указатели 5
- выражения 4
- неразрешимость 4
- сортировка 4
- структуры 4
- теорема Геделя 4
- алгебра 3
- алгоритмические проблемы 3
- алфавит 3
- булевы функции 3
-
1
-
2
Основания интуиционистской математики с точки зрения теории рекурсивных функций пер. с англ.
出版 Москва, Наука, 1978圖書 -
3
-
4
-
5
-
6
-
7
-
8
-
9
-
10
-
11
-
12
Рекурсивно перечислимые множества и степени неразрешимости
出版 Казань, Изд-во Казанского ун-та, 1986圖書 -
13
-
14
-
15
Математическая логика, математическая лингвистика и теория алгоритмов сборник научных трудов
出版 Калинин, Изд-во Калининского гос. ун-та, 1983圖書 -
16
Алгоритмы в современной математике и ее приложениях материалы международного симпозиума, Ургенч, УзССР, 16-22 сентября 1979 г. [В 2-х г.]...
出版 Новосибирск, Изд-во СО АН СССР, 1982圖書 -
17
-
18
-
19
-
20