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

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

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


Труды МИАН:
Год:
Том:
Выпуск:
Страница:
Найти




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

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


Проблемы конструктивного направления в математике. 3


Сборник работ. Посвящается Андрею Андреевичу Маркову к его шестидесятилетию

Андрей Андреевич Марков (фотография)
Предисловие редактора
Н. А. Шанин 		3–4

Общая теория алгорифмов и исчислений
Некоторые свойства аппарата канонических исчислений Э. Л. Поста
С. Ю. Маслов 		5–56
О “Tag”-проблеме Э. Л. Поста
С. Ю. Маслов 		57–68
Один способ изложения теории алгорифмов и перечислимых множеств
Г. С. Цейтин 		69–98
Граф-схемы с памятью
И. Д. Заславский 		99–192

Конструктивная математическая логика
Конструктивное исчисление высказываний с сильным отрицанием
Н. Н. Воробьев 		195–227
Исчисления конструктивной логики с подчиненными переменными
А. В. Идельсон 		228–343
К вопросу об обобщениях принципа конструктивного подбора
И. Д. Заславский, Г. С. Цейтин 		344–347
К вопросу о конструктивном понимании опорных формул. 1
Н. А. Шанин 		348–379

Конструктивный математический анализ
О предикатных и операторных вариантах построения теорий конструктивной математики
Г. Е. Минц 		383–436
О конструктивных отображениях круга в себя
В. П. Оревков 		437–461
Некоторые вопросы теории полиномов с конструктивными вещественными коэффициентами
В. П. Оревков 		462–487
О некоторых алгорифмических задачах, связанных с арифметическими операциями над дуплексами
А. О. Слисенко 		488–523
Пример неразрывного, но не непрерывного конструктивного оператора в метрическом пространстве
А. О. Слисенко 		524–532
О конструктивных не сепарабельных пространствах
А. О. Слисенко 		533–536
Три теоремы о конструктивных функциях
Г. С. Цейтин 		537–543

Исправления и комментарии к сборнику “Проблемы конструктивного направления в математике. 2” (Tруды математического института им. В. А. Стеклова, 67, 1962 г.)
 544–545
Труды Математического института имени В. А. Стеклова Proceedings of the Steklov Institute of Mathematics
 
  Обратная связь:
  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2026