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