Курс передбачає ознайомлення з теоретичним базисом, котрий є основою більшості елементів програмного забезпечення – головні моделі обчислень, які використовуються в основі провідних мов програмування. В процесі навчання студенти отримають теоретичні знання та практичні навички в роботі з різними моделями обчислень. Розглядаються різні методи конструювання моделей, які утворюють основу базових алгоритмів, що використовуються в практиці програмування.