RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB
Общая информация
Последний выпуск
Архив

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS



Интеллектуальные системы. Теория и приложения:
Год:
Том:
Выпуск:
Страница:
Найти






Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация


2020, том 24, выпуск 1  


Часть 1. Общие проблемы теории интеллектуальных систем
О верификации формализованных математических доказательств
Ю. И. Вторушин
7
Верификация функциональных программ методом построения диаграмм состояний
А. М. Миронов
25
Полнота, устойчивость и интерпретируемость вероятностных тематических моделей
А. В. Сухарева
55

Часть 2. Специальные вопросы теории интеллектуальных систем
Корректность конструктивной теории множеств без аксиомы объемности относительно семантики арифметической реализуемости, основанной на гиперарифметических видах
А. Ю. Коновалов
73
О сокращении нелинейной глубины сверточных нейронных схем
Хапкин А.В.
79
О соответствии между правильными семействами и реберными ориентациями булевых кубов
К. Д. Царегородцев
97

Часть 3. Математические модели
Класс автоматов, достаточный для оптимального прогнозирования общерегулярных сверхсобытий
И. К. Ведерников
103
Оценка максимального числа ненулевых коэффициентов многочлена функции при действии группы перестановок на таблицу значений функции
А. О. Гремяков
113
Об изменении размерности периодических подмножеств натурального ряда
П. С. Дергач, Л. Р. Булгаков
129
Короткие единичные диагностические тесты для контактных схем при обрывах и замыканиях контактов
К. А. Попков
143
Интеллектуальные системы. Теория и приложения
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2020