Целью изучения дисциплины является формирование математической и
логической культуры студента, фундаментальная подготовка по основным разделам
математической логики, овладение современным математическим
аппаратом для дальнейшего использования при решении теоретических и прикладных
задач