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

  • Получение представления об основных понятиях, методах и результатах теории вычислимости; получение представления об основных понятиях и методах булевой алгебры; получение представления об основных понятиях формальных исчислений.
  • Образовательная программа 6B01507 Информатика
  • Кредитов 5
  • Селективная дисциплина
  • Год обучения 2
  • Семестр 1
Top