• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Бакалавриат 2025/2026

Дискретная математика 2

Язык: русский
Кредиты: 6
Контактные часы: 80

Программа дисциплины

Аннотация

Курс посвящен основам теории алгоритмов, теории сложности вычислений и математической логики. Его главные темы – логика первого порядка, абстрактная теория вычислимости, машины Тьюринга как конкретная вычислительная модель, меры сложности вычислений, булевы схемы, сложностные классы P и NP. Курс может служить теоретическим основанием для дальнейшего изучения различных областей информатики, математической логики и алгебры, а также для практической деятельности по разработке и анализу алгоритмов.