Теорія програмування
Тип: Нормативний
Кафедра: програмування
Навчальний план
Семестр | Кредити | Звітність |
7 | 3 | Залік |
Опис курсу
“Теорія програмування” включає в себе вивчення основних (базових) понять теорії програмування, розгляд основних аспектів програм (семантика та синтаксис), їх формалізацію та дослідження.
Рекомендована література
- М.С. Нікітченко. Курс лекцій з теорії програмування. Електронний посібник. – Київ, 2008.
- С. Лавров. Программирование. Математические основы, средства, теория.– СПб.: БХВ-Петербург, 2001.– 320 с.