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