Электронный каталог

Очистить форму

 

База данных: Электронная библиотека

Страница 1, Результатов: 1

Отмеченные записи: 0

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

ББК 22.12

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

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

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

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

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

1.
Краткое Полное

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

Открыть карточку электронного документа

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

ББК 22.12

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

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

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

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

Авторизуйтесь для получения дополнительных услуг

Страница 1, Результатов: 1

 

Все поступления за 
Или выберите интересующий месяц