Bilaketaren emaitzak
Proposatutako topikoa bilaketarako iradokizunak
Proposatutako topikoa bilaketarako iradokizunak
- рекурсивные функции
- Алгоритмы, теория 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
Основания интуиционистской математики с точки зрения теории рекурсивных функций пер. с англ.
Argitaratua Москва, Наука, 1978Liburua -
3
Введение в метаматематику пер. с англ.
Argitaratua Москва, Изд-во иностранной литературы, 1957Liburua -
4
-
5
Математическая логика и теория алгоритмов учебное пособие
Argitaratua Москва, Академия, 2008Liburua -
6
-
7
-
8
Логические и математические исчисления учебное пособие
Argitaratua Москва, Научный мир, 2011Liburua -
9
Математическая логика и теория алгоритмов учебное пособие
Argitaratua Москва, Академия, 2013Liburua -
10
-
11
-
12
Рекурсивно перечислимые множества и степени неразрешимости
Argitaratua Казань, Изд-во Казанского ун-та, 1986Liburua -
13
-
14
-
15
Математическая логика, математическая лингвистика и теория алгоритмов сборник научных трудов
Argitaratua Калинин, Изд-во Калининского гос. ун-та, 1983Liburua -
16
Алгоритмы в современной математике и ее приложениях материалы международного симпозиума, Ургенч, УзССР, 16-22 сентября 1979 г. [В 2-х г.]...
Argitaratua Новосибирск, Изд-во СО АН СССР, 1982Liburua -
17
-
18
-
19
-
20