Біздің инстаграмға жазылыңыз, гранттық байқаудың нәтижелерін жіберіп алмау үшін!
Программалау теориясы және спецификалары
-
Пәнді оқу барысында компьютерлік жүйелерді модельдеудің заманауи тәсілдерімен, бағдарламаларды нақтылаудың, талдаудың және тексерудің заманауи әдістерімен танысу жүреді. Бағдарламаларды формальды модельдеудің аспаптық құралдарын практикалық қолдану жүзеге асырылады, техникалық сипаттамалардың заманауи әдістеріне, мәліметтер ағынының диаграммаларына, соңғы күйлер жиынтығы бар машиналарға, Петри желілеріне, объектілер - қатынастар диаграммаларына (EntityRelationship Diagram) шолу және талдау жасалады, сонымен қатар спецификация тілін таңдау. Бағдарламалаудағы формальды әдістер, предикаттық логика тілі, интерпретация, Хоар әдісі, операторлық схемалар, Флойд әдісін шығару ережелері, VDM-SL формальды спецификация тілі, бағдарламаларды тексеру әдістері, функциялар, спецификациялар, синтаксис, VDM-SL операциялары зерттеледі
-
Образовательная программа 7M01507 Информатика
-
Несиелер 5
-
Оқу жылы 2
-
Семестр 1