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

2020, том 27, номер 3


Theory of computing
Эффективные алгоритмы проверки эквивалентности для некоторых классов автоматов
В. А. Захаров
260
О проблеме существования конечных базисов тождеств в алгебрах рекурсивных функций
В. А. Соколов
304

Computing methodologies and applications
Применение свёрточных нейронных сетей для распознавания длинных конструктивных элементов рельсов на вихретоковых дефектограммах
Е. В. Кузьмин, О. Е. Горбунов, П. О. Плотников, В. А. Тюкин, В. А. Башкин
316

Theory of data
Автоматизированный поиск и анализ стилометрических характеристик, описывающих стиль прозы 19–21 веков
К. В. Лагутина, А. М. Манахова
330

Computer system organization
Особенности алгоритмической реализации разностных аналогов логистического уравнения с запаздыванием
С. Д. Глызин, С. А. Кащенко, А. О. Толбей
344

Discrete mathematics in relation to computer science
Обобщение правил вывода для зависимостей соединения в базах данных
С. В. Зыкин
356


© МИАН, 2025