Математическая логика возникла почти 100 лет назад в связи с внутренними потребностями математики

Математическая логика возникла почти 100 лет назад в связи с внутренними потребностями математики. Но со временем она нашла применение также в теоретическом и практическом программировании и сегодня помогает преодолеть недостатки естественных языков: их неточность, многозначность и сложность.

Больше об этом вы сможете узнать на бесплатном курсе Томского государственного университета систем управления и радиоэлектроники «Математическая логика и теория алгоритмов».

Программа курса:

Глава 1. Миссия математической логики

Глава 2. Основы теории множеств

Глава 3. Пропозициональная логика

Глава 4. Языки первого порядка

Глава 5. Аксиоматический метод

Глава 6. Математическое доказательство

Глава 7. Теория алгоритмов

Подробнее: https://www.lektorium.tv/oBW.

https://www.lektorium.tv/oBW

Источник: www.lektorium.tv

Комментарии: