Учебная дисциплина «Математическая логика» ставит своей целью формирование:

• Фундаментальных знаний в области автоматического доказательства теорем;
• Навыков применения методов математической логики в практических задачах информатики, программирования и искусственного интеллекта, в том числе автоматизации логического вывода и моделирования рассуждений.