Компьютерлік ғылымдардың формальды негіздері және бағдарламалау тілдерінің принциптері
Сипаттама: Пән Computer Science-тың теориялық негіздері мен бағдарламалау тілдерінің тұжырымдамаларын біріктіреді. Формалды тілдер, автоматтар, грамматикалар, есептелімділік, синтаксис, семантика, типтер жүйелері және бағдарламалаудың негізгі парадигмалары зерттеледі. Студенттер тілдік құрылымдарды талдау, қарапайым трансляторларды немесе интерпретаторларды жобалау және бағдарламалық шешімдердің дұрыстығын негіздеу үшін формалды модельдерді қолданады.
Кредиттер саны: 5
Пререквизиты:
- Алгоритмдер, деректер құрылымдары және күрделілікті талдау
Пәннің еңбек сыйымдылығы:
| Жұмыс түрлері | сағат |
|---|---|
| Дәрістер | 15 |
| Практикалық жұмыстар | |
| Зертханалық жұмыстар | 30 |
| СӨЖО | 30 |
| СӨЖ | 75 |
| Қорытынды бақылау нысаны | емтихан |
| Қорытынды бақылауды жүргізу нысаны |
Компонент: Таңдау бойынша компонент
Цикл: Кәсіптік пәндер
