Зап. научн. сем. ЛОМИ, 1975, том 49

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

RUS ENG

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

1975, том 49

Содержание

Теоретические применения методов математической логики. I

	Возможности операций одноместного суммирования и одноместного ограниченного умножения Н. К. Косовский		3–6
	Мутационные исчисления С. Ю. Маслов		7–30
	О метаматематическом подходе к доказательству теорем дискретной математики Ю. В. Матиясевич		31–50
	Трансфинитные развертки арифметических формул Г. Е. Минц		51–66
	Финитное исследование трансфинитных выводов Г. Е. Минц		67–122
	Финитный подход к задаче оптимизации алгорифмов установления выводимости А. О. Слисенко		123–130
	Финитно-аппроксимационный подход к изучению сложности рекурсивных предикатов Р. И. Фрейдзон		131–158
	О некоторых постулатах общей систематики А. А. Любищев		159–175

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