RU

Формалды әдістер мен қосымшалар

  • Курс шеңберінде бағдарламалық қамтамасыз етуді әзірлеуде формальды әдістерді қолданудың негізгі принциптері оқытылады, оның ішінде негізгі математикалық модельдер мен оларды талдау және синтездеу әдістері, формальды әдістерді қолдану арқылы бағдарламалық қамтамасыз етуді талдау және жобалау дағдылары қалыптасады.
  • Образовательная программа 7M06116 Компьютерлік ғылымдар және технологиялар
  • ВУЗ әл-Фараби атындағы Қазақ Ұлттық университеті
  • Несиелер 5
  • Селективті тәртіп
  • Оқу жылы 1
  • Семестр 1
Top