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