Результаты поиска
Предлагаемые темы внутри своего поиска.
Предлагаемые темы внутри своего поиска.
- неразрешимость
- математика 5
- разрешимость 5
- рекурсивные функции 5
- Математическая логика 4
- вычислимость 2
- множества 2
- проблемы 2
- рекурсивная перечислимость 2
- рекурсия 2
- степени 2
- теория 2
- формальные языки 2
- R-множества 1
- Алгебра высшая 1
- Алгоритмы, теория 1
- Галуа теория 1
- Множеств теория (основания математики) 1
- Основания математики 1
- Рекурсивные функции 1
- автоматика 1
- арифметичность 1
- высшая алгебра 1
- вычислительные функции 1
- группы 1
- изоморфизмы 1
- индуктивные определения 1
- информатика 1
- канторовы множества 1
- классы функций 1
-
1
Топологическая теория Галуа. Разрешимость и неразрешимость уравнений в конечном виде
Опубликовано Москва, МЦНМО, 2008Книга -
2
-
3
-
4
-
5
Рекурсивно перечислимые множества и степени неразрешимости
Опубликовано Казань, Изд-во Казанского ун-та, 1986Книга -
6
Вычислимость. Введение в теорию рекурсивных функций пер. с англ.
Опубликовано Москва, Мир, 1983Книга -
7
-
8
-
9
-
10
-
11
Введение в теорию автоматов, языков и вычислений пер. с англ.
Опубликовано Москва, Вильямс, 2002Книга -
12