2:00 Понятие высказывания.
4:12 Логические связки, предикаты, кванторы.
18:59 Логические функции.
30:52 Законы логики высказываний и логики предикатов.
40:58 Нормальные формы логической функции (НФ, ДНФ, КНФ, СДНФ, СКНФ).
1:02:02 Тавтологии.
1:05:48 Логическое следствие.
1:15:50 Противоречие и метод доказательства "от противного".
Поддержите мой труд материально.
Карта Сбербанка: 2202 2036 0506 0823
Телеграм: t.me/Ianovich_eduard
Сайт: yanovich.spb.ru
Почта: eduard@yanovich.spb.ru
© Янович Эдуард Алексеевич, 2024
Негізгі бет Э.А.Янович. Лекции по математике. Лекция 1. Логика.
Пікірлер: 5