ТА Теория алгоритмов
Курс посвящен знакомству с такими фундаментальными математическими понятиями, как вычисления и доказательство. Курс предусматривает изучение теории алгоритмов и аксиоматического подхода к математической логике.
09.02.07 Информационные системы и программирование