Загрузил Roman B.

Лекция 1 Модели программ

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