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

Введение в логику — видео-курс с канала Хекслет по основам математической логики, созданный на основе первой главы „Учебника по математике“ Романа Добровенского. Современная математика на 99% формально основана на классической логике. Хотя логика и стоит как бы отдельно от остальной математики, однако несколько теорем будут интересны для широких слоёв населения.

Математическая логика в настоящее время является довольно базовым знанием. Понимание логики и теории множеств может здорово упростить работу и продвинутому бухгалтеру, и юристу, и финансисту, если они захотят более подробно изучать работу с базами данных (что не сложно).

Знание математической логики, пусть и не в чистом виде, но могут многим оказаться полезным.

В состав архива включены также слайды к лекциям в формате PDF.

Содержание видео-курса „Введение в логику“:

1. Базовые понятия логики, логические операции, наша первая теорема и закон Де Моргана.
2. Представление функций через базовые операции.
3. Рассматриваем решение "Самой сложной логической задачи"
4. Предикаты, кванторы, множества и подмножества.
5. Рассматриваем систему математических доказательств.
6. Парадоксы классической логики и заключение.