Теория вычислительных процессов

Теоретическое исследование моделей программы, решающей заданную задачу

Стандартные схемы программ в линейной и графовой формах. Инварианты и ограничения циклов. Анализ сетей Петри на основе дерева достижимости. Доказательство полной правильности программы. Суммы элементов диагоналей, параллельных главной диагонали матрицы.

30.05.2012 | Теория вычислительных процессов | Программирование, компьютеры и кибернетика | Язык: русский | Просмотры: 69