Теорія програмування

Тип: Нормативний

Кафедра: програмування

Навчальний план

СеместрКредитиЗвітність
73Залік

Опис курсу

“Теорія програмування” включає в себе вивчення основних (базових) понять теорії програмування, розгляд основних аспектів програм (семантика та синтаксис), їх формалізацію та  дослідження.

Рекомендована література

  1. М.С. Нікітченко. Курс лекцій з теорії програмування. Електронний посібник. – Київ, 2008.
  2. С. Лавров. Программирование. Математические основы, средства, теория.– СПб.: БХВ-Петербург, 2001.– 320 с.