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

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

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



Труды МИАН:
Год:
Том:
Выпуск:
Страница:
Найти






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


2011, том 274  

| Общая информация | Содержание |


Алгоритмические вопросы алгебры и логики


Сборник статей. К 80-летию со дня рождения академика Сергея Ивановича Адяна

Сергей Иванович Адян (фотография)
Предисловие
Л. Д. Беклемишев
7
Об одной полунепрерывной функции
П. С. Новиков, С. И. Адян
10
О нормальных подгруппах в периодических произведениях С. И. Адяна
В. С. Атабекян
15
Упрощенное доказательство теоремы об арифметической полноте для логики доказуемости $\mathbf{GLP}$
Л. Д. Беклемишев
32
Алгоритмические тесты и случайность относительно классов мер
Л. Биенвеню, П. Гач, М. Хойруп, К. Рохас, А. Шень
41
О совместной условной сложности (энтропии)
Н. К. Верещагин, Ан. А. Мучник
103
Степени автоустойчивости относительно сильных конструктивизаций
С. С. Гончаров
119
On maximal chains of systems of word equations
Juhani Karhumäki, Aleksi Saarela
130
A palindromization map on free monoids
Aldo de Luca
137
Полиномиальная оценка решений квадратичных уравнений в свободных группах
И. Г. Лысенок, А. Г. Мясников
148
Бирешетки и сверхтождества
Ю. М. Мовсисян
191
Колмогоровская сложность и криптография
Ан. А. Мучник
210
Обзор предикатной логики реализуемости
В. Е. Плиско
222
Однородная по степени нижняя оценка на веса многочленов с заданной знаковой функцией
В. В. Подольский
252
Об интерпретации Фон-Дер-Флаасса экстремальных примеров для $(3,4)$-проблемы Турана
А. А. Разборов
269
Конечные кванторные иерархии в алгебрах отношений
А. Л. Семенов, С. Ф. Сопрунов
291
Сравнение выразительной силы некоторых языков запросов для баз данных
М. А. Тайцлин
297
О достижимости минимального показателя экспоненциального роста свободных произведений конечных циклических групп
А. Л. Таламбуца
314
Интерполяционные свойства логик доказуемости $\mathbf{GL}$ и $\mathbf{GLP}$
Д. С. Шамканов
329
О квадратах модальных логик с дополнительными связками
В. Б. Шехтман
343
Труды Математического института им. В. А. Стеклова Proceedings of the Steklov Institute of Mathematics
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2019