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

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

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


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




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

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


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


Предисловие редакторов
Ю. В. Матиясевич, А. О. Слисенко 		7
Об одном классе реализуемых формул логики высказываний
Ф. Л. Варпаховский 		8–23
Синтез метода резолюций с обратным методом
Г. В. Давыдов 		24–35
Еще один конструктивный вариант теоремы Коши
И. Д. Заславский, Г. С. Цейтин 		36–39
О реализациях предикатных формул
М. М. Кипнис 		40–48
О диофантовых представлениях последовательности решений уравнения Пелля
Н. К. Косовский 		49–59
Об алгорифмических последовательностях из начального класса иерархии Гжегорчика
Н. К. Косовский 		60–66
Об исследовании конструктивных функций методом заполнений
В. А. Лифшиц 		67–79
Распространение обратного метода на исчисление с равенством
С. Ю. Маслов 		80–96
Достаточное условие сходимости монотонных последовательностей
Ю. В. Матиясевич 		97–103
О распознавании в реальное время отношения вхождения
Ю. В. Матиясевич 		104–114
Бескванторные и однокванторные системы
Г. Е. Минц 		115–133
Точные оценки доказуемости трансфинитной индукции в начальных отрезках арифметики
Г. Е. Минц 		134–144
Эквивалентность двух определений непрерывности
В. П. Оревков 		145–159
О непрерывности конструктивных функционалов
В. П. Оревков 		160–169
О биконъюнктивных классах сведения
В. П. Оревков 		170–174
О специализации использования аксиом при поиске вывода в аксиоматических теориях с равенством
А. Ю. Плюшкевичене 		175–185
Об устранении правил типа сечения из аксиоматических систем Робинсона и Пресбургера
А. Ю. Плюшкевичене 		186–199
Одно свойство перечислимых множеств, содержащих “сложно выводимые” формулы
А. О. Слисенко 		200–207
О некотором ослаблении интуиционистской логики
Ю. Н. Толстова 		208–219
Регулярные аппроксимации рекурсивных предикатов
Р. И. Фрейдзон 		220–233
Приведенная форма нормальных алгорифмов и теорема о линейном ускорении
Г. С. Цейтин 		234–242
Нижняя оценка числа шагов для обращающего нормального алгорифма и других аналогичных алгорифмов
Г. С. Цейтин 		243–262
Псевдофундаментальная последовательность, не эквивалентная монотонной
Г. С. Цейтин 		263–271
Некоторые вопросы графической регулярности
А. И. Шкловский 		272–281
Записки научных семинаров ПОМИ
 
  Обратная связь:
  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2025