Электронный обучающий ресурс по дисциплине: «Математическая логика и теория алгоритмов» предназначен для студентов укрупненных групп 230100.62 - «Информатика и вычислительная техника», 231000.62 - "Программная инженерия", квалификация бакалавр.

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

Авторский коллектив:

Вайнштейн Юлия Владимировна, к.т.н., доцент каф. ПМКБ ИКИТ СФУ (руководитель творческого коллектива)

Гульнова Белла Владимировна, старший преподаватель каф. ПМКБ ИКИТ СФУ

Сидорова Татьяна Валерьевна, к.ф.-м.н.,доцент каф. ПМКБ ИКИТ СФУ.