Том 17, № 3 (2010)

Содержание

Оригинальные статьи

Верификация C-программ на основе смешанной аксиоматической семантики PDF (Rus)
И. С. Ануреев, И. В. Марьясов, В. А. Непомнящий 5-28
Составные редукции моделей Крипке и автоморфизмы PDF (Rus)
Ю. А. Белов 29-37
Локальная динамика уравнения с большим запаздыванием в окрестности автомодельного цикла PDF (Rus)
Д. В. Глазков, С. А. Кащенко 38-47
Вариационные неравенства и принцип виртуальных перемещений PDF (Rus)
Н. А. Демьянков 48-57
Рекуррентные последовательности над почтикольцами PDF (Rus)
А. В. Сбоев 58-71
Разрешимость теории Th(w, 0,1, <, +, f0,..., fn) PDF (Rus)
А. С. Снятков 72-90
Гиперплоскости универсальной экстремали некоторых задач оптимизации PDF (Rus)
Н. П. Федотова 91-106
Математические модели экономических систем с учетом необратимости протекающих в них процессов PDF (Rus)
А. М. Цирлин 107-133
Фактор запаздывания и десинхронизация колебаний связанных осцилляторов ФитцХью-Нагумо PDF (Rus)
С. Д. Глызин, Е. А. Солдатова 134-143
Язык объектных запросов динамической информационной модели DIM PDF (Rus)
В. С. Рублев 144-161


Creative Commons License
Контент доступен под лицензией Creative Commons Attribution 4.0 License.


ISSN 1818-1015 (Print)
ISSN 2313-5417 (Online)