Курс «Введение в логику»
Цикл из нескольких коротких видеолекций по логике — одной из дисциплин, составляющих основу программирования и современной математики.
![Курс «Введение в логику»](https://media.tproger.ru/uploads/2017/04/PLo6puixMwuSNCt4bd99UheEjaS4EudoGJ_thumbnail.jpg)
Курс за авторством Рахима Давлеткалиева, программиста, ранее — преподавателя в международном ИТ-университете. Серия состоит из нескольких коротких видеолекций по логике — одной из дисциплин, составляющих основу программирования. Материал основан на первой главе «Учебника по математике» Романа Добровенского и записан в 2013 году. Пригодится будущим программистам, например, для понимания принципов работы битовых операций (кстати, как раз о них вы можете подробно прочитать на нашем сайте).
В процессе прохождения курса вы познакомитесь с такими понятиями, как представление функций с помощью базовых операций, базовые понятия из теории множеств, система математических доказательств, а также рассмотрите несколько интересных парадоксов современной логики.
Курс состоит из 7 частей, которые дадут вам представление о классической логике, являющейся формальной основой для 99% современной математики.
889 открытий903 показов