RUS  ENG
Полная версия
ЖУРНАЛЫ // Записки научных семинаров ПОМИ // Архив
1974, том 40
| Общая информация | Содержание |


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


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

© МИАН, 2024