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

Нормативна, 3 курс, 5 семестр, залік. Лекції - 22 год., практичні - 22 год.