Книга: Марченков Сергей Серафимович «Классы элементарных рекурсивных функций»
|
В книге представлены основные классы "элементарных" рекурсивных функций, изучаемых в теории рекурсивных функций. Приведены различные определения исследуемых классов, установлены соотношения включения между ними. Втерминах сложности вычислений получено описание большого числа классов элементарных функций. Для ряда классов дано решение проблемы о существовании конечных базисов по суперпозиции. Книга ориентирована на широкий круг читателей: студентов и аспирантов математических факультетов, изучающих теорию алгоритмов, а также научных сотрудников и преподавателей высшей школы. Издательство: "Физматлит" (2017)
ISBN: 978-5-9221-1714-2 Купить за 501 руб в Лабиринте |
Другие книги автора:
| Книга | Описание | Год | Цена | Тип книги |
|---|---|---|---|---|
| Рекурсивные функции | Брошюра знакомит читателя с алгоритмически вычислимыми функциями натурального аргумента - рекурсивными… — Физматлит, Подробнее... | бумажная книга | ||
| Основы теории булевых функций | Книга содержит развернутое введение в теорию булевых функций. Изложены основные свойства булевых функций и… — Физматлит, Подробнее... | бумажная книга | ||
| Конечные автоматы | Брошюра знакомит читателя с простейшими вычислительными устройствами - конечными автоматами. Изучаются… — Физматлит, Подробнее... | бумажная книга | ||
| Функциональные уравнения дискретной математики | В книге исследуются функциональные уравнения для классов булевых функций, функций многозначной логики… — Физматлит, Подробнее... | бумажная книга | ||
| Классы элементарных рекурсивных функций | В книге представлены основные классы`элементарных` рекурсивных функций, изучаемых в теории рекурсивных… — Физматлит, Подробнее... | бумажная книга | ||
| Рекурсивные функции | Брошюра знакомит читателя с алгоритмически вычислимыми функциями натурального аргумента - рекурсивными… — ФИЗМАТЛИТ, (формат: 60x90/16, 64 стр.) Mrs. Hartwells classroom adventures Подробнее... | бумажная книга | ||
| Функциональные уравнения дискретной математики | В книге исследуются функциональные уравнения для классов булевых функций, функций многозначной логики… — Физматлит, (формат: 60x90/16, 60 стр.) Подробнее... | бумажная книга | ||
| Конечные автоматы | Брошюра знакомит читателя с простейшими вычислительными устройствами - конечными автоматами. Изучаются… — ФИЗМАТЛИТ, (формат: 60x90/16, 56 стр.) Популярные лекции по математике Подробнее... | бумажная книга | ||
| Основы теории булевых функций. Учебное пособие. Гриф УМО по классическому университетскому образованию | Книга содержит развернутое введение в теорию булевых функций. Изложены основные свойства булевых функций и… — Физматлит, (формат: 60x90/16, 136 стр.) Подробнее... | бумажная книга |
См. также в других словарях:
МНОГОЗНАЧНАЯ ЛОГИКА — раздел математической логики, изучающий математич. модели логики высказываний. Эти модели отражают две основные черты последней множественность значений истинности высказываний и возможность построения новых более сложных высказываний из заданных … Математическая энциклопедия
АЛГОРИТМ — [от algorithm!; algorismus, первоначально лат. транслитерация имени ср. азиат. учёного 9 в. Хорезми (Мухаммед бен Муса аль Хорезми)], программа, определяющая способ поведения (вычисления); система правил (предписаний) для эффективного… … Философская энциклопедия
НОРМАЛЬНАЯ ФОРМА — 1) Н. ф. матрицы A матрица Nзаранее определенного специального вида, получаемая из Ас помощью преобразований определенного типа. В зависимости от рассматриваемого типа преобразований, от области K, к к рой принадлежат коэффициенты А , от вида Аи … Математическая энциклопедия
ВЫЧИСЛИМАЯ ФУНКЦИЯ — функция, вычисление значений к рой может быть проведено с помощью заранее заданной эффективной процедуры, или алгоритма. Характерная черта вычислительных процессов вычисление искомых величин задач происходит последовательно из данных исходных… … Математическая энциклопедия
ТЕОРИЯ МНОЖЕСТВ — теория, в к рой изучаются множества (классы) элементов произвольной природы. Созданная прежде всего трудами Кантора (а также Р. Дедекинда и К. Вейерштрасса), Т. м. к концу 19 в. стала основой построения сложившихся к тому времени математич.… … Философская энциклопедия
ДОКАЗАТЕЛЬСТВ ТЕОРИЯ — раздел математич. логики, посвященный исследованию понятия доказательства в математике, приложениям этого понятия в различных разделах науки и техники. Доказательство в широком смысле этого слова есть способ обоснования истинности того или иного… … Математическая энциклопедия
