Відмінності між версіями «Зміст курсу "Навчальний курс "Математична логіка", ФМФ"»
Матеріал з Вікі ЦДУ
(→Тема 1. Назва теми) |
|||
| Рядок 15: | Рядок 15: | ||
=Зміст курсу= | =Зміст курсу= | ||
==Змістовий модуль І. Назва модулю== | ==Змістовий модуль І. Назва модулю== | ||
| − | ===Тема 1. | + | ===Тема 1. Алгебра висловлень.=== |
| + | * 1.1 Вступ. Предмет математичної логіки. Історична довідка. | ||
| + | * 1.2 Алгебра висловлень і алгебра Буля. Типи формул. Тавтології. Способи побудови. | ||
| + | * 1.3 Відношення рівносильності в алгебрі висловлень. Рівносильні формули. Основні рівносильності. Теорема про заміну. Двоїсті операції. Двоїсті формули. Закон двоїстості. | ||
| + | * 1.4 Проблема вирішення в алгебрі висловлень. Способи її розв’язання. ДНФ та КНФ. Досконалі ДНФ та КНФ. | ||
| + | |||
====Теоретичний матеріал==== | ====Теоретичний матеріал==== | ||
[https://owncloud.kspu.kr.ua/index.php/s/6RpYzTdWTbgF97g Лекція №1] | [https://owncloud.kspu.kr.ua/index.php/s/6RpYzTdWTbgF97g Лекція №1] | ||
Версія за 10:47, 9 жовтня 2015
Зміст курсу
Зміст
Зміст курсу
Змістовий модуль І. Назва модулю
Тема 1. Алгебра висловлень.
- 1.1 Вступ. Предмет математичної логіки. Історична довідка.
- 1.2 Алгебра висловлень і алгебра Буля. Типи формул. Тавтології. Способи побудови.
- 1.3 Відношення рівносильності в алгебрі висловлень. Рівносильні формули. Основні рівносильності. Теорема про заміну. Двоїсті операції. Двоїсті формули. Закон двоїстості.
- 1.4 Проблема вирішення в алгебрі висловлень. Способи її розв’язання. ДНФ та КНФ. Досконалі ДНФ та КНФ.
