Код: 315223

Назва:

Моделі обчислень в програмній інженерії

Анотація: Теоретичний базис програмної інженерії - моделі обчислень, що використовуються в основі ведучих мов програмування. В ході курсу студенти отримують теоретичні знання та практичні навички в роботі з наступними моделями обчислень: нормальні алгоритми Маркова, машини Тьюрінга, машини з необмеженими регістрами, системи Поста, частково-рекурсивні функції та лямбда числення. Для практичної роботи використовується інтерпретатор моделей зі зручним графічним інтерфейсом.