RUS  ENG
Полная версия
ЖУРНАЛЫ // Моделирование и анализ информационных систем // Архив

2007, том 14, номер 4


Исследование модифицированной модели сальтаторного проведения возбуждения
В. В. Майоров, С. Е. Ануфриенко
3
Об одном методе распознавания изображений
И. А. Михайлов
7
Сети активных ресурсов
В. А. Башкин
13
Верификация синхронно-автоматных программ
С. В. Кубасов
20
Об одном из методов научного творчества
Ю. Г. Гущин
28
Род и категория Люстерника–Шнирельмана прообразов
Р. Н. Карасёв
31
О теоремах Р. Радо и Д. Уотсона
В. Л. Дольников
36
Формальная модель семантики художественного текста (на материале русских пословиц)
А. C. Малкова, В. И. Январев
42
О нижней оценке количества $k+1$-неразбиваемых перестановок
Г. Р. Челноков
53


© МИАН, 2025