0:00 Формальная логика 1:50 Формальная логика в эпоху ИИ 3:23 4 закона логики 3:45 Закон тождества 7:00 Закон противоречия 8:35 Закон исключённого третьего 9:30 Законы дедукции 10:09 Концепции формальной логики в программировании 14:12 Чёрный лебедь Виноградова и Талеба 15:20 Логика как школьный предмет в СССР 16:19 Учебник Виноградова 18:45 Учебник Челпанова 19:25 Задачники Богуславского и Поварнина 20:12 Учебник Гусева 20:55 Формальная логика, нечёткая логика и диалектика 23:06 Изучение формальной логики 23:55 Логика в спорах и дебатах Мой курс «Хардкорная веб-разработка» —
Книжный клуб Ботаним!, где мы читаем хорошие ИТ-книги:
Telegram —
Telegram канал —
ВК —
https://vk.com/digitalize.team RuTube —
Дзен —
