Л9.
|
Применение сочетаний при определении мощности множеств. Определение мощности наборов сочетаний.
|
Л10.
|
Булева алгебра. Понятие высказываний. Булева алгебра. Понятие высказываний. Основные логические высказывания. Обыкновенные и сложные высказывания .
|
Л11.
|
Булевы функции. Булевы тождества. Равносильность формул.
Предикаты. Кванторы общности и существования. Булевы функции. Булевы тождества. Равносильность формул.
|
Л12.
|
Законы логики. Построение таблицы истинности для логических функций. Нормальные формы. Совершенные нормальные формы. Восстановление представления логических функций по таблице истинности. Законы логики. Построение таблицы истинности для логических функций. Нормальные формы. Совершенные нормальные формы. Восстановление представления логических функций по таблице истинности.
|
Л13.
|
Бинарные логические элементы. Применение элементов двоичной логики. Задачи анализа и синтеза в логических схемах. Упрощение логических формул. Бинарные логические элементы.
|
Л14.
|
Логические сети. Методы минимизации логических сетей. Карта Карно. Логические сети. Методы минимизации логических сетей. Карта Карно.
|
Л15.
|
Применение предикатов как математической модели высказывания.
Кванторы общности и существования.
|
|
