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

"Классическая логика является формальной основой для 99% современной математики. Понимание принципов логики — обязательно для программиста. Начните изучать программирование бесплатно на Хекслете:
Еще больше полезной информации в Telegram-канале:
Таймкоды: 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 #математическаяЛогика #логика#обучение #программирование