RU

UML модельдеу

  • Пәннің мақсаты: бағдарламалық өнімді құру үдерісі мен кезеңдерін жан-жақты және жүйелі көру үшін студенттердің қажет теориялық базасымен практикалық дағдыларын қалыптастыру.Пән бойынша келесі аспектілер қарастырылады: Пәнге кіріспе. Тізбектелген жүйелерді модельдеуді ауысатын жүйелермен белгі ретінде (Крипке) қарастыру. Сызықты уақыт қасиеті. Сызықты уақытша логика (LTL
  • Образовательная программа 6B06103 Компьютерлік инженерия
  • ВУЗ әл-Фараби атындағы Қазақ Ұлттық университеті
  • Несиелер 5
  • Селективті тәртіп
  • Оқу жылы 3
  • Семестр 5
Top