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

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

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


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




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

1976, том 60  
| Общая информация | Содержание | Список цитирования |


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


Итеративное описание класса $\varepsilon^1$ иерархии Гжегорчика
А. П. Бельтюков 		3–14
Разрешимость универсальной теории натуральных чисел со сложением и делимостью
А. П. Бельтюков 		15–28
Алгорифмы Колмогорова сильнее машин Тьюринга
Д. Ю. Григорьев 		29–37
Использование понятий отделенности и независимости для получения нижних оценок сложности схем
Д. Ю. Григорьев 		38–48
Об аппроксимативном варианте понятия конструктивной аналитической функции
Е. Я. Данцин 		49–58
О конструктивных функциях распределения
Н. К. Косовский 		59–64
Отношение поглощения на регулярных множествах
С. Ю. Маслов 		65–74
Новое доказательство теоремы об экспоненциально диофантовом представлении перечислимых предикатов
Ю. В. Матиясевич 		75–92
Что можно сделать в ПРА
Г. Е. Минц 		93–102
Об аппроксимации классов сведения УИП разрешимыми классами
С. А. Норгела 		103–108
Разрешимые классы псевдопредваренных формул
В. П. Оревков 		109–170
Аппроксимируемость операторов в конструктивных метрических пространствах
С. В. Пахомов 		171–182
Иерархии операторов в конструктивных метрических пространствах
С. В. Пахомов 		183–193
Непрерывность операторов в сепарабельных конструктивных метрических пространствах
С. В. Пахомов 		194–196
О распознавании тавтологичности пропозициональных формул
П. Ю. Суворов 		197–206
Пример конструктивного отделимого пространства с неотделимым пополнением
В. П. Чернов 		207–208
О кванторе предельной осуществимости
Н. А. Шанин 		209–220
Записки научных семинаров ПОМИ
 
  Обратная связь:
  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2026