Есептелімділік теориясының элементтері

  • Пәннің мақсаты - студенттерді теориялық информатиканың негізгі мәселелерін шешудің алгоритмдері мен модельдерімен және есептеудің формальды теориясының ережелерімен таныстыру, математиканың семиотикалық құралдары, дәлелдеу және математикалық теорияның құрылымы туралы түсініктерін тереңдету; алгоритм және тіл ұғымдарын қарастыру және ресімдеу; алгоритмдер саласындағы практикалық дағдыларды, оларды құру тәсілдерін, алгоритмдердің талдау тиімділігі.
  • Несиелер 5
  • Селективті тәртіп
  • Оқу жылы 2
  • Семестр 3
Top