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

Abstract

Электронный учебно-методический комплекс (далее - ЭУМК) содержит курс лекций (теоретическая часть) и упражнений (практическая часть), контрольные тесты по разделам «Логика высказываний», «Логика предикатов» и «Исчисление высказываний» дисциплины «Математическая логика». Наличие большого количества примеров и разобранных решений задач поможет в самостоятельном изучении курса математической логики.