Кл.слова (ненормированные):
математическая логика -- прикладная логика -- теоретическое программирование -- логические системы программирования
Аннотация: В сборнике содержатся статьи, посвященные теории абстрактных типов данных и проблемам семантического прграммирования. Исследуются проблемы конструктивности позитивных типов данных в терминах универсальных и универсальных хорновских предложений, вопросы полиномиальной автоустойчивости структур и различные аксиоматизации теории множеств и вопросы семантики. Изучена обобщенная вычислимость над вещественными числами, и изложены основные идеи и язык по реализации в рамках СИГМА-проекта математических разработок семантического программирования. Материалы сборника представляют интерес для специалистов по математической и прикладной логике, по теоретическому программированию и разработчиков логических систем программирования, а также для студентов и аспирантов указанных специальностей.
Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
Экземпляры всего: 1
ИВМ-СИФ (1)
Свободны: ИВМ-СИФ (1)