Программная инженерия

  • Содержание: Теория алгоритмов нормальные алгоритмы, вычислимые функции, машина Тьюринга, граф-схемы, модели алгоритмов; математическая логика формальный вывод утверждений; теория управления принципы, методы и общие законы планирования и управления в сложных системах; теория доказательств математическая теория вывода по аксиомам и утверждениям, теория верификации программ; теория множеств форм.
  • Кредитов 4
  • Селективная дисциплина
  • Год обучения 3
  • Семестр 2
Top