Логическая символика | 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