процесс вычисления с математической точки зрения (от Свириденко Д.И.)
стр.11
При этом процесс вычисления с математической точки зрения представляет собой процесс исполнения так называемых правил переписывания, который можно интерпретировать как логический вывод искомого результата из аксиоматической теории, в роли которой выступает набор определений функций.
Гончаров С. С., Свириденко Д. И. Семантическое моделирование и искусственный интеллект.
https://journals.nsu.ru/upload/iblock/c50/Goncharov_SJP2018-4.pdfhttps://journals.nsu.ru/sjp/archive/2018/18-4/sec1/2018-16-4-5-25/ стр.15
Отметим, что авторы концепции в то время использовали термин «семантическое программирование», поскольку выдвинутая концепция была ориентирована в основном на решение задач управления сложным системами. Однако впоследствии концепция постепенно стала приобретать черты модельного подхода и все больше и больше ориентироваться на решение задач моделирования сложных процессов, а также на задачи обработки больших и потоковых данных. По этой причине было предложено концепцию переименовать в семантическое моделирование.
Cуть этой концепции заключается в следующем. ...
ps1
И всё это можно и следует переименовать в метамоделирование. )