5.2.2. Содержание практических занятий

Номер раздела	Содержание практических (семинарских) занятий	Часы
	3 семестр
2	1 практическое занятие: Способы задания булевых функций. Элементарные функции. Формулы. Специальные виды формул. Дизъюнктивные и конъюнктивные нормальные формы. Преобразование булевых функций. Разложение логических функций на конституенты.	2
3	1 практическое занятие: Минимизация булевых функций методами алгебраических преобразований, с помощью матриц Карно, методами Гаврилова –Копыленко и Квайна-МакКласски.	2
	ИТОГО	4

5.3. Самостоятельная работа студентов включает:

– проработку и углубление лекционного материала;

– подготовку к лекциям и практическим занятиям;

– выполнение домашнего задания

5.3.1. Целью домашнего задания, является решение задач по преобразованию, разложению и минимизации логических функций; построению доказательств в логике высказываний и логике предикатов, построению диаграмм, графов и матриц в соответствии с вариантами, заданными преподавателем.

5.4. Контрольные вопросы по дисциплине

1. Системы счисления. Виды систем счисления, понятие разряда. Двоичная система счисления.

2. Методы перевода чисел из одной системы счисления в другую. Схема Гарнера.

3. Арифметика двоичных чисел (сложение, вычитание, умножение)

4. Основные операции логики Буля на множествах.

5. Представление множеств с помощью диаграмм Венна.

6. Алгебра логики как аппарат анализа и синтеза дискретных устройств.

7. Основные логические действия алгебры логики.

8. Постулаты алгебры логики.

9. Доказательство основных законов Булевой алгебры.

10. Законы разложения булевых функций.

11. Разложение булевых функций на конституенты единицы.

12. Разложение булевых функций на конституенты нуля.

13. Формы представления логических функций (элементарные, нормальные, совершенные).

14. Алгоритмы перехода из нормальных форм в совершенные.

15. Таблицы состояний как форма представления булевых функций. Запись булевых функций с помощью десятичных чисел.

16. Представление булевых функций с помощью матриц Карно. Свойства матриц Карно.

17. Минимизация логических функций методом алгебраического упрощения. Пример минимизации.

18. Алгоритм минимизация методом Куайни-МакКласски.

19. Алгоритм минимизация методом Гаврилова-Копыленко.

20. Минимизация булевых функций с помощью матриц Карно. Правила выделения подкубов.

21. Понятие высказывания. Сложные высказывания и логические связки.

22. Метатеоремы и законы логики высказываний. Тавтология, равносильность и логическое следствие.

23. Понятие предиката, примеры предикатных функций, порядок предикатной функции.

24. Понятие квантора, виды кванторов и их свойства. Свободные и связанные переменные

25. Методы доказательств в логике предикатов, истинность и эквивалентность.

26. Понятие графа и его определение, вершины, ребра и инцидентор графа.

27. Основные типы графов. Дуги, петли и звенья.

28. Матрица смежности графа

29. Матрица инцидентности графа

30. Пути и контуры в графах