Исчисления задачных конструктивных объектов и их интерпретации. IIстатьяИсследовательская статья
Статья опубликована в журнале из списка RSCI Web of Science
Статья опубликована в журнале из перечня ВАК
Статья опубликована в журнале из списка Web of Science и/или Scopus
Дата последнего поиска статьи во внешних источниках: 23 сентября 2021 г.
Аннотация:Разработан формальный подход к теории порождения задачных конструктивных объектов. Предложены определения понятий исчисления задачных конструктивных объектов, вывода в исчислении и модели абстрактного исчисления. В качестве интерпретирующих моделей этих исчислений используются локальные объекты.