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

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

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



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






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


1971, том 20  

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


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


Предисловие редакторов
Ю. В. Матиясевич, А. О. Слисенко
7
Об одном классе реализуемых формул логики высказываний
Ф. Л. Варпаховский
8
Синтез метода резолюций с обратным методом
Г. В. Давыдов
24
Еще один конструктивный вариант теоремы Коши
И. Д. Заславский, Г. С. Цейтин
36
О реализациях предикатных формул
М. М. Кипнис
40
О диофантовых представлениях последовательности решений уравнения Пелля
Н. К. Косовский
49
Об алгорифмических последовательностях из начального класса иерархии Гжегорчика
Н. К. Косовский
60
Об исследовании конструктивных функций методом заполнений
В. А. Лифшиц
67
Распространение обратного метода на исчисление с равенством
С. Ю. Маслов
80
Достаточное условие сходимости монотонных последовательностей
Ю. В. Матиясевич
97
О распознавании в реальное время отношения вхождения
Ю. В. Матиясевич
104
Бескванторные и однокванторные системы
Г. Е. Минц
115
Точные оценки доказуемости трансфинитной индукции в начальных отрезках арифметики
Г. Е. Минц
134
Эквивалентность двух определений непрерывности
В. П. Оревков
145
О непрерывности конструктивных функционалов
В. П. Оревков
160
О биконъюнктивных классах сведения
В. П. Оревков
170
О специализации использования аксиом при поиске вывода в аксиоматических теориях с равенством
А. Ю. Плюшкевичене
175
Об устранении правил типа сечения из аксиоматических систем Робинсона и Пресбургера
А. Ю. Плюшкевичене
186
Одно свойство перечислимых множеств, содержащих “сложно выводимые” формулы
А. О. Слисенко
200
О некотором ослаблении интуиционистской логики
Ю. Н. Толстова
208
Регулярные аппроксимации рекурсивных предикатов
Р. И. Фрейдзон
220
Приведенная форма нормальных алгорифмов и теорема о линейном ускорении
Г. С. Цейтин
234
Нижняя оценка числа шагов для обращающего нормального алгорифма и других аналогичных алгорифмов
Г. С. Цейтин
243
Псевдофундаментальная последовательность, не эквивалентная монотонной
Г. С. Цейтин
263
Некоторые вопросы графической регулярности
А. И. Шкловский
272
Записки научных семинаров ПОМИ
 
Обратная связь:
 Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2022