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

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

Производитель: "Физматлит"

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

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

ISBN: 978-5-9221-1714-2

Купить за 371 грн (только Украина) в

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

КнигаОписаниеГодЦенаТип книги
Рекурсивные функцииБрошюра знакомит читателя с алгоритмически вычислимыми функциями натурального аргумента - рекурсивными функциями. Вначале изучается простейший тип рекурсивных функций - примитивно рекурсивные… — Физматлит, Подробнее...2007360бумажная книга
Основы теории булевых функцийКнига содержит развернутое введение в теорию булевых функций. Изложены основные свойства булевых функций и доказан критерий функциональной полноты. Приведено описание всех замкнутых классов булевых… — Физматлит, Подробнее...2014615бумажная книга
Конечные автоматыБрошюра знакомит читателя с простейшими вычислительными устройствами - конечными автоматами. Изучаются автоматы-распознаватели (автоматы без выхода) и автоматы-преобразователи (автоматы с выходом). С… — Физматлит, Подробнее...2008342бумажная книга
Функциональные уравнения дискретной математикиВ книге исследуются функциональные уравнения для классов булевых функций, функций многозначной логики, функций счетнозначной логики и функций автоматного типа. Основная решаемая проблема … — Физматлит, Подробнее...2013381бумажная книга
Классы элементарных рекурсивных функцийВ книге представлены основные классы "элементарных" рекурсивных функций, изучаемых в теории рекурсивных функций. Приведены различные определения исследуемых классов, установлены соотношения включения… — Физматлит, Подробнее...2017501бумажная книга
Рекурсивные функцииБрошюра знакомит читателя с алгоритмически вычислимыми функциями натурального аргумента - рекурсивными функциями. Вначале изучается простейший тип рекурсивных функций - примитивно рекурсивные… — ФИЗМАТЛИТ, (формат: 60x90/16, 64 стр.) Mrs. Hartwells classroom adventures Подробнее...2007459бумажная книга
Функциональные уравнения дискретной математикиВ книге исследуются функциональные уравнения для классов булевых функций, функций многозначной логики, функций счетнозначной логики и функций автоматного типа. Основная решаемая проблема … — Физматлит, (формат: 60x90/16, 60 стр.) Подробнее...2013488бумажная книга
Конечные автоматыБрошюра знакомит читателя с простейшими вычислительными устройствами - конечными автоматами. Изучаются автоматы-распознаватели (автоматы без выхода) и автоматы-преобразователи (автоматы с выходом). С… — ФИЗМАТЛИТ, (формат: 60x90/16, 56 стр.) Популярные лекции по математике Подробнее...2008392бумажная книга
Основы теории булевых функций. Учебное пособие. Гриф УМО по классическому университетскому образованиюКнига содержит развернутое введение в теорию булевых функций. Изложены основные свойства булевых функций и доказан критерий функциональной полноты. Приведено описание всех замкнутых классов булевых… — Физматлит, (формат: 60x90/16, 136 стр.) Подробнее...2014340бумажная книга

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

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

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

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

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

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

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

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


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

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