KZ

Элементы теории вычислимости

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