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

ЖУРНАЛЫ // Записки научных семинаров ПОМИ // Архив

1979, том 88

Содержание

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

	Теорема когеррентности для канонических морфизмов в декартово замкнутых категориях А. А. Бабаев, С. В. Соловьев	3
	Машинное описание и иерархия начальных классов Гжегорчика А. П. Бельтюков	30
	Временна́я сложность многомерных машин Тьюринга Д. Ю. Григорьев	47
	Два сведе́ния изоморфизма графов к задачам о полиномах Д. Ю. Григорьев	56
	Теоремы о временно́й иерархии для машин с произвольным доступом к памяти А. Г. Иванов	62
	О распознавании инвариантных свойств коротких алгорифмов Н. К. Косовский	73
	Диофантово представление совершенных чисел В. Ю. Кряучюкас	78
	Исчисления с монотонными выводами и их экономическая интерпретация С. Ю. Маслов	90
	Новая последовательность редукций для арифметики Г. Е. Минц	106
	Примитивно рекурсивная оценка сильной нормализации для исчисления предикатов Г. Е. Минц	131
	Нижние оценки увеличения сложности выводов после устранения сечений В. П. Оревков	137
	Три способа выявления несущественных формул в секвенциях В. П. Оревков	163
	Машинно-независимое описание некоторых машинных классов сложности С. В. Пахомов	176
	Позитивная рудиментарность графиков функций Аккермана и Гжегорчика А. В. Проскурин	186
	Рост длины секвенциального вывода при перестройке в натуральный С. В. Соловьев	192
	Сохранение эквивалентности выводов при редукции глубины формул С. В. Соловьев	197
	Представление доказательств раскрашенными графами и гипотеза Хадвигера П. Ю. Суворов	209
	О канонических рекурсивных функциях и операциях Н. А. Шанин	218

Поправки
	Исправления к предыдущим выпускам	248