RU

Математикалық логика

  • Пәннің мақсаты-предикаттық логиканың семантикасын және Гильберт типіндегі предикаттарды есептеудің бір нұсқасын зерттеу; алгоритм ұғымын Тьюринг машинасы ретінде формализациялауды игеру және осы негізде есептеу күрделілігі теориясының негізгі ережелерін зерттеу. Пәннің міндеттері: - предикаттық логика формулаларын түрлендіру тәсілдерін меңгеру; - предикаттық логика тілінің экспрессивті мүмкіндіктерін меңгеру; - қарар әдісінің теориялық ережелерін зерделеу және логикалықты дәлелдеуде әдісті қолдануды меңгеру;
  • Образовательная программа 6B06101 Информатика
  • ВУЗ Торайгыров университеті
  • Несиелер 5
  • Селективті тәртіп
  • Оқу жылы 2
  • Семестр 3
Top