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