RU

Бағдарламаларды құрастыру әдістері

  • Синтаксиспен, бағдарламалау тілдерінің семантикасымен, бағдарламаларды тарату принциптері мен бағдарламаларды верификациялау әдістерімен байланысты мәселелерді қарастыру. Программалау тілдерін сипаттаудың қазіргі заманғы әдістерімен, формальды тілдерге арналған синтаксистік талдағыштарды құру әдістерімен және осы тілдерді трансляциялау әдістерімен. Сондай-ақ, бағдарламаларды формальды верификациялаудың перспективалық әдістеріне көп көңіл бөлінеді.
  • Образовательная программа 6B06101 Компьютерлік ақпараттық жүйелер
  • ВУЗ Шоқан Уәлиханов атындағы Көкшетау университетi
  • Несиелер 5
  • Селективті тәртіп
  • Оқу жылы 3
  • Семестр 2
Top