МИНИМИЗАЦИЯ ПРЕДСТАВЛЕНИЯ ПРЕДИКАТНЫХ ФОРМ В КОНЕЧНЫХ МОДЕЛЯХ

Николай Иванович Калядин

Авторы

Н. И. Калядин Ижевский государственный технический университет имени М. Т. Калашникова

Ключевые слова:

минимизация, ранг, предикатная форма, импликанта, минимальное покрытие

Аннотация

Предложены методы минимизации предикатных форм в конечных моделях для классического базиса (отрицание, конъюнкция, дизъюнкция).

Биография автора

Н. И. Калядин, Ижевский государственный технический университет имени М. Т. Калашникова

кандидат технических наук, профессор, профессор кафедры «Прикладная математика и информатика»; Ижевский государственный технический университет имени М. Т. Калашникова

Библиографические ссылки

Поспелов Д. А. Логические методы анализа и синтеза схем. - М. : Энергия, 1968. - 228 с.

Эдельман С. Л. Математическая логика. - М. : Высш. шк., 1975. - 176 с.

Ершов Ю. Л. Проблемы разрешимости и конструктивные модели. - М. : Наука, 1980. - 460 с.

Белоусов В. А., Калядин Н. И. Конечные модели и их применение к построению классификатора отношений последовательно-параллельного действия // Дискретные системы обработки информации : межвуз. сб. - Ижевск : Изд-во ИМИ, 1983. - Вып. 5. - С. 83-88.

Калядин Н. И. Конструктивизация моделей классификации конечных объектов // Известия института математики и информатики УдГУ. - Ижевск : Изд-во УдГУ, 2007. - Вып. 1(38). - С. 3-231.