Введение в логику: Хекслет

Введение в логику — видео-курс с канала Хекслет по основам математической логики, созданный на основе первой главы „Учебника по математике“ Романа Добровенского. Современная математика на 99% формально основана на классической логике. Хотя логика и стоит как бы отдельно от остальной математики, однако несколько теорем будут интересны для широких слоёв населения.
Математическая логика в настоящее время является довольно базовым знанием. Понимание логики и теории множеств может здорово упростить работу и продвинутому бухгалтеру, и юристу, и финансисту, если они захотят более подробно изучать работу с базами данных (что не сложно).
Знание математической логики, пусть и не в чистом виде, но могут многим оказаться полезным.
В состав архива включены также слайды к лекциям в формате PDF.
Содержание видео-курса „Введение в логику“:
- Базовые понятия логики, логические операции, наша первая теорема и закон Де Моргана.
- Представление функций через базовые операции.
- Рассматриваем решение "Самой сложной логической задачи"
- Предикаты, кванторы, множества и подмножества.
- Рассматриваем систему математических доказательств.
- Парадоксы классической логики и заключение.