ЭОР содержит разделы, традиционно изучаемые в курсе математической логики и теории алгоритмов: алгебра логики и исчисление высказываний, логика и исчисление предикатов, формальные аксиоматические теории, теория алгоритмов и теория вычислительной сложности.  Объем дисциплины составляет 3 з.е. (108 часов).

 Авторы-составители курса: Вайнштейн Юлия Владимировна, к.т.н., доцент каф. ПМКБ ИКИТ СФУ, Есин Роман Витальевич, ассистент каф. ПМКБ ИКИТ СФУ, Кошелева Анна Владимировна, к.ф.-м.н., доцент каф. ПМКБ ИКИТ СФУ, Кытманов Алексей Александрович, д.ф.-м.н., зав. каф. ПМКБ ИКИТ СФУ.

Институт космических и информационных технологий СФУ

Год набора 2015. 

Направление 090304 - "Программная инженерия".