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

  • Данный курс направлен на изучение теории множеств, логических функций, кодирования и алгоритмов, формул и тавтологий алгебры высказываний и предикатов, овладение основами современной математики, усвоение формальной аксиоматической теорией, формирование у обучающихся навыков логического мышления. Содержит использование логических операций, формул и законов алгебры логики при изучении других математических дисциплин, формулирование различных задач на языке математической логики.
  • Образовательная программа 6B01502 Математика-Информатика
  • Кредитов 5
  • Селективная дисциплина
  • Год обучения 3
  • Семестр 1
Top