Книга: Марченков С.С. «Классы элементарных рекурсивных функций»
|
Серия: "-" В книге представлены основные классы "элементарных" рекурсивных функций, изучаемых в теории рекурсивных функций. Приведены различные определения исследуемых классов, установлены соотношения включения между ними. Втерминах сложности вычислений получено описание большого числа классов элементарных функций. Для ряда классов дано решение проблемы о существовании конечных базисов по суперпозиции. Книга ориентирована на широкий круг читателей: студентов и аспирантов математических факультетов, изучающих теорию алгоритмов, а также научных сотрудников и преподавателей высшей школы. Издательство: "Физматлит" (2017)
ISBN: 978-5-9221-1714-2 Купить за 398 руб в My-shop |
Другие книги автора:
| Книга | Описание | Год | Цена | Тип книги |
|---|---|---|---|---|
| Рекурсивные функции | Брошюра знакомит читателя с алгоритмически вычислимыми функциями натурального аргумента — рекурсивными… — Физматлит, Популярные лекции по математике Подробнее... | бумажная книга | ||
| Конечные автоматы | Брошюра знакомит читателя с простейшими вычислительными устройствами - конечными автоматами. Изучаются… — Физматлит, Популярные лекции по математике Подробнее... | бумажная книга | ||
| Элементарные арифметические функции | В настоящем издании рассматриваются четыре элементарные арифметические функции: x + y, x/y = max (x – y, 0), [x/y] (целая… — URSS, - Подробнее... | бумажная книга | ||
| Представление функций суперпозициями | Основная цель данной книги - продемонстрировать, как решаются проблемы представимости функций… — URSS, - Подробнее... | бумажная книга | ||
| Элементарные рекурсивные функции | Книга написана на основе курсов лекций, которые автор читал на факультете Вычислительной математики и… — Московский центр непрерывного математического образования (МЦНМО), - Подробнее... | бумажная книга | ||
| Представление функций суперпозициями | Основная цель данной книги - продемонстрировать, как решаются проблемы представимости функций… — URSS, Подробнее... | бумажная книга | ||
| Элементарные арифметические функции | В настоящем издании рассматриваются четыре элементарные арифметические функции: x + y, x/y = max (x y, 0), x/y (целая… — URSS, Подробнее... | бумажная книга |
См. также в других словарях:
МНОГОЗНАЧНАЯ ЛОГИКА — раздел математической логики, изучающий математич. модели логики высказываний. Эти модели отражают две основные черты последней множественность значений истинности высказываний и возможность построения новых более сложных высказываний из заданных … Математическая энциклопедия
АЛГОРИТМ — [от algorithm!; algorismus, первоначально лат. транслитерация имени ср. азиат. учёного 9 в. Хорезми (Мухаммед бен Муса аль Хорезми)], программа, определяющая способ поведения (вычисления); система правил (предписаний) для эффективного… … Философская энциклопедия
НОРМАЛЬНАЯ ФОРМА — 1) Н. ф. матрицы A матрица Nзаранее определенного специального вида, получаемая из Ас помощью преобразований определенного типа. В зависимости от рассматриваемого типа преобразований, от области K, к к рой принадлежат коэффициенты А , от вида Аи … Математическая энциклопедия
ВЫЧИСЛИМАЯ ФУНКЦИЯ — функция, вычисление значений к рой может быть проведено с помощью заранее заданной эффективной процедуры, или алгоритма. Характерная черта вычислительных процессов вычисление искомых величин задач происходит последовательно из данных исходных… … Математическая энциклопедия
ТЕОРИЯ МНОЖЕСТВ — теория, в к рой изучаются множества (классы) элементов произвольной природы. Созданная прежде всего трудами Кантора (а также Р. Дедекинда и К. Вейерштрасса), Т. м. к концу 19 в. стала основой построения сложившихся к тому времени математич.… … Философская энциклопедия
ДОКАЗАТЕЛЬСТВ ТЕОРИЯ — раздел математич. логики, посвященный исследованию понятия доказательства в математике, приложениям этого понятия в различных разделах науки и техники. Доказательство в широком смысле этого слова есть способ обоснования истинности того или иного… … Математическая энциклопедия
