Новые поступления (книга в стадии обработки) Линейное программирование [Текст] : учеб.-метод. пособие / Ю. П. Оревков, Л. С. Павлова, В. Ф. Пахомов. - Воронеж : Б. и., 1996. - 174 с. : ил., табл. - ISBN 5-87148-003-9 : 10000.00 р.
Рубрики: математика--исследование операций Кл.слова (ненормированные): линейное программирование Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского Доп. точки доступа: Оревков, Ю. П. Павлова, Л. С. Пахомов, В. Ф. |
Новые поступления (книга в стадии обработки) Справочная книга по математической логике [Текст] = Handbook of mathematical logic : в 4 ч. / под ред. Дж. Барвайса. - М. : Наука : Гл. ред. физико-мат. лит., 1982 - 1983. - Тит. л. парал. на англ. яз. Ч. 4 : Теория доказательств и конструктивная математика / пер. с англ.: Г. В. Давыдова, Г. Е. Минца ; под ред. В. П. Оревкова. - 1983. - 392 с. : ил., рис., табл. ; 22 см. - Библиогр. в конце глав. - 2.10 р.
Рубрики: Математика--Математическая логика Кл.слова (ненормированные): МАТЕМАТИЧЕСКИЕ НАУКИ -- ЛОГИКА МАТЕМАТИЧЕСКАЯ -- ТЕОРЕМЫ -- АРИФМЕТИЧЕСКИЕ ФУНКЦИИ -- ФОРМУЛЫ Аннотация: Последний том "Справочной книги по математической логике" содержит обзоры по наиболее современным направлениям теории доказательств и конструктивной математики. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Давыдов, Г. В. Минц, Г. Е. Оревков, В. П. Барвайс, Дж. \\ред.\\ Barwise J. |