KZ

Прикладная логика

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