Главная / Алгоритмы и дискретные структуры/ Языки и исчисления

Языки и исчисления

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