#курс #математика

Математическая логика и теория алгоритмов

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

Что узнаете:
- что такое логика;
- основы теории множеств;
- пропозициональная логика;
- языки первого порядка;
- математическое доказательство;
- теория алгоритмов.

Жми: stepik.org/course/48679