KZ

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

  • В конце курса студенты смогут создавать составные высказывания, выраженные в математических символах для определения истинности или ошибочности составных высказываний и использования правил вывода для доказательства выводных утверждений из высказываний гипотез путем применения правил логики высказываний и исчисления предикатов; а также доказывать математические утверждения. Дисциплина включает в себя теорию множеств, логику, теорию чисел, теорию графов, комбинаторику, рекурсию и индукцию.
  • Образовательная программа 6B06103 Математическое и компьютерное моделирование
  • ВУЗ Казахстанско-Британский технический университет
  • Кредитов 5
  • Год обучения 2
  • Семестр 3
Top