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

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

RUS ENG

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

1981, том 105

Содержание

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

	Предисловие		2
	Равенство морфизмов и теорема когеррентности для бизамкнутых категорий А. А. Бабаев		3–9
	О сложности “диких” матричных задач, изоморфизма алгебр и графов Д. Ю. Григорьев		10–17
	Меры сложности слов на основе предиката вхождения и редактирующего расстояния А. Н. Григорьева		18–23
	Две системы доказательства тавтологичности, основанные на методе расщеплений Е. Я. Данцин		24–44
	Упрощение генценовских редукций классической арифметики Л. М. Коган-Бернштейн		45–52
	Сложность аддитивных вычислений семейств целочисленных линейных форм А. Ф. Сидоренко		53–61
	Поиск периодичностей и идентификация полслов в реальное время А. О. Слисенко		62–173
	Категория конечных множеств и декартово замкнутые категории С. В. Соловьев		174–194

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