KZ

Основы теории алгоритмов

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