Функциональные сети.

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

В узлы обозначенные как вх переменные дуги не входят. Предполагается, что вычисления представленные функциональной сетью производятся отдельными шагами и на каждом шаге вычисляются значения только тех функций, аргументами которых являются либо вх переменные, либо значения функций, вычисленные на предыдущем шаге.

Вычисление многочлена

a₃x³ + a₂x² + a₁x + a₀

((a₃x + a₂)x+a₁)x+a₀

Алгебра регулярных множеств и эквивалентность структур программ.

Аксиомы алгебраических регулярных множеств определяют эквивалентное преобразование синтаксических структур программ. Последовательность операторов задается последовательностью символов.

Условное выполнение операции +

Цикл операции *

Операторным скобкам begin-end соответствуют ()

Интуиционистская логика и эквивалентность описаний задач.

Логика проблем и задач и И-ИЛИ-графы.

Алгоритмы решения задач на И-ИЛИ-графах.

. Язык исчисления предикатов, как средство определения состояний вычислительного процесса

Правила порождения эквивалентностей в алгоритмических логиках.

Язык исчисления высказываний, как средство определения состояний вычислительного процесса

.

Кванторы алгоритмической логики.

Свободные и связанные идентификаторы в формулах алгоритмической логики.

Подстановки в формулах алгоритмической логики.

Теоремы о подстановках алгоритмической логики.

Использование трехзначной алгоритмической логики в спецификациях программ.

Спецификации программ средствами алгоритмической логики.

Определение и свойства преобразователя предикатов.

Преобразователь предикатов, как средство верификации программ