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

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

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

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

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

Есин Роман Викторович, ассистент кафедры ПМКБ ИКИТ СФУ

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

Кытманов Алексей Александрович, д.ф.-м.н., заведующий кафедрой ПМКБ ИКИТ СФУ,