Новые поступления (книга в стадии обработки) Соар, Роберт И.. Вычислимо перечислимые множества и степени: Изучение вычислимых функций и вычислимо перечислимых множеств [Текст] = Recursively Enumerable Sets and Degrees : научное издание / Р. И. Соар ; . - Казань : Изд-во Казан. мат. о-ва, 2000. - 576 с. - Библиогр. - ISBN 5-900975-22-3. - ISBN 3-540-15299-7. - ISBN 0-387-15299-7 : 55.00 р.
Рубрики: математика--математическая логика Кл.слова (ненормированные): вычислимые функции -- вычислимо перечислимые множества -- степени -- решетки -- рекурсия Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского |
Новые поступления (книга в стадии обработки) Марченков, Сергей Серафимович. Элементарные рекурсивные функции [Текст] : научное издание / С. С. Марченков. - Москва : МЦНМО, 2003. - 111, [1] с. - Библиогр. - ISBN 5-94057-098-4 : 50.00 р.
Рубрики: математика--математическая логика Кл.слова (ненормированные): рекурсивные функции -- элементарные функции -- стековые регистровые машины -- предикаты ограниченно арифметические -- Гжегорчика классы Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского |