База данных: Электрондық кітапхана
Беті 1, Нәтижелерін: 1
Отмеченные записи: 0
1.
Подробнее
В31
Верещагин, Н. К.
Лекции по математической логике и теории алгоритмов [Электронный ресурс]. Ч.3. Вычислительные функции / Н. К. Верещагин, А. Ч. Шень. - Москва : МЦНМО, 2011. - 160 с. - Б. ц.
ББК 22.12
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
математическая логика -- вычислимость -- разрешимость -- уневерсальные функций
Доп.точки доступа:
Шень, А.Ч.
В31
Верещагин, Н. К.
Лекции по математической логике и теории алгоритмов [Электронный ресурс]. Ч.3. Вычислительные функции / Н. К. Верещагин, А. Ч. Шень. - Москва : МЦНМО, 2011. - 160 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
математическая логика -- вычислимость -- разрешимость -- уневерсальные функций
Доп.точки доступа:
Шень, А.Ч.
Беті 1, Нәтижелерін: 1