Лекции по математической логике и теории алгоритмов [Электронный ресурс] /Верещагин, Н.К. . Ч.3. Вычислительные функции

Лекции по математической логике и теории алгоритмов [Электронный ресурс] /Верещагин, Н.К. . Ч.3. Вычислительные функции

https://e-lib.dulaty.kz/lib/document/SK_ELIB/3EAB730A-3FBC-46EE-8F72-B2810B9CD0D9/

22.12
В31
Верещагин, Н. К.
    Лекции по математической логике и теории алгоритмов [Электронный ресурс]. Ч.3. Вычислительные функции / Н. К. Верещагин, А. Ч. Шень. - Москва : МЦНМО, 2011. - 160 с. - Б. ц. - Текст : непосредственный.
ББК 22.12

Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ

   МАТЕМАТИЧЕСКАЯ ЛОГИКА

Кл.слова (ненормированные):
математическая логика -- вычислимость -- разрешимость -- уневерсальные функций

Доп.точки доступа:
Шень, А.Ч.

QR-код документа