Поиск :
Личный кабинет :
Электронный каталог: Марченков, Сергей Серафимович - Классы элементарных рекурсивных функций
Марченков, Сергей Серафимович - Классы элементарных рекурсивных функций
![](/OpacUnicode/app/webroot/img/doctypes/1.gif)
Доступно
1 из 1
1 из 1
Книга
Автор: Марченков, Сергей Серафимович
Классы элементарных рекурсивных функций
Издательство: Физматлит, 2017 г.
ISBN 978-5-9221-1714-2
Автор: Марченков, Сергей Серафимович
Классы элементарных рекурсивных функций
Издательство: Физматлит, 2017 г.
ISBN 978-5-9221-1714-2
Книга
С14 М-30
Марченков, Сергей Серафимович.
Классы элементарных рекурсивных функций / Сергей Серафимович Марченков. – М. : Физматлит, 2017. – 135 с. – Библиогр.: с. 133-135. – ISBN 978-5-9221-1714-2.
С14
519.7
Индексный (книги) = С 14 - Математическая логика. Теория математических доказательств.Аксиоматика математической логики.Исчисления высказываний,исчисление предикатов.Теория алгоритмов, рекурсивные функции.Конструктивный анализ
Ключевых слов = элементарные рекурсивные функции
Ключевых слов = теория алгоритмов
Ключевых слов = предикаты
С14 М-30
Марченков, Сергей Серафимович.
Классы элементарных рекурсивных функций / Сергей Серафимович Марченков. – М. : Физматлит, 2017. – 135 с. – Библиогр.: с. 133-135. – ISBN 978-5-9221-1714-2.
С14
519.7
Индексный (книги) = С 14 - Математическая логика. Теория математических доказательств.Аксиоматика математической логики.Исчисления высказываний,исчисление предикатов.Теория алгоритмов, рекурсивные функции.Конструктивный анализ
Ключевых слов = элементарные рекурсивные функции
Ключевых слов = теория алгоритмов
Ключевых слов = предикаты
Филиал | Фонд | Всего | Доступно для брони | Доступно для выдачи | Бронирование |
---|---|---|---|---|---|
ЦБ | 0 | 1 | 1 | 1 | Заказать |