Информационная карта ЭР


QR-код страницы
Регистрационный номер:4096
Дата регистрации:09.06.2023
Полное название:Программная реализация метода Квайна и Мак-Класки
Краткое название:MinimizationSDNF
Версия:1.0
Тип ЭР:Прикладная программа
Размер дистрибутива (МБ):1
Дата окончания разработки:16.05.2023
Кол-во страниц в РТО:9
Индекс УДК:004.4.421
Рецензент:Костин В.Н., доцент кафедры программного обеспечения вычислительной техники и автоматизированных систем, доктор технических наук
Мотивированное заключение:Кафедра программного обеспечения вычислительной техники и автоматизированных систем
Аннотация:Прикладная программа "Программная реализация метода Квайна и Мак-Класки" производит минимизацию совершенной дизъюнктивной нормальной формы используя свойства склеивания и поглощения. Метод содержит два этапа преобразования выражения функции: на первом этапе осуществляется переход от канонической формы (СДНФ) к так называемой сокращенной форме, на втором этапе - переход от сокращенной формы логического выражения к минимальной форме.
Целевая аудитория (УГСН):
Уровень образования:Высшее образование
Ступени образования:Бакалавр
Правообладатель:Оренбургский государственный университет
Автор(ы):Краутман Артём Алексеевич, Смольников Никита Матвеевич, Щудро Игорь Анатольевич
Дисциплины:Программирование задач дискретной математики
Грифование:
Внедрено:Институт математики и информационных технологий
Мультимедиа:
Зарегистрировано:Дата регистрации: 25.08.2023, № государственной регистрации: 623082500046-2
Область применения:Технические науки
Ключевые слова:прикладная программа, минимизация, СДНФ, Квайна-Мак-Класки, функция, булевая
Ссылка для скачивания:Дистрибутив электронного ресурса
форма поиска