RU

Қолданбалы логика

  • Курс шеңберінде докторанттар шешу әдісіне негізделген логикалық бағдарламалаудың негізгі ұғымдарын; бағдарламалық шешімдердің көптігі, шешу әдісінің толықтығы туралы теоремаларды; Эрбранның ең кіші моделінің алгоритмдік қасиеттерін; prologue бағдарламалау тілінің синтаксисі мен семантикасын және ондағы бағдарламалаудың негізгі тәсілдерін білетін болады.
  • Образовательная программа 8D06103 Математикалық және компьютерлік модельдеу
  • ВУЗ Қазақстан-Британ техникалық университеті
  • Несиелер 5
  • Селективті тәртіп
  • Оқу жылы 1
  • Семестр 1
Top