ВЕРСИЯ ДЛЯ СЛАБОВИДЯЩИХПоиск :
Личный кабинет :
Электронный каталог: Верещагин, Н. К. - Лекции по математической логике и теории алгоритмов: Ч.3. Вычислимые функции
Верещагин, Н. К. - Лекции по математической логике и теории алгоритмов: Ч.3. Вычислимые функции
Книга
Автор: Верещагин, Н. К.
Лекции по математической логике и теории алгоритмов: Ч.3. Вычислимые функции
Серия: Математическая логика и теория алгоритмов. Лекционные курсы
Издательство: МЦНМО, 1999 г.
ISBN 5-900916-39-1
Автор: Верещагин, Н. К.
Лекции по математической логике и теории алгоритмов: Ч.3. Вычислимые функции
Серия: Математическая логика и теория алгоритмов. Лекционные курсы
Издательство: МЦНМО, 1999 г.
ISBN 5-900916-39-1
Заказать 
На полку
Книга
УДК 510 В317
Верещагин, Н. К.
Лекции по математической логике и теории алгоритмов: Ч.3. Вычислимые функции / Н. К. Верещагин, А. Шень . – М. : МЦНМО, 1999 . – 176 с. – (Математическая логика и теория алгоритмов. Лекционные курсы) . - ISBN 5-900916-39-1 .
510 В317
Тезаурус = ГАСНТИ 27.03.17
Тезаурус = Математика : основания математики и математическая логика : вычисления, алгоритмы и вычислимые (рекурсивные) функции. Булевы функции
1021245 Кх
1022188 Кх
УДК 510 В317
Верещагин, Н. К.
Лекции по математической логике и теории алгоритмов: Ч.3. Вычислимые функции / Н. К. Верещагин, А. Шень . – М. : МЦНМО, 1999 . – 176 с. – (Математическая логика и теория алгоритмов. Лекционные курсы) . - ISBN 5-900916-39-1 .
510 В317
Тезаурус = ГАСНТИ 27.03.17
Тезаурус = Математика : основания математики и математическая логика : вычисления, алгоритмы и вычислимые (рекурсивные) функции. Булевы функции
1021245 Кх
1022188 Кх