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

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

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



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






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


1974, том 40  

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


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


От авторов
3
Матричный способ записи сетей меток
Я. Я. Голота
4
Редукция пропозициональной тавтологичности к раскрашиваемости графов в три цвета
Г. В. Давыдов, П. Ю. Суворов
10
Верхняя оценка конечноавтоматной сложности для одного класса порождающих схем с операциями дополнения и пересечения
З. Р. Данг, Г. С. Цейтин
14
О решении систем, состоящих одновременно из уравнений в словах и неравенств в длинах слов
Н. К. Косовский
24
Из чего вытекает закон исключенного третьего?
В. Я. Крейнович
30
Конструктивизация понятий $\varepsilon$-энтропии и $\varepsilon$-емкости
В. Я. Крейнович
38
О конструктивных функционалах в пространствах почти-периодических функций
М. Маргенштерн
45
О правилах типа сечений в исчислениях общего вида
С. Ю. Маслов, С. А. Норгела
63
Существование неэффективизируемых оценок в теории экспоненциально диофантовых уравнений
Ю. В. Матиясевич
77
Одна схема доказательств в дискретной математике
Ю. В. Матиясевич
94
Гейтинговское исчисление предикатов с эпсилон-символом
Г. Е. Минц
101
О $E$-теоремах
Г. Е. Минц
110
Новое доказательство теоремы единственности для конструктивных дифференцируемых функций комплексной переменной
В. П. Оревков
119
Одно простое синтаксическое определение всех классов иерархии Гжегорчика
С. В. Пахомов
127
Табличные аппроксимации рекурсивных предикатов
Р. И. Фрейдзон
131
О некоторых свойствах отображений сноп-пространств
В. П. Чернов
136
Об иерархии конструктивных функционалов Брауэра
Н. А. Шанин
142
Записки научных семинаров ПОМИ
 
Обратная связь:
 Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2022