Bilaketaren emaitzak
Proposatutako topikoa bilaketarako iradokizunak
Proposatutako topikoa bilaketarako iradokizunak
- неразрешимость
- разрешимость 4
- рекурсивные функции 4
- Математическая логика 3
- математика 3
- множества 2
- рекурсивная перечислимость 2
- степени 2
- теория 2
- формальные языки 2
- R-множества 1
- altavista 1
- pagerank 1
- rsa 1
- Алгебра высшая 1
- Галуа теория 1
- Множеств теория (основания математики) 1
- Основания математики 1
- Рекурсивные функции 1
- автоматика 1
- алгоритм на практике 1
- алгоритмы 1
- атомарность 1
- базы данных 1
- базы данных с точки зрения человека 1
- безопасность rsa 1
- биологические 1
- биологические нейронные сети 1
- близость 1
- большой стог сена 1
-
1
Топологическая теория Галуа. Разрешимость и неразрешимость уравнений в конечном виде
Argitaratua Москва, МЦНМО, 2008Liburua -
2
-
3
-
4
-
5
Рекурсивно перечислимые множества и степени неразрешимости
Argitaratua Казань, Изд-во Казанского ун-та, 1986Liburua -
6
Вычислимость. Введение в теорию рекурсивных функций пер. с англ.
Argitaratua Москва, Мир, 1983Liburua -
7
-
8
-
9
Введение в теорию автоматов, языков и вычислений пер. с англ.
Argitaratua Москва, Вильямс, 2002Liburua -
10
-
11
Девять алгоритмов, которые изменили мир. Остроумные идеи, лежащие в основе современных компьютеров...
Argitaratua Москва, ДМК Пресс, 2014Testu osoa
Testu osoa
Baliabide elektronikoa Liburua