KZ

Теория алгоритмов

  • Целью курса является фундаментальная подготовка в области математической логики, овладение современным математическим аппаратом, необходимым при решении прикладных задач. Рассматриваются вопросы: теория рекурсивных функций; определимость вычислений в формальных исчислениях; машины Тьюринга, машины Шенфилда, эквивалентность разных подходов к вычислимости; знакомство с основными понятиями и результатами теории сложности вычислений.
  • Образовательная программа 8D05401 Математика
  • ВУЗ Восточно-Казахстанский технический университет имени Даулета Серикбаева
  • Кредитов 5
  • Селективная дисциплина
  • Год обучения 1
  • Семестр 1
Top