Логическая символика | 1 | Константин Правдин | НОЦМ ИТМО

⏱ В этой лекции:
00:00 Знакомство
01:45 О курсе
04:56 Рекомендуемая литература
11:36 О плане занятий
12:54 О контрольных испытаниях
24:13 Логическая символика
25:43 Высказывания и предикаты
30:41 Символы
39:22 Импликация
43:47 Равносильность
47:02 Отрицание
48:15 Логические "и" и "или"
51:24 Отрицание высказываний
1:03:10 Свойство, признак, критерий
1:09:03 Операции над семействами множеств по набору индексов
1:19:27 Доказательство теорем от противного
1:27:37 Один из законов де Моргана

✏️ Конспект: https://miro.com/app/board/uXjVMoBABV4=/?share_link_id=780678651876
🗓️ План занятий: https://docs.google.com/document/d/1mpqWPBVXv3AhternJwsrKVb_T2tmrFjtlQX00TkEEd0/edit?usp=sharing
🎓 Курс "Математический анализ", читаемый с осени 2023 в ИТМО: https://www.youtube.com/playlist?list=PLj83Zl_bweJxzz1OgIPGkmjw2TiDt7K3o
🎥 Вводные лекции: https://www.youtube.com/playlist?list=PLj83Zl_bweJxt1Gnet3VEFd9xyMjfuJUh

📚 Рекомендуемая литература:
🔹 Бойцев А.А. Конспект лекций по математическому анализу (базовый уровень)
https://drive.google.com/file/d/1djjiNfdQDAWuMCLIH2Q0yms76Agb54MP/view?usp=sharing
🔹 Бойцев А.А. Математический анализ I: https://profuse-agenda-583.notion.site/I-980946bf5351477db98624c06e198d55
🔹 Зорич В.А. Математический анализ I

🙋‍♂️ Читает Константин Правдин, канд. техн. наук
Ⓜ Научно-образовательный центр математики, ИТМО: https://www.youtube.com/@math_itmo

Видео Логическая символика | 1 | Константин Правдин | НОЦМ ИТМО канала Плюс ЦЭ