Біздің инстаграмға жазылыңыз, гранттық байқаудың нәтижелерін жіберіп алмау үшін!
Компьютерлік жүйелерді тексеру мен тестілеу
-
Пәннің мақсаты: қисында және сенімді программаларды құру үшін формальды верификация ролін түсіндіру, осы салада негізгі білімді қалыптастыру; студенттерге программалардың формальды арнайы әдістерін (алдынғы- және кейінгі шарт, темпоральды бекітулер) оқыту; студенттерге программалардың тәртібін формализациялау (бағдарламалау тілдерінің семантикалық формализациясы, формальды модельдерді пайдалану) әдісін үйрету.
-
Образовательная программа 6B06103 Компьютерлік инженерия
-
Несиелер 5
-
Селективті тәртіп
-
Оқу жылы 3
-
Семестр 6