Теория программирования

Конспекты лекций

• Верифікація програм. Семантики мов програмування
• Контекстовільні мови. Дерева розбору. Неоднозначні граматики
• Синтаксичний аналіз. Спадний аналіз. Предиктивний аналізатор. Висхідний аналіз

Методические указания и пособия

• Методичні вказівки до виконання контрольної роботи з дисципліни “Теорія програмування”

Тестовые вопросы и задания

• Тест на 4 бали з дисципліни "Теорія програмування" (Однозначна контекстно-вільна мова. Найслабкіша передумова для оператора y:=2*x+1 і постумови {y < 1})

Учебные пособия

• Методології програмування. Основні методології