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

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

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



Зап. научн. сем. ПОМИ:
Год:
Том:
Выпуск:
Страница:
Найти






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


1976, том 60  

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


Исследования по конструктивной математике и математической логике. VII


Итеративное описание класса $\varepsilon^1$ иерархии Гжегорчика
А. П. Бельтюков
3
Разрешимость универсальной теории натуральных чисел со сложением и делимостью
А. П. Бельтюков
15
Алгорифмы Колмогорова сильнее машин Тьюринга
Д. Ю. Григорьев
29
Использование понятий отделенности и независимости для получения нижних оценок сложности схем
Д. Ю. Григорьев
38
Об аппроксимативном варианте понятия конструктивной аналитической функции
Е. Я. Данцин
49
О конструктивных функциях распределения
Н. К. Косовский
59
Отношение поглощения на регулярных множествах
С. Ю. Маслов
65
Новое доказательство теоремы об экспоненциально диофантовом представлении перечислимых предикатов
Ю. В. Матиясевич
75
Что можно сделать в ПРА
Г. Е. Минц
93
Об аппроксимации классов сведения УИП разрешимыми классами
С. А. Норгела
103
Разрешимые классы псевдопредваренных формул
В. П. Оревков
109
Аппроксимируемость операторов в конструктивных метрических пространствах
С. В. Пахомов
171
Иерархии операторов в конструктивных метрических пространствах
С. В. Пахомов
183
Непрерывность операторов в сепарабельных конструктивных метрических пространствах
С. В. Пахомов
194
О распознавании тавтологичности пропозициональных формул
П. Ю. Суворов
197
Пример конструктивного отделимого пространства с неотделимым пополнением
В. П. Чернов
207
О кванторе предельной осуществимости
Н. А. Шанин
209
Записки научных семинаров ПОМИ
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2020