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

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

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



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






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


1972, том 32  

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


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


О соотношении классического и конструктивного вариантов построения математического анализа
М. Г. Гельфонд
5
Изменение сложности функций при применении кратной рекурсии
Е. Я. Данцин
12
О соотношении сноп-пространств и нумерованных множеств со свойством $C_2^*$
Ю. Л. Ершов
18
Некоторые свойства решений уравнений в свободной полугруппе
Н. К. Косовский
21
О распознавании инвариантных свойств алгорифмов
Н. К. Косовский
29
Распознавание самопересечения плоской траектории алгорифмом Колмогорова
М. В. Кубинец
35
Метаматематическая интерпретация теоремы о веерах
В. А. Лифшиц
45
Некомпактный замкнутый шар в конструктивном компактном метрическом пространстве
В. А. Лифшиц, В. П. Чернов
53
О поиске вывода в исчислениях общего типа
С. Ю. Маслов
59
Вероятностные канонические исчисления
С. Ю. Маслов, Е. Д. Русаков
66
Арифметические представления перечислимых множеств с небольшим числом кванторов
Ю. В. Матиясевич
77
Производность допустимых правил
Г. Е. Минц
85
Теорема об устранимости сечения для релевантных логик
Г. Е. Минц
90
Одна специализация формы вывода в генценовских исчислениях и ее приложения
В. П. Оревков
98
Некоторые свойства графиков функций иерархии Гжегорчика
С. В. Пахомов
105
Распространение обратного метода на аксиоматические теории с равенством
А. Ю. Плюшкевичене
108
Исчисление равенств для примитивно рекурсивных рациональнозначных функций
М. Х. Фахми
116
Семейства рекурсивных предикатов нулевой меры
Р. И. Фрейдзон
121
Топологические варианты теоремы о непрерывности отображений и родственных теорем
В. П. Чернов
129
О конструктивных операторах конечных типов
В. П. Чернов
140
Классификация пространств операторов конечных типов
В. П. Чернов
148
Записки научных семинаров ПОМИ
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2019