KZ

Элементы теории моделей

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