Главная /
Алгоритмы и дискретные структуры/ Языки и исчисления
Языки и исчисления
В курсе рассказывается об основных понятиях математической логики (логика высказываний, языки первого порядка, выразимость, исчисление высказываний, разрешимые теории, теорема о полноте, начала теории моделей).
Выберите номер теста: