Лекция 1. Математические модели программ Выводы • • • Модель компьютерной программы – математический объект, отражающий те свойства программы, которые подлежат изучению и игнорирующий остальные свойства программы. Как правило, модель программы описывается либо алгебрайческой формулой, либо графом (алгебраические и графические модели) Модель программы определена ее синтаксисом и семантикой. Семантика программы определяет ее динамические свойства (исполнение). Спасибо за внимание