KZ

Математическая логика

  • Большее внимание уделяется изложению некоторых фундаментальных результатов математической логики, представляющих общематематический интерес. элементы теории алгорифмов. Определения, касающиеся вычислимости по Тьюрингу, обсуждаются тезис Чёрча и понятия рекурсивного и рекурсивно-перечислимого множества. Рассматривается как обязательный минимум по теории алгорифмов, приводятся основные теоремы общей теории алгорифмов относительно существования неразрешимых множеств и предикатов
  • Образовательная программа 7M01501 Математика
  • ВУЗ Шымкентский университет
  • Кредитов 5
  • Селективная дисциплина
  • Год обучения 2
Top