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

Математическая логика - раздел математики, изучающий доказательства и вопросы оснований математики.

Разрабатываемые на кафедре курсы:

• Основы математической логики
• Теория доказательств
• Теория алгоритмов