История отдела

На Украине теория программирования (ТП) начала развиваться с 1957 года, со дня основания ВЦ АН УССР, реорганизованного впоследствии в Институт кибернетики АН УССР. Основной предмет исследований ТП - это языки программирования, их инструментальные среды и системный интерфейс для разработки программного продукта. Основа математического аппарата - компьютерная алгебра и логика, теория автоматов и формальных языков, алгебро-грамматический аппарат спецификации классов алгоритмов и программ, формальные модели представления знаний. На основе математического аппарата разработаны модели и методы представления знаний и инструментарий конструирования компиляторов, интерпретаторов, средств общесистемного назначения, баз данных и знаний, экспертных систем, систем принятия решений и профессиональных систем для различных предметных областей (приложений). Существенное развитие ТП справедливо ассоциируют с работами чл.-корр. НАН Украины Е. Л. Ющенко, создавшей в Институте кибернетики свою научную школу ТП.