|
Николай Александрович Шанин (фотография)
|
|
|
|
От авторов
|
7 |
|
|
Машинный алгорифм установления выводимости на основе обратного метода
Г. В. Давыдов, С. Ю. Маслов, Г. Е. Минц, В. П. Оревков, А. О. Слисенко
|
8 |
|
|
О конструктивных псевдофункциях
М. Г. Гельфонд
|
20 |
|
|
Сети меток и выводимость в интуиционистском исчислении высказываний
Я. Я. Голота
|
28 |
|
|
Некоторые приемы, упрощающие построение сетей меток
Я. Я. Голота
|
44 |
|
|
Об одном классе стратегий, применяемых при установлении доказуемости методом резолюций
Н. К. Замов, В. И. Шаронов
|
54 |
|
|
О псевдофункциях Шеннона
И. Д. Заславский
|
65 |
|
|
Об оценках сложности разрешения алгорифмов
М. И. Канович
|
77 |
|
|
Об оценке сложности некоторых массовых проблем анализа
М. И. Канович, Б. А. Кушнер
|
81 |
|
|
Необходимые и достаточные условия для шпеккеровых свойств вероятностного пространства
Н. К. Косовский
|
91 |
|
|
Интегрируемые $FR$-конструкты над вероятностным пространством
Н. К. Косовский
|
97 |
|
|
Законы больших чисел в конструктивной теории вероятностей
Н. К. Косовский
|
105 |
|
|
О множестве нулей конструктивного степенного ряда в вещественной области
В. А. Лифшиц
|
114 |
|
|
Тактики поиска вывода, основанные на унификации порядка членов в благоприятном наборе
С. Ю. Маслов
|
126 |
|
|
Связь между тактиками обратного метода и метода резолюций
С. Ю. Маслов
|
137 |
|
|
О семантике модальной логики
Г. Е. Минц
|
147 |
|
|
О неудлиняющих применениях правил для равенства
В. П. Оревков
|
152 |
|
|
Некоторые свойства гомеоморфизмов конструктивных метрических пространств
В. П. Оревков
|
157 |
|
|
Две теоремы о сложности алгорифмов и вычислений
Н. В. Петри
|
165 |
|
|
Устранение правил типа сечения в аксиоматических теориях с равенством
А. Ю. Плюшкевичене
|
175 |
|
|
Поправки
|
|
|
Исправления к сборнику “Исследования по конструктивной математике и математической логике II”, 1968
|
185 |
