Математика (дискретная математика). Чугунова В.В. - 5 стр.

UptoLike

ВУЗ: 

ПГУ | Пенза

Составители: 

Рубрика: 

5
7.1.3 Математическая логика. Высказывания. Операции над высказываниями.
Формулы алгебры высказываний. Виды формул алгебры высказываний. Логические
переменные. Булевы функции. Основные аксиомы и законы алгебры логики. Полнота
системы булевых функций. Понятия минтерма, макстерма. Нормальные формы пред-
ставления логических функций. Совершенные дизъюнктивные нормальные формы и
совершенные конъюнктивные нормальные формы. Карты Карно. Минимизация логи-
ческих функций. Алгебра предикатов.
8. Практические занятия.
1. Множества. Операции над множествами. 2 часа
2. Отношения. Свойства отношений. Функции. 2 часа
3. Представление графа матрицами. Определение характеристических чисел
графа.
2 часа
4. Решение задачи разрезания графа на подграфы. Разработка последовательного
алгоритма разрезания. Разработка итерационного алгоритма разрезания.
2 часа
5. Построение дерева минимального веса. Алгоритмы Краскала и Прима. 2 часа
6. Алгебра высказываний. Формулы алгебры высказываний. Их виды.
Построение таблиц истинности формул алгебры высказываний.
2 часа
7. Булевы функции. Полнота системы булевых функций.
Нормальные формы представления булевых функций.
2 часа
8. Представление логической функции в виде СДНФ и СКНФ. Преобразование
СДНФ в карту Карно. Минимизация логической функции.
2 часа
9. Лабораторные занятия – не предусмотрены.
10. Семинарские занятия – не предусмотрены.
11. Другие виды занятий – не предусмотрены.
12. Курсовая работа – не предусмотрена.
13. Другие виды самостоятельной работы – не предусмотрены.
14. Рекомендуемая литература 
                                                                                      5


     7.1.3 Математическая логика. Высказывания. Операции над высказываниями.
Формулы алгебры высказываний. Виды формул алгебры высказываний. Логические
переменные. Булевы функции. Основные аксиомы и законы алгебры логики. Полнота
системы булевых функций. Понятия минтерма, макстерма. Нормальные формы пред-
ставления логических функций. Совершенные дизъюнктивные нормальные формы и
совершенные конъюнктивные нормальные формы. Карты Карно. Минимизация логи-
ческих функций. Алгебра предикатов.


                         8. Практические занятия.
1. Множества. Операции над множествами.                                      2 часа

2. Отношения. Свойства отношений. Функции.                                   2 часа

3. Представление графа матрицами. Определение характеристических чисел       2 часа
графа.
4. Решение задачи разрезания графа на подграфы. Разработка последовательного 2 часа
алгоритма разрезания. Разработка итерационного алгоритма разрезания.
5. Построение дерева минимального веса. Алгоритмы Краскала и Прима.          2 часа

6. Алгебра высказываний. Формулы алгебры высказываний. Их виды.        2 часа
Построение таблиц истинности формул алгебры высказываний.
7. Булевы функции. Полнота системы булевых функций.                    2 часа
Нормальные формы представления булевых функций.
8. Представление логической функции в виде СДНФ и СКНФ. Преобразование 2 часа
СДНФ в карту Карно. Минимизация логической функции.


            9. Лабораторные занятия – не предусмотрены.


             10. Семинарские занятия – не предусмотрены.


             11. Другие виды занятий – не предусмотрены.


                12. Курсовая работа – не предусмотрена.


  13. Другие виды самостоятельной работы – не предусмотрены.



                      14. Рекомендуемая литература

Страницы