Torthaí cuardaigh
Topaicí molta laistigh de do chuardach.
Topaicí molta laistigh de do chuardach.
- рекурсивные функции
- Алгоритмы, теория 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
Основания интуиционистской математики с точки зрения теории рекурсивных функций пер. с англ.
Foilsithe / Cruthaithe Москва, Наука, 1978LEABHAR -
3
Введение в метаматематику пер. с англ.
Foilsithe / Cruthaithe Москва, Изд-во иностранной литературы, 1957LEABHAR -
4
-
5
Математическая логика и теория алгоритмов учебное пособие
Foilsithe / Cruthaithe Москва, Академия, 2008LEABHAR -
6
-
7
-
8
Логические и математические исчисления учебное пособие
Foilsithe / Cruthaithe Москва, Научный мир, 2011LEABHAR -
9
Математическая логика и теория алгоритмов учебное пособие
Foilsithe / Cruthaithe Москва, Академия, 2013LEABHAR -
10
Локальная теория степеней неразрешимости
Foilsithe / Cruthaithe Казань, Изд-во Казанского ун-та, 1987LEABHAR -
11
-
12
Рекурсивно перечислимые множества и степени неразрешимости
Foilsithe / Cruthaithe Казань, Изд-во Казанского ун-та, 1986LEABHAR -
13
-
14
Алгоритмы и формальные системы учебное пособие
Foilsithe / Cruthaithe Киев, Изд-во КГУ, 1981LEABHAR -
15
Математическая логика, математическая лингвистика и теория алгоритмов сборник научных трудов
Foilsithe / Cruthaithe Калинин, Изд-во Калининского гос. ун-та, 1983LEABHAR -
16
Алгоритмы в современной математике и ее приложениях материалы международного симпозиума, Ургенч, УзССР, 16-22 сентября 1979 г. [В 2-х г.]...
Foilsithe / Cruthaithe Новосибирск, Изд-во СО АН СССР, 1982LEABHAR -
17
-
18
-
19
-
20