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

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

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

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

Регистрация: https://stepik.org/course/48679

https://stepik.org/course/48679

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

Авторский курс, разработанный с учетом потребностей и возможностей аудитории разных возрастов и уровня подготовки. Материал достаточно сложный, но преподнесен понятным и доступным языком, а также иллюстрирован оригинальными и разнообразными примерами и пояснениями. Простота изложения материала позволит освоить курс любому человеку, желающему понять основы математической логики и применить ее в реальной жизни.
| Stepik: online education