Версия для слабовидящих
Авторизация
Логин или номер читательского билета
 
Фамилия

Базы данных


Электронный каталог- результаты поиска

Вид поиска
Электронный каталог
Публикации по истории КемГИК
Публикации преподавателей КемГИК
Электронная медиатека КемГИК
Каталог ЭБС "Университетская библиотека online"
Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>A=Марченков, С. С.$<.>)
Общее количество найденных документов : 3
Показаны документы с 1 по 3
1.
519.7
М 30

    Марченков, С. С.
    Замкнутые классы булевых функций [Электронный ресурс] : монография / С. С. Марченков. - Москва : Физматлит, 2000. - 130 с. - Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация. - ISBN 5-9221-0066-1 : Б. ц.
УДК
519.7
ББК 22.176

Аннотация: В книге рассмотрен круг проблем, связанных с замкнутыми классами булевых функций (классами Поста). Изложено новое компактное доказательство конечной порождаемости всех классов Поста и дано описание решетки классов Поста. Рассмотрено предикатное задание классов Поста и приведено определение классов Поста в терминах некоторых стандартных предикатов. Изложены основы теории Галуа для алгебры булевых функций. Введены булевы вектор-функции, с использованием соответствий Галуа решена проблема полноты для класса всех булевых вектор-функций. Рассмотрены некоторые «сильные» операторы замыкания, которые приводят к конечным решеткам замкнутых классов.Для научных сотрудников, работающих в области дискретной математики, а также студентов, изучающих булевы функции.
Полный текст/внешний ресурс   скачать: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация 
Свободных экз. нет

Найти похожие
2.
519.7
М 30

    Марченков, С. С.
    Булевы функции [Электронный ресурс] : методическое пособие / С. С. Марченков. - Москва : Физматлит, 2002. - 72 с. - (Популярные лекции по математике). - Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация. - ISBN 5-9221-0253-2 : Б. ц.
УДК
519.7
ББК 22.124

Аннотация: Брошюра знакомит читателя с булевыми функциями — одним из важнейших классов дискретных функций. В ней излагаются основные понятия теории булевых функций, доказывается критерий функциональной полноты и рассматриваются вопросы сложности реализации булевых функций.Брошюра предназначена для школьников старших классов и студентов первых курсов.
Полный текст/внешний ресурс   скачать: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация 
Свободных экз. нет

Найти похожие
3.
519.7
М 30

    Марченков, С. С.
    S-классификация функций трёхзначной логики [Электронный ресурс] : монография / С. С. Марченков. - Москва : Физматлит, 2001. - 80 с. - Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация. - ISBN 5-9221-0152-8 : Б. ц.
УДК
519.7
ББК 22.12

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

Найти похожие
 
Стандартный
Профессиональный
ББК-навигатор