Дискретная математика. Элементы теории задачи и упражнения. Часть 2. Булгакова И.Н - 4 стр.

UptoLike

ВУЗ: 

ВГУ | Воронеж

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

Рубрика: 

Операция замыкания . Основные замкнутые классы .
__________________________________________________________________________________________
50
СОДЕРЖАНИЕ
4.
Алгебра высказываний
4.1 Высказывания. Операции над высказываниями. Формулы
алгебры высказываний. Таблицы истинности
3
4.2 Равносильные формулы. Основные равносильности ал-
гебры высказываний
10
4.3 Решение логических задач с помощью алгебры
высказываний
12
5. Алгебра Буля
5.1 Булевы функции. Равенство функций и равносильность
формул. Принцип двойственности
17
5.2 Дизъюнктивные и конъюнктивные нормальные формы 22
5.3 Классификация ДНФ . Минимизация булевых функций 26
5.4 Совершенные нормальные формы 30
5.5 Приложение алгебры логики Буля к релейно-контактным
схемам
36
6. Полином Жегалкина . Линейные и нелинейные функции
42
7. Операция замыкания. Основные замкнутые классы
47
8. Полнота систем булевых функций
51
9. Предикаты . Операции над предикатами
56
10. Применение логики предикатов в математике
66
11. Машина Тьюринга
71
Литература 77
Содержание 78 
                                           50
Операция замыкания. Основные замкнутые классы.
__________________________________________________________________________________________



                                   СОДЕРЖАНИЕ

 4.                     Алгебра высказываний
    4.1 Высказывания. Операции над высказываниями. Формулы
                                                                                    3
        алгебры высказываний. Таблицы истинности
    4.2 Равносильные формулы. Основные равносильности ал-
                                                                                    10
        гебры высказываний
    4.3 Решение логических задач с помощью алгебры
                                                                                    12
         высказываний
 5. Алгебра Буля
    5.1 Булевы функции. Равенство функций и равносильность
                                                                                    17
        формул. Принцип двойственности
    5.2 Дизъюнктивные и конъюнктивные нормальные формы                              22
    5.3 Классификация ДНФ. Минимизация булевых функций                              26
    5.4 Совершенные нормальные формы                                                30
    5.5 Приложение алгебры логики Буля к релейно-контактным
                                                                                    36
        схемам
 6. Полином Жегалкина. Линейные и нелинейные функции                                42
 7. Операция замыкания. Основные замкнутые классы                                   47
 8. Полнота систем булевых функций                                                  51
 9. Предикаты. Операции над предикатами                                             56
10. Применение логики предикатов в математике                                       66
11. Машина Тьюринга                                                                 71
    Литература                                                                      77
    Содержание                                                                      78

Страницы