Бағдарламалық инженерия

  • Мазмұны: Алгоритм теориясы, қалыпты алгоритмдер, есептелетін функциялар, Тьюринг машинасы, графиктік диаграммалар, алгоритмдердің модельдері; математикалық логика мәлімдемелердің формальды туындысы; басқару теориясының принциптерін, әдістерін және күрделі жүйелердегі жоспарлау мен басқарудың жалпы заңдылықтарын; дәлелдеу теориясы, аксиомалар мен мәлімдемелерден қорытынды шығарудың математикалық теориясы, бағдарламаны тексеру теориясы; формалар жиынының теориясы.
  • Несиелер 4
  • Селективті тәртіп
  • Оқу жылы 3
  • Семестр 2
Top