Презентация Алгебра высказываний. Логика и теория алгоритмов
Смотреть слайды в полном размере 
Вашему вниманию предлагается презентация «Алгебра высказываний. Логика и теория алгоритмов», с которой можно предварительно ознакомиться, просмотреть текст и слайды к ней, а так же, в случае, если она вам подходит - скачать файл для редактирования или печати.
Презентация содержит 45 слайдов и доступна для скачивания в формате ppt. Размер скачиваемого файла: 992.00 KB
Pic.1
1. Алгебра высказываний Аксёнов Сергей Владимирович к. т. н. , доцент каф. ОСУ ТПУ
Pic.2
Литература к курсу
Pic.3
Темы лекции
Pic.4
Понятие высказывания
Pic.5
Примеры высказываний
Pic.6
Функция истинности
Pic.7
Отрицание высказывания
Pic.8
Конъюнкция двух высказываний
Pic.9
Дизъюнкция двух высказываний
Pic.10
Импликация двух высказываний
Pic.11
Эквивалентность двух высказываний
Pic.12
Понятие формулы алгебры высказываний
Pic.13
Примеры
Pic.14
Логическое значение составного высказывания
Pic.15
Составление таблиц истинности для формул
Pic.16
Классификация формул алгебры высказываний
Pic.17
Основные тавтологии Ч. 1
Pic.18
Основные тавтологии Ч. 2
Pic.19
Свойства конъюнкции и дизъюнкции
Pic.20
Свойства импликации и эквивалентности Ч. 1
Pic.21
Свойства импликации и эквивалентности Ч. 2
Pic.22
Выражение одних логических операций через другие
Pic.23
Основные правила получения тавтологий
Pic.24
Понятие равносильности формул
Pic.25
Признак равносильности формул
Pic.26
Равносильные преобразования формул
Pic.27
Примеры равносильного преобразования
Pic.28
Понятие нормальных форм
Pic.29
Совершенные нормальные формы
Pic.30
Представление формул алгебры высказываний СДНФ
Pic.31
Пример нахождения СДНФ
Pic.32
Пример нахождения СДНФ
Pic.33
Представление формул алгебры высказываний СКНФ
Pic.34
Пример нахождения СКНФ
Pic.35
Пример нахождения СКНФ
Pic.36
Понятие логического следствия
Pic.37
Пример логического следствия
Pic.38
Признаки и свойства логического следствия
Pic.39
Следование и равносильность формул
Pic.40
Правила логических умозаключений Ч. 1
Pic.41
Правила логических умозаключений Ч. 2
Pic.42
Нахождение следствий из данных посылок
Pic.43
Пример: Нахождение следствий из данных посылок
Pic.44
Нахождение посылок для данного следствия
Pic.45
Пример: Нахождение посылок для данного следствия
Если вам понравился сайт и размещенные на нем материалы, пожалуйста, не забывайте поделиться этой страничкой в социальных сетях и с друзьями! Спасибо!
