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_...
Сайт: yanovich.spb.ru
Почта: eduard@yanovich.spb.ru
© Янович Эдуард Алексеевич, 2024
Негізгі бет Логика. Э.А.Янович. Лекции по математике. Лекция 1 / Lecture 1. Logics
Пікірлер: 5