Описание: Основы конструктивизации моделей классификации конечных объектов

Сохранить в:

Библиографические подробности
Автор:	Калядин Н. И.
Тип документа:	Книга
Язык:	Russian
Год издания:	Ижевск Издательство ИжГТУ имени М. Т. Калашникова 2018
Предметная рубрика:	рекрусивные функции примитивно рекрусивные функции машины тьюринга нумерация алгоритмов рекрусивные множества нумерации множества разрешимость проблем экзистенциальность алгоритмический подход структурные связи булевая функция
Ключевые слова:	Уравнения дифференциальные Конструктивная математика

978-5-7526-0820-9