|
|
|
|
| |
Марченков С.С.
| |
|
Рекурсивные функции
Автор: Марченков С.С. Жанр: Научно-популярная, общеобразовательная литература Год: 2007 Страниц: 64 Дата загрузки: 10 октрября 20102010-09-27
|
|
Брошюра знакомит читателя с алгоритмически вычислимыми функциями натурального аргумента — рекурсивными функциями. Вначале изучается простейший тип рекурсивных функций — примитивно рекурсивные функции. Затем происходит расширение круга вычислимых функций: рассматриваются частично определенные вычислимые функции, а также всюду определенные вычислимые функции, не являющиеся примитивно рекурсивными. В заключение определяются абстрактные вычислительные устройства — машины Тьюринга, и класс функций, вычислимых на машинах Тьюринга, связывается с классом частично рекурсивных функций. Для школьников старших классов и студентов ВУЗов, знакомящихся с основами теории алгоритмов.
|
| |
|
S-Классификация функций трёхзначной логики
Автор: Марченков С.С. Жанр: Научная, учебная литература для специалистов Год: 2001 Страниц: 80 Дата загрузки: 14 марта 20092003-10-17
|
|
S-классификация, базирующаяся на операциях суперпозиции и перехода к двойным функциям для подстановок из полной симметрической группы, является единственной эффективной классификацией множества функций многозначной логики. Книга посвящена систематическому изложению S-классификации множества функций трехзначной логики. Дается описание всех 48 S-замкнутых классов трехзначной логики. В каждом из классов строится конечный базис по суперпозиции. Приводится предикатное определение всех S-замкнутых классов с помощью конечного числа предикатов некоторого стандартного вида. Для научных работников и преподавателей высшей школы, специализирующихся в области дискретной математики.
|
| |
|
Функциональные уравнения дискретной математики
Автор: Марченков С.С. Жанр: Научная, учебная литература для специалистов Год: 2013 Страниц: 60 Дата загрузки: 17 апреля 20172014-06-21
|
|
В книге исследуются функциональные уравнения для классов булевых функций, функций многозначной логики, функций счетнозначной логики и функций автоматного типа. Основная решаемая проблема — определимость множеств функций системами функциональных уравнений над произвольными множествами функций. Для научных сотрудников, аспирантов и преподавателей высшей школы, специализирующихся в области дискретной математики.
|
| |
|
|
|
|
|
