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