Введение в логику, урок 5: Теории: интуиции

🔥 Бесплатный курс «Введение в программирование»: https://ru.hexlet.io/link/WzF4Nm
✅ Полезные вебинары по программированию каждую неделю: https://ru.hexlet.io/link/nLx68V

Автор: Рахим Давлеткалиев (https://rakh.im/)

Классическая логика является формальной основой для 99% современной математики. Понимание принципов логики — обязательно для настоящего программиста.

Таймкоды:
0:00 Приветствие
1:00 Теорема 1.4 и её доказательство
4:44 Система математических доказательств
5:09 Предложения
7:30 Пример: дедукция
8:05 Аксиомы
10:05 Пример
16:30 Правила вывода
17:05 Математический аппарат
18:40 5 утверждений
20:00 Теорема Евклида
21:40 Три варианта действий
22:50 Система аксиом
24:50 Плоскость Фано
25:47 Упражнение 1.12
27:24 Что такое полная аксиома
29:10 Определение модели
30:50 Истинность и правила вывода
32:05 Противоречивость
32:50 Доказательство

#IT #математическаяЛогика #логика#обучение #программирование