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

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

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



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






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


2019, том 23, выпуск 3  


Часть 1. Общие проблемы теории интеллектуальных систем
Автоматический перевод правил дорожного движения в теоретико-графовую формальную модель
М. И. Менькин
7

Часть 2. Специальные вопросы теории интеллектуальных систем
О графовом расширении метода резолюции для булевых формул
Г. В. Боков
35
О весе функций, заданных бесповторными И/ИЛИ формулами
А. Р. Еременко, А. Д. Яшунский
41
Коды, определяющие изображения с точностью до аффинных преобразований
В. Н. Козлов
57
Сложность синтеза многомерных прямоугольных схем
Т. Р. Сытдыков
61
О числе максимальных надклассов в классе линейных автоматов
А. А. Часовских
81

Часть 3. Математические модели
Автоматы с линейными переходами
Д. Н. Бабин
87
Короткие единичные проверяющие тесты для контактных схем при обрывах и замыканиях контактов
К. А. Попков
97
Некорректность интуиционистской теории множеств относительно конструктивной семантики, основанной на гиперарифметических видах
А. Ю. Коновалов
131
О классах передаточных функций линейных автоматов
А. А. Часовских
135

Часть 4. Материалы семинара "Теория автоматов"
Доклады семинара «Теория автоматов»
147
Интеллектуальные системы. Теория и приложения
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2020