Біздің инстаграмға жазылыңыз, гранттық байқаудың нәтижелерін жіберіп алмау үшін!
Ақпараттық жүйелерге арналған Model Checking
-
Бұл курс теориялық информатиканың қызықты және жаңа нәтижелерін ұсынады, дискретті жүйелерді тексеруде маңызды қолданылуы бар. Семинардың теориялық материалы ретінде және қолдануға практикалық алгоритм тексеру жүйесі SPIN ұсынылады. Model Checking қолдану саласы сипатталады. Model Checking әдістері толық қарастырылды: автоматика, ағаштары шешімі, BDD.
-
Образовательная программа 7M06103 Ақпараттық жүйелер
-
Несиелер 5
-
Оқу жылы 1
-
Семестр 1