#курс #бесплатно #математика Математическая логика и теория алгоритмов Математическая логика возникла почти 100 лет назад в связи с внутренними потребностями математики. Но со временем она нашла применение также в теоретическом и практическом программировании и сегодня помогает преодолеть недостатки естественных языков — их неточность, многозначность и сложность. Программа курса: 1. Миссия математической логики 2. Основы теории множеств 3. Пропозициональная логика 4. Языки первого порядка 5. Аксиоматический метод 6. Математическое доказательство 7. Теория алгоритмов Жми: lektorium.tv/mathlogic