Аннотация:
Трансформация знаний в компетентность при программировании операции сложения. Рассмотрен механизм создания программного кода проектов информационных технологий для создания систем накопления, переработки, хранения информации и информационного сопровождения процессов управления. На основе анализа свойств оператора сложения выполнена формализация проверок правильности программного кода с учетом используемых типов данных. Показана возможность применения формальных подходов для формирования компетентности создателей программного кода проектов при обучении.
