S-классификация функций трехзначной логики, Марченков С.С., 2001

S-классификация функций трехзначной логики, Марченков С.С., 2001.

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



ПРЕДИСЛОВИЕ.
Функции многозначной логики (ФМЛ) представляют собой один из основных модельных объектов дискретной математики [29, 30, 32]. Они широко используются для описания разнообразных дискретных систем. Это обусловлено как достаточно широкими выразительными возможностями языка ФМЛ, так и возможностью применять к ФМЛ комбинаторно-алгебраические методы различного рода, позволяющие получать многочисленные представления ФМЛ через «элементарные» функции. Собственная проблематика теории ФМЛ весьма многообразна. Здесь ставятся и решаются задачи метрического, перечислительного, композиционного, сложностного, классификационного и ряда других типов. Особое место в этом ряду занимают задачи классификационного характера. Это легко объяснимо: прежде чем начинать систематическое исследование множества ФМЛ, необходимо провести хотя бы грубое структурирование этого множества, разбить его на классы, которые отвечают свойствам, характерным для выбранного направления исследований. Эти свойства могут быть как внешними по отношению к ФМЛ, так и внутренними, выявленными уже в процессе детального исследования строения ФМЛ.



Бесплатно скачать электронную книгу в удобном формате, смотреть и читать:
Скачать книгу S-классификация функций трехзначной логики, Марченков С.С., 2001 - fileskachat.com, быстрое и бесплатное скачивание.

Скачать pdf
Ниже можно купить эту книгу по лучшей цене со скидкой с доставкой по всей России.Купить эту книгу


Скачать - pdf - Яндекс.Диск.




Теги: Марченков С.С. :: книги по математике :: математика :: логика