| RUS ENG |
| Полная версия |
|
|
|
| ЖУРНАЛЫ // Записки научных семинаров ПОМИ // Архив |
|
2012, том 407
|
| | | Общая информация | | | Содержание | | |
|
О сравнении интегралов Дарбу и Римана в конструктивном математическом анализе А. А. Владимиров |
7 | |
|
|
Об одной теореме непрерывности для конструктивных функций А. А. Владимиров |
17 | |
|
|
Расширенная нечеткая конструктивная логика И. Д. Заславский |
35 | |
|
|
On a Diophantine representation of the predicate of provability M. Carl, B. Z. Moroz |
77 | |
|
|
Полиномиально ограниченный сверху объём изменений программ на RAM+BOOL для доказательства принадлежности FP Н. К. Косовский |
105 | |
|
|
Правило сечения в методе резолюций В. П. Оревков |
111 | |