Книга: Марченков С.С. «Классы элементарных рекурсивных функций»

Классы элементарных рекурсивных функций

Серия: "-"

В книге представлены основные классы "элементарных" рекурсивных функций, изучаемых в теории рекурсивных функций. Приведены различные определения исследуемых классов, установлены соотношения включения между ними. Втерминах сложности вычислений получено описание большого числа классов элементарных функций. Для ряда классов дано решение проблемы о существовании конечных базисов по суперпозиции. Книга ориентирована на широкий круг читателей: студентов и аспирантов математических факультетов, изучающих теорию алгоритмов, а также научных сотрудников и преподавателей высшей школы.

Издательство: "Физматлит" (2017)

ISBN: 978-5-9221-1714-2

Купить за 398 руб в My-shop

Другие книги автора:

КнигаОписаниеГодЦенаТип книги
Рекурсивные функцииБрошюра знакомит читателя с алгоритмически вычислимыми функциями натурального аргумента — рекурсивными функциями. Вначале изучается простейший тип рекурсивныхфункций — примитивно рекурсивные функции… — Физматлит, Популярные лекции по математике Подробнее...2007341бумажная книга
Конечные автоматыБрошюра знакомит читателя с простейшими вычислительными устройствами - конечными автоматами. Изучаются автоматы-распознаватели (автоматы без выхода) и автоматы-преобразователи (автоматы с выходом)… — Физматлит, Популярные лекции по математике Подробнее...2008303бумажная книга
Элементарные арифметические функцииВ настоящем издании рассматриваются четыре элементарные арифметические функции: x + y, x/y = max (x – y, 0), [x/y] (целая часть от деления x на y) и 2x. Доказывается, что данные функции образуют… — URSS, - Подробнее...2017165бумажная книга
Представление функций суперпозициямиОсновная цель данной книги - продемонстрировать, как решаются проблемы представимости функций суперпозициями для классов функций различной природы. В качестве объектов исследования выбраны классы… — URSS, - Подробнее...2017507бумажная книга
Элементарные рекурсивные функцииКнига написана на основе курсов лекций, которые автор читал на факультете Вычислительной математики и кибернетики МГУ. В книге собраны основные классы "элементарных" рекурсивных функций, изучаемые в… — Московский центр непрерывного математического образования (МЦНМО), - Подробнее...200389бумажная книга
Представление функций суперпозициямиОсновная цель данной книги - продемонстрировать, как решаются проблемы представимости функций суперпозициями для классов функций различной природы. В качестве объектов исследования выбраны классы… — URSS, Подробнее...2017656бумажная книга
Элементарные арифметические функцииВ настоящем издании рассматриваются четыре элементарные арифметические функции: x + y, x/y = max (x y, 0), x/y (целая часть от деления x на y) и 2x. Доказывается, что данные функции образуют базис по… — URSS, Подробнее...2017213бумажная книга

См. также в других словарях:

  • МНОГОЗНАЧНАЯ ЛОГИКА — раздел математической логики, изучающий математич. модели логики высказываний. Эти модели отражают две основные черты последней множественность значений истинности высказываний и возможность построения новых более сложных высказываний из заданных …   Математическая энциклопедия

  • АЛГОРИТМ —         [от algorithm!; algorismus, первоначально лат. транслитерация имени ср. азиат. учёного 9 в. Хорезми (Мухаммед бен Муса аль Хорезми)], программа, определяющая способ поведения (вычисления); система правил (предписаний) для эффективного… …   Философская энциклопедия

  • НОРМАЛЬНАЯ ФОРМА — 1) Н. ф. матрицы A матрица Nзаранее определенного специального вида, получаемая из Ас помощью преобразований определенного типа. В зависимости от рассматриваемого типа преобразований, от области K, к к рой принадлежат коэффициенты А , от вида Аи …   Математическая энциклопедия

  • ВЫЧИСЛИМАЯ ФУНКЦИЯ — функция, вычисление значений к рой может быть проведено с помощью заранее заданной эффективной процедуры, или алгоритма. Характерная черта вычислительных процессов вычисление искомых величин задач происходит последовательно из данных исходных… …   Математическая энциклопедия

  • ТЕОРИЯ МНОЖЕСТВ — теория, в к рой изучаются множества (классы) элементов произвольной природы. Созданная прежде всего трудами Кантора (а также Р. Дедекинда и К. Вейерштрасса), Т. м. к концу 19 в. стала основой построения сложившихся к тому времени математич.… …   Философская энциклопедия

  • ДОКАЗАТЕЛЬСТВ ТЕОРИЯ — раздел математич. логики, посвященный исследованию понятия доказательства в математике, приложениям этого понятия в различных разделах науки и техники. Доказательство в широком смысле этого слова есть способ обоснования истинности того или иного… …   Математическая энциклопедия

  • Теория алгоритмов — Теория алгоритмов  наука, изучающая общие свойства и закономерности алгоритмов и разнообразные формальные модели их представления. К задачам теории алгоритмов относятся формальное доказательство алгоритмической неразрешимости задач,… …   Википедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»