Новости: Новый курс

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

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

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

Ссылка на курс: https://intuit.ru/studies/courses/1175/133/info
Тема: Новый курс