|
Сергей Иванович Адян (фотография)
|
|
|
|
Предисловие
Л. Д. Беклемишев
|
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 |
