Введение в проблему компьютерной интерпретации прикладных формализуемых теорий

Аннотация

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