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