Категорная модель компьютерной интерпретации прикладных формализуемых теорий
Аннотация
В статье изложена концепция компьютерной интерпретации прикладных аксиоматических теорий, показаны возможности и ограничения в ее применении при создании наукоемкого программного обеспечения; разработана алгебраическая модель доказательства адекватности теории ее компьютерной интерпретации, сформулированы и доказаны необходимые и достаточные условия такой адекватности.Литература
Попович В.В. Моделирование, оценка эффективности и оптимизация систем наблюдения ВМФ (Теория поиска подвижных объектов) — СПб.: ВМА имени Н.Г.Кузнецова, 2000. — 424с.
Большой энциклопедический словарь. 2-е изд., перераб. и доп. — М.: Большая Российская Энциклопедия //1999. — 1456с.
Клайн М. Математика. Утрата определенности — М.: Мир,1985. — 433с.
Буч Г. Объектно-ориентированный анализ и проектирование с примерами приложений на С++ — М.: Издательство Бином // СПб.: Невский диалект // 2000 — 560с.
Голдблатт Р. Топосы: категорный анализ логики — М., Мир, 1983 — 486с.
Кейслер Г., Чэн Ч.Ч. Теория моделей — М.,Мир, 1977 — 614с.
Каш Ф. Модули и кольца — М., Мир, 1981 — 286с.
Большой энциклопедический словарь. 2-е изд., перераб. и доп. — М.: Большая Российская Энциклопедия //1999. — 1456с.
Клайн М. Математика. Утрата определенности — М.: Мир,1985. — 433с.
Буч Г. Объектно-ориентированный анализ и проектирование с примерами приложений на С++ — М.: Издательство Бином // СПб.: Невский диалект // 2000 — 560с.
Голдблатт Р. Топосы: категорный анализ логики — М., Мир, 1983 — 486с.
Кейслер Г., Чэн Ч.Ч. Теория моделей — М.,Мир, 1977 — 614с.
Каш Ф. Модули и кольца — М., Мир, 1981 — 286с.
Опубликован
2003-06-01
Как цитировать
Ивакин,. (2003). Категорная модель компьютерной интерпретации прикладных формализуемых теорий. Труды СПИИРАН, 3(1), 177-186. https://doi.org/10.15622/sp.1.18
Раздел
Статьи
Авторы, которые публикуются в данном журнале, соглашаются со следующими условиями:
Авторы сохраняют за собой авторские права на работу и передают журналу право первой публикации вместе с работой, одновременно лицензируя ее на условиях Creative Commons Attribution License, которая позволяет другим распространять данную работу с обязательным указанием авторства данной работы и ссылкой на оригинальную публикацию в этом журнале.
Авторы сохраняют право заключать отдельные, дополнительные контрактные соглашения на неэксклюзивное распространение версии работы, опубликованной этим журналом (например, разместить ее в университетском хранилище или опубликовать ее в книге), со ссылкой на оригинальную публикацию в этом журнале.
Авторам разрешается размещать их работу в сети Интернет (например, в университетском хранилище или на их персональном веб-сайте) до и во время процесса рассмотрения ее данным журналом, так как это может привести к продуктивному обсуждению, а также к большему количеству ссылок на данную опубликованную работу (Смотри The Effect of Open Access).
