Подробное описание документа

   Вычислительные системы : сборник научных трудов / Академия наук СССР, СО, Институт математики. - Новосибирск, 1983. - С 1995 г. Институт математики переименован в Институт математики им. С. Л. Соболева. - ISSN 0568-661X.
   Вып. 133 : Логические методы в программировании / науч. ред. Ершов Ю. Л., Гончаров С. С. - 1990. - 188 с. - Библиогр. в конце статей.

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