KZ

Основы 2

  • Цель курса - убедиться, что студенты правильно понимают математику, в частности: функции и способы их логического описания. Понять вычислимость. Понять конкретную модель вычислимости: машины Тьюринга. Понять пределы вычислимости и откуда мы знаем эти пределы. Основы 2: Математическая подготовка; перечислимость; счетные и несчетные множества; диагонализация; гёделевская нумерация; машины Тьюринга (ТМ); вычислимые и невычислимые функции; вычислимость по Тьюрингу; проблема остановки; разрешимость и сокращение проблем решения; тезис Чёрча и эффективная вычислимость; недетерминированные ТМ; P=NP.
  • Образовательная программа 6B06107 Компьютерная инженерия (РК+UK)
  • ВУЗ Актюбинский региональный университет имени Кудайбергена Жубанова
  • Кредитов 5
  • Год обучения 3
  • Семестр 6
Top