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

  • Излагается темы, традиционно изучаемые в курсе математической логики и теории алгоритмов: алгебра логики и исчисление высказываний, логика и исчисление предикатов, формальные аксиоматические теории, теория алгоритмов и теория вычислительной сложности
  • Образовательная программа 6B01509 Математика
  • Кредитов 6
  • Селективная дисциплина
  • Год обучения 2
  • Семестр 2
Top