Зап. научн. сем. ПОМИ, 2012, том 407

Записки научных семинаров ПОМИ

RUS ENG

JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website

2012, том 407

Содержание

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

Посвящается памяти Николая Александровича ШАНИНА

	О сравнении интегралов Дарбу и Римана в конструктивном математическом анализе А. А. Владимиров		7–16
	Об одной теореме непрерывности для конструктивных функций А. А. Владимиров		17–34
	Расширенная нечеткая конструктивная логика И. Д. Заславский		35–76
	On a Diophantine representation of the predicate of provability M. Carl, B. Z. Moroz		77–104
	Полиномиально ограниченный сверху объём изменений программ на RAM+BOOL для доказательства принадлежности FP Н. К. Косовский		105–110
	Правило сечения в методе резолюций В. П. Оревков		111–128

Обратная связь: