Որոնման արդյունքները
Առաջարկվող թեմաներ ձեր որոնման շրջանակներում:
Առաջարկվող թեմաներ ձեր որոնման շրջանակներում:
- рекурсивные функции
- Алгоритмы, теория 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
Введение в метаматематику пер. с англ.
Հրապարակվել է Москва, Изд-во иностранной литературы, 1957Գիրք -
4
-
5
-
6
-
7
-
8
-
9
-
10
-
11
-
12
Рекурсивно перечислимые множества и степени неразрешимости
Հրապարակվել է Казань, Изд-во Казанского ун-та, 1986Գիրք -
13
-
14
-
15
Математическая логика, математическая лингвистика и теория алгоритмов сборник научных трудов
Հրապարակվել է Калинин, Изд-во Калининского гос. ун-та, 1983Գիրք -
16
Алгоритмы в современной математике и ее приложениях материалы международного симпозиума, Ургенч, УзССР, 16-22 сентября 1979 г. [В 2-х г.]...
Հրապարակվել է Новосибирск, Изд-во СО АН СССР, 1982Գիրք -
17
-
18
-
19
-
20