Зображення обкладинки

Проблема Дедекінда та класи Поста

У роботі за допомогою класів Поста вивчаються булеві функції. Введено поняття характеристики Поста булевої функції та еквівалентних функцій за характеристикою Поста. На основі відношення еквівалентності за характеристикою Поста розглядаються 32 замкнені класи, які утворюють куб Поста. У цьому кубі 1...

Повний опис

Збережено в:

Бібліографічні деталі
Опубліковано в: :	Проблемы управления и информатики
Дата:	2022
Автори:	Мич, І.А., Ніколенко, В.В., Варцаба, О.В.
Формат:	Стаття
Мова:	Українська
Опубліковано:	Інститут кібернетики ім. В.М. Глушкова НАН України 2022
Теми:	Методи обробки та захисту інформації
Онлайн доступ:	https://nasplib.isofts.kiev.ua/handle/123456789/210910
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	Проблема Дедекінда та класи Поста / І.А. Мич, В.В. Ніколенко, О.В. Варцаба // Проблеми керування та інформатики. — 2022. — № 5. — С. 42-50. — Бібліогр.: 6 назв. — укр.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Схожі ресурси

Розробка методу та програмного засобу стиснення та шифрування інформації
за авторством: Ратов, Д.В.
Опубліковано: (2022)

Модель та метод визначення показників утворення небезпечного середовища при аваріях на обʼєктах з перегрітою рідиною
за авторством: Лифар, В.О., та інші
Опубліковано: (2023)

Генерація та використання змагальної вибірки для протидії ухиленню ботнетів від виявлення нейронними мережами
за авторством: Панчук, Б.О.
Опубліковано: (2023)

Інтелектуальний аналіз інформаційних потоків у квантових системах передачі інформації
за авторством: Зінченко, В.Л., та інші
Опубліковано: (2024)

Оцінка ефективності нового методу стабілізації яскравості відеопотоку в реальному масштабі часу
за авторством: Білозерський, В.О., та інші
Опубліковано: (2024)

Аналіз і попередня обробка відеоданих для підвищення якості роботи систем технічного зору
за авторством: Білозерський, В.О., та інші
Опубліковано: (2023)

Метод обробки неструктурованої інформації на веб-ресурсах
за авторством: Трофимчук, О.М., та інші
Опубліковано: (2022)

Протоколи отримання авторитетних і бібліографічних записів
за авторством: Василенко, О.О.
Опубліковано: (2025)

Інформаційна система для оцінювання реакції військовослужбовців на звукові команди
за авторством: Файнзільберг, Л.С., та інші
Опубліковано: (2025)

Efficient optical approach to fuzzy data processing based on colors and light filters
за авторством: Timchenko, V., та інші
Опубліковано: (2022)

Forecasting techniques based on the use of time series models for forecasting expenditures on social protection and social security
за авторством: Zarudnyi, O., та інші
Опубліковано: (2024)

The Methodology for Adaptive Modeling and Forecasting Nonlinear and Nonstationary Processes
за авторством: Trofymchuk, O., та інші
Опубліковано: (2024)

Data analysis and anomalies detection in cattle behavior
за авторством: Stetsyuk, P., та інші
Опубліковано: (2025)

Дослідження та аналіз міжнародного та національного підходів побудови системи захисту інформації в ГРІД
за авторством: Боровська, О.М., та інші
Опубліковано: (2012)

Децентралізовані системи в логістиці: огляд використання та проблеми безпеки
за авторством: Летичевський, О.О., та інші
Опубліковано: (2020)

Технология системной интеграции аппаратных и программных средств зашиты информации
за авторством: Алишов, Н.И., та інші
Опубліковано: (2010-12)

Программно-аппаратный комплекс защиты на основе нераскрываемых шифров
за авторством: Алишов, Н.И., та інші
Опубліковано: (2011)

Задействование квалифицированной инфраструктуры открытых ключей в Украине
за авторством: Мелащенко, А.О.
Опубліковано: (2011)

Системно-онтологический анализ предметной области проведения испытаний КСЗИ
за авторством: Колтик, М.А.
Опубліковано: (2014)

Метод інформаційно-аналітичної підтримки управління ризиками безпеки ресурсів відомчих інформаційних систем
за авторством: Родін, Є.С.
Опубліковано: (2018)

Методы и способы реализации автоматизированной поддержки проведения испытаний компьютерной системы защиты информации (КСЗИ)
за авторством: Колтик, М.А.
Опубліковано: (2013)

Задачі з керування ризиками інформаційної безпеки апарата прийняття рішень
за авторством: Родін, Є.С.
Опубліковано: (2017)

Шифр на основе случайных чисел с неравномерным распределением
за авторством: Михерский, Р.М.
Опубліковано: (2011)

Політика інформаційної безпеки в системах інформаційно-аналітичного забезпечення підтримки прийняття організаційних рішень
за авторством: Чуруброва, С.М.
Опубліковано: (2016)

Характеристика информационных потоков программных модулей входящих в состав програмного средства для автоматизированной поддержки проведения испытаний КСЗИ
за авторством: Боровская, Е.Н., та інші
Опубліковано: (2013)

Проблемы массового построения комплексной системы защиты информации (КСЗИ) и пути их решения
за авторством: Колтик, М.А.
Опубліковано: (2011)

Дослідження комбінаційних характеристик вітчизняних радіонепрозорих тканин М1, М2 та М3
за авторством: Яремчук, Ю.Є., та інші
Опубліковано: (2015)

Количественная оценка рисков безопасности информации на основе пробит-анализа
за авторством: Мохор, В.В., та інші
Опубліковано: (2010)

Модель загроз у розподілених мережах
за авторством: Матов, О.Я., та інші
Опубліковано: (2008)

Експериментальне дослідження проблем детектування закладних пристроїв засобами нелінійної локації
за авторством: Леонтьєв, В.О., та інші
Опубліковано: (2018)

Контрольні основи для коду умовних лишків
за авторством: Матов, О.Я., та інші
Опубліковано: (2011)

Метод виявлення фальсифікації у медичних зображеннях
за авторством: Зорило, В.В., та інші
Опубліковано: (2015)

Виявлення та протидія інформаційним атакам з мережі Інтернет
за авторством: Зубок, В.Ю.
Опубліковано: (2009)

Підвищення криптостійкості та швидкодії алгоритму Blowfish у каналах передачі даних
за авторством: Білан, С.М., та інші
Опубліковано: (2005)

Системні дослідження живучості та безпеки складних технічних систем
за авторством: Додонов, О.Г., та інші
Опубліковано: (2010)

Дослідження характеристик вітчизняних радіонепрозорих тканин Н1, Н2 та Н3 при різних комбінаціях їхнього застосування
за авторством: Яремчук, Ю.Є., та інші
Опубліковано: (2016)

Оценка надежности многофункциональных программно-технических комплексов
за авторством: Буточнов, А.Н., та інші
Опубліковано: (2008)

Підвищення стійкості методу захисту забезпечення автентичності растрових зображень доказової бази від несанкціонованого доступу
за авторством: Павленко, Б.В., та інші
Опубліковано: (2018)

Захист віртуальних машин на основі інструкцій нового покоління процесорів AMD Zen
за авторством: Соколовський, В.С., та інші
Опубліковано: (2018)

Метод вироблення та перевіряння цифрового підпису на основі рекурентних послідовностей
за авторством: Яремчук, Ю.Є.
Опубліковано: (2013)