KZ

Вычислимые функции

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