Новости: Новая программа

Горизонт событий: Событие

Новая программа
Опубликована учебная программа "Языки и исчисления" 22 апреля 2015 08:35
В курсе рассказывается об основных понятиях математической логики (логика высказываний, языки первого порядка, выразимость, исчисление высказываний, разрешимые теории, теорема о полноте, начала теории моделей).

Курс включает в себя около 200 задач различной трудности.

Ссылка на программу: https://intuit.ru/studies/professional_skill_improvements/17116/info
Тема: Новая программа