|
Николай Александрович Шанин (фотография)
|
|
|
|
От авторов
|
7 |
|
|
Машинный алгорифм установления выводимости на основе обратного метода
Г. В. Давыдов, С. Ю. Маслов, Г. Е. Минц, В. П. Оревков, А. О. Слисенко
|
8–19 |
|
|
О конструктивных псевдофункциях
М. Г. Гельфонд
|
20–27 |
|
|
Сети меток и выводимость в интуиционистском исчислении высказываний
Я. Я. Голота
|
28–43 |
|
|
Некоторые приемы, упрощающие построение сетей меток
Я. Я. Голота
|
44–53 |
|
|
Об одном классе стратегий, применяемых при установлении доказуемости методом резолюций
Н. К. Замов, В. И. Шаронов
|
54–64 |
|
|
О псевдофункциях Шеннона
И. Д. Заславский
|
65–76 |
|
|
Об оценках сложности разрешения алгорифмов
М. И. Канович
|
77–80 |
|
|
Об оценке сложности некоторых массовых проблем анализа
М. И. Канович, Б. А. Кушнер
|
81–90 |
|
|
Необходимые и достаточные условия для шпеккеровых свойств вероятностного пространства
Н. К. Косовский
|
91–96 |
|
|
Интегрируемые $FR$-конструкты над вероятностным пространством
Н. К. Косовский
|
97–104 |
|
|
Законы больших чисел в конструктивной теории вероятностей
Н. К. Косовский
|
105–113 |
|
|
О множестве нулей конструктивного степенного ряда в вещественной области
В. А. Лифшиц
|
114–125 |
|
|
Тактики поиска вывода, основанные на унификации порядка членов в благоприятном наборе
С. Ю. Маслов
|
126–136 |
|
|
Связь между тактиками обратного метода и метода резолюций
С. Ю. Маслов
|
137–146 |
|
|
О семантике модальной логики
Г. Е. Минц
|
147–151 |
|
|
О неудлиняющих применениях правил для равенства
В. П. Оревков
|
152–156 |
|
|
Некоторые свойства гомеоморфизмов конструктивных метрических пространств
В. П. Оревков
|
157–164 |
|
|
Две теоремы о сложности алгорифмов и вычислений
Н. В. Петри
|
165–174 |
|
|
Устранение правил типа сечения в аксиоматических теориях с равенством
А. Ю. Плюшкевичене
|
175–184 |
|
|
Поправки
|
|
|
Исправления к сборнику “Исследования по конструктивной математике и математической логике II”, 1968
|
185–187 |
Обратная связь: