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

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

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



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






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


2011, том 274  

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


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


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

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