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

  • Целью курса является формирование основных понятий по фундаментальным разделам дискретной математики и математической логики. В ходе изучения дисциплины студенты приобретают умения и навыки использования методов решения типовых задач дискретной математики и математической логики; дается представление о методах данной дисциплины как методах, применимых при изучении большого класса явлений, обладающих свойством дискретности; формируются знания, умения и навыки применения основных понятий теории графов, теории автоматов, теории булевых функций. В результате изучения курса студенты приобретут теоретический фундамент, необходимый для умения правильно ставить и решать задачи в области информатики, знать основные понятия логических функций, алгоритмов, графов, теорий кодирования, прививать навыки использования моделирования при решении задач искусственного интеллекта в процессе программирования, доказывания правильности программ.
  • Образовательная программа 6B01510 Математика
  • Кредитов 5
  • Год обучения 4
  • Семестр 1
Top