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

Abstract

Даний посібник може розглядатися як вступ до теорії програмування. Ця дисципліна є базовою нормативною дисципліною спеціальності «Інформатика». Щоб надати початкове уявлення про цю дисципліну, треба визначити її мету і завдання, об’єкт та предмет, а також вказати на її основні методи. Метою і завданням навчальної дисципліни «Теорія програмування» є засвоєння основних концепцій, принципів та понять сучасного, зокрема композиційного, програмування. У світоглядному аспекті поняття і методи теорії програмування необхідні для обгрунтування та формалізації способів розробки правильних та ефективних програм. У прикладному аспекті апарат теорії програмування необхідний для адекватного моделювання мов специфікацій і програмування та використання побудованих моделей для створення сучасних рограмних та інформаційних систем високої якості. Об’єктом навчальної дисципліни «Теорія програмування» є програми, а її предмет включає в себе вивчення основних (базових) понять теорії програмування, розгляд основних аспектів програм (семантика та синтаксис), їх формалізацію та дослідження, а також уточнення основних методів розробки програм. Вимоги до знань та вмінь: Для засвоєння матеріалу необхідні знання основ елементарної математики, дискретної математики, алгебри, математичної логіки та теорії алгоритмів. Відповідно в курсі будуть використовуватися методи теорії множин, дискретної математики, універсальної алгебри, математичної логіки і теорії алгоритмів. Місце у структурно-логічній схемі спеціальності. Нормативна навчальна дисципліна «Теорія програмування» є складовою циклу професійної підготовки фахівців освітньо-кваліфікаційного рівня «бакалавр». Курс теорії програмування потрібен для подальшого вивчення нормативних дисциплін «Системне програмування», «Бази даних та інформаційні системи», «Інтелектуальні системи», «Теорія обчислень», «Штучний інтелект», «Формальні методи розробки програмних систем», «Інформаційні технології», «Прикладна логіка», низки спецкурсів відповідного напряму.