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