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

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

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


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




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

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


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


О соотношении классического и конструктивного вариантов построения математического анализа
М. Г. Гельфонд 		5–11
Изменение сложности функций при применении кратной рекурсии
Е. Я. Данцин 		12–17
О соотношении сноп-пространств и нумерованных множеств со свойством $C_2^*$
Ю. Л. Ершов 		18–20
Некоторые свойства решений уравнений в свободной полугруппе
Н. К. Косовский 		21–28
О распознавании инвариантных свойств алгорифмов
Н. К. Косовский 		29–34
Распознавание самопересечения плоской траектории алгорифмом Колмогорова
М. В. Кубинец 		35–44
Метаматематическая интерпретация теоремы о веерах
В. А. Лифшиц 		45–52
Некомпактный замкнутый шар в конструктивном компактном метрическом пространстве
В. А. Лифшиц, В. П. Чернов 		53–58
О поиске вывода в исчислениях общего типа
С. Ю. Маслов 		59–65
Вероятностные канонические исчисления
С. Ю. Маслов, Е. Д. Русаков 		66–76
Арифметические представления перечислимых множеств с небольшим числом кванторов
Ю. В. Матиясевич 		77–84
Производность допустимых правил
Г. Е. Минц 		85–89
Теорема об устранимости сечения для релевантных логик
Г. Е. Минц 		90–97
Одна специализация формы вывода в генценовских исчислениях и ее приложения
В. П. Оревков 		98–104
Некоторые свойства графиков функций иерархии Гжегорчика
С. В. Пахомов 		105–107
Распространение обратного метода на аксиоматические теории с равенством
А. Ю. Плюшкевичене 		108–115
Исчисление равенств для примитивно рекурсивных рациональнозначных функций
М. Х. Фахми 		116–120
Семейства рекурсивных предикатов нулевой меры
Р. И. Фрейдзон 		121–128
Топологические варианты теоремы о непрерывности отображений и родственных теорем
В. П. Чернов 		129–139
О конструктивных операторах конечных типов
В. П. Чернов 		140–147
Классификация пространств операторов конечных типов
В. П. Чернов 		148–152
Записки научных семинаров ПОМИ
 
  Обратная связь:
  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2026