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

Курс об основах математической логики и применению ее в реальной жизни. Программа рассчитана на студентов, обучающихся инженерным специальностям, и школьников старших классов, увлекающихся логикой и математикой.

Программа курса

• Миссия математической логики
• Основы теории множеств
• Пропозициональная логика
• Языки первого порядка
• Аксиоматический метод
• Математическое доказательство
• Теория алгоритмов
• Итоговый тест по курсу

Преподаватель курса профессор кафедры «Компьютерные системы в управлении и проектировании» ТУСУР, кандидат физ.-мат. наук, старший научный сотрудник.