Згідно робочого навчального плану кредитний модуль «Технології розроблення програмного забезпечення - 1. Сучасні технології програмування» дисципліни «Технології розроблення програмного забезпечення» викладається студентам другого року підготовки ОКР «бакалавр» спеціальності 151 Автоматизація та комп'ютерно-інтегровані технології у четвертому навчальному семестрі. Матеріал кредитного модуля базується на дисциплінах «Програмування - 1. Процедурне програмування», «Програмування - 2. Об'єктно-орієнтоване програмування», «Програмування спеціалізованих задач - 1. Програмування спеціалізованих задач», «Програмування спеціалізованих задач - 2. Курсова робота». Знання уміння та навички, одержані під час вивчення даного модуля, у подальшому використовуються в усіх дисциплінах, які потребують програмної реалізації розрахунків на комп'ютері, і в першу чергу – в курсах «Ідентифікація та моделювання об'єктів автоматизації», «Основи проектування систем автоматизації і систем керування експериментом», «Методи штучного інтелекту та їх застосування в хімічній технології», в курсових і дипломних роботах і проектах.

Кредитний модуль: Математична логіка і теорія алгоритмів 1.

Алгоритмічні машини, рекурсивні функції, автоматичне доведення теорем