Марченков С.С.
Рекурсивные функции
|
Научно-популярная, общеобразовательная литература
|
Автор: Марченков С.С. Издательство: Физматлит, 2007 |
PDF, 64 страницы, 1.92 МБ
|
Брошюра знакомит читателя с алгоритмически вычислимыми функциями натурального аргумента — рекурсивными функциями. Вначале изучается простейший тип рекурсивных функций — примитивно рекурсивные функции. Затем происходит расширение круга вычислимых функций: рассматриваются частично определенные вычислимые функции, а также всюду определенные вычислимые функции, не являющиеся примитивно рекурсивными. В заключение определяются абстрактные вычислительные устройства — машины Тьюринга, и класс функций, вычислимых на машинах Тьюринга, связывается с классом частично рекурсивных функций. Для школьников старших классов и студентов ВУЗов, знакомящихся с основами теории алгоритмов.
|
231
apollon7777777
10 октрября 2010
|
Скачать книгу
|
S-Классификация функций трёхзначной логики
|
Научная, учебная литература для специалистов
|
Автор: Марченков С.С. Издательство: Физматлит, 2001 |
PDF, 80 страниц, 2.40 МБ
|
S-классификация, базирующаяся на операциях суперпозиции и перехода к двойным функциям для подстановок из полной симметрической группы, является единственной эффективной классификацией множества функций многозначной логики. Книга посвящена систематическому изложению S-классификации множества функций трехзначной логики. Дается описание всех 48 S-замкнутых классов трехзначной логики. В каждом из классов строится конечный базис по суперпозиции. Приводится предикатное определение всех S-замкнутых классов с помощью конечного числа предикатов некоторого стандартного вида. Для научных работников и преподавателей высшей школы, специализирующихся в области дискретной математики.
|
288
admin
14 марта 2009
|
Скачать книгу
|
|