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

Автор: Рахим Давлеткалиев () Практические курсы по программированию на русском языке - от первой программы до первой работы → Классическая логика является формальной основой для 99% современной математики. Понимание принципов логики — обязательно для настоящего программиста. Полезные ссылки: - Блог Хекслета. Об образовании - Освоить профессию программиста на Hexlet (JS-backend, JS-frontend, PHP, Java). Хорошо продуманные, упорядоченные курсы, поддержка ментора и сообщества, 4 реальных проекта в портфолио на github. Сертификат по окончанию курсов. - Подробнее о проектах. - Истории успеха. Таймкоды: 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 Упражнение 27:24 Что такое полная аксиома 29:10 Определение модели 30:50 Истинность и правила вывода 32:05 Противоречивость 32:50 Доказательство #IT #математическаяЛогика #логика#обучение #программирование