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

  • Способствует применению свойств операций для доказательства теоретико-множественных равенств; определению типов отображения и находить композицию отображений; усвоению основных понятий комбинаторики. Развивает умение применять эти понятия при решении задач; обосновывать корректность алгоритмов и оценивать их сложность; развивает практические навыки при использовании алгоритмов и применении машин Тьюринга к словам; формирует представление о методах современной дискретной математики и её приложениях в программировании; обосновывать корректность алгоритмов и оценивать их сложность
  • Образовательная программа 6B05401 Математика
  • Кредитов 5
  • Селективная дисциплина
  • Год обучения 2
  • Семестр 1
Top