Зарегистрируйтесь для получения доступа к скачиванию
Дисциплина: Математические модели информационных процессов и управления
ВУЗ: Белорусский государственный университет информатики и радиоэлектроники
Специальность: АСОИ
Вопросы по дисциплине ММИПиУ, 2 часть 4 семестр
1. Постановка задачи минимизации формул алгебры логики.
2. Сокращенные нормальные дизъюнктивные формы. Алгоритм Квайна.
3. Тупиковые нормальные дизъюнктивные формы. Метод импликантных матриц.
4. Минимизация в классе нормальных конъюнктивных форм (МНКФ).
5. Основные понятия комбинаторики: выборки, перестановки и сочетания.
6. Правила суммы и произведения в комбинаторике.
7. Перестановки. Число перестановок с повторением и без повторения.
8,9. Сочетания.
10,11. Производящие функции для сочетаний.
12. Принцип включения и исключения.
13. Одноместные и многоместные предикаты.
14. Логика предикатов.
15. Кванторы существования и всеобщности.
18. Описание предметной области формулами логики предикатов.
19. Сколемовские нормальные формы и хорновские дизьюнкты.
22. Метод линейной резолюции.
