Сводный каталог книг

/ М. Гэри, Д. Джонсон ; пер. с англ. Е. В. Левнер, М. А. Фрумкин, под ред. А. А. Фридмана. - М. : Мир, 1982. - 416 с. : рис. - Библиогр.: с. 374 - 410. - Предм. указ.: с. 411 - 413. - Пер. изд. : Computers and Intractability / Michael R. Garey, David S. Johnson. - 1979. - 2.90 р., 2.90 р.
    Содержание:
Вычислительные машины, сложность и труднорешаемые задачи
Теория NP-полных задач
Доказательство результатов об NP-полноте
Применение теории NP-полноты для анализа задач
NP-трудные задачи
Подходы к решению NP-полных задач
За пределами класса NP-полных задач
Список NP- полных задач

ГРНТИ	27.41.23	27.15.19
УДК	519.682.1

ББК В183.4 + В173,0 + В137,0

Аннотация: Монография посвящена вопросам сложности решения комбинаторных задач, возникающих в дискретной оптимизации, математическом программировании, алгебре, теории чисел, теории автоматов, математической логике и т. п. Для математиков - прикладников, аспирантов и студентов университетов

Держатели документа:
Институт физики им. Л.В. Киренского СО РАН
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
Центральная научная библиотека КНЦ СО РАН : 660036, г. Красноярск, Академгородок, 50

Доп.точки доступа:
Джонсон, Дэвид; Johnson S.; Левнер, Е. В. \пер.\; Фрумкин, М. А. \пер.\; Фридман, А. А. \ред.\; Garey M.; Garey, Michael R.; Johnson, David S.
Экземпляры всего: 3
ИФ-КФ (1), ИВМ-Фонд (1), ЦНБ-ХР (1)
Свободны: ИФ-КФ (1), ИВМ-Фонд (1), ЦНБ-ХР (1)

[Текст] : монография / А.Г. Кусраев, С.С.Кутателадзе; Отв. ред.: Ю.Г.Решетняк ; АН СССР. Сиб. отд-ние, Институт математики. - Новосибирск : Наука. Сибирское отделение, 1990. - 344 с. - Библиогр: с.331-340. Предм. указ.: с.341-344. %ISBN 5-02-029344-X. - 4.60 р.

УДК

511.11

Аннотация: Данная монография - первая в отечественной литературе, посвящённая новейшим методам анализа, связанным с привлечением нестандартных моделей теории множеств. Излагаются оющие установки и основы формализма инфинитезималей, связанные с современной трактовкой классического аппарата актуальных бесконечно малых, неделимых, монад. Детально разрабатывается техника спускрв и подъёмов булёвозначного анализа, позволяющая существенно расширить объём и область применимости математических утверждений. Особое внимание уделено полученным в последние годы нетрадиционным функционально-аналитическим приложениям нестандарных методов к субдифференцированию общих изображений и к изучению пространств Канторовича. Книга ориентирована на широкий круг читателей, интересующихся нестандартным анализом и его приложениями.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44

Доп.точки доступа:
Кутателадзе, С.С.
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)

[Текст] : монография / В.И. Романов. - Москва : Статистика, 1979. - 70 с. : ил + табл. - (Методы оптимальных решений). - Библиогр.: с.69. - 0.20 р.

УДК

У9(2)21

Аннотация: В брошюре раскрыто применение статистических методов, аппарата теории множеств и факторного анализа в решении оптимизационных задач планирования и контроля качества продукции. Книга предназначена для инженеров, экономистов, работников служб стандартизации и технического контроля, разработчиков АСУ.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)

[Текст] : учебное пособие / А.В. Архангельский, В.И. Пономарев. - Москва : Наука. Главная редакция физико-математической литературы, 1974. - 423 с. - Библиогр.: с.417-423. - 2.41 р.

УДК

513.83

Аннотация: Книга вводит читателя в область основных понятий и методов общей топологии своеобразным путем, а именно посредством задач, которые предлагаются читателю в порядке возрастающей трудности. Никакой специальной подготовки книга не требует - она доступна студентам-математикам, начиная со сторого курса. Книга является оригинальным по форме, но достаточно полным учебником общей топологии, доводящим читателя до современных проблем этой области математики. Она будет полезна научным работникам, аспирантам, студентам, интересы которых так или иначе сталкиваются с общей топологией.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44

Доп.точки доступа:
Пономарев, В.И.
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)

[Текст] : технический отчет. Т.II. Дескриптивная теория множеств / Н.Н. Лузин. - Москва : АН СССР, 1958. - 744 с. : ил. - 3.85 р.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)

[Текст] : сборник научных трудов / Российская академия наук; Институт математики им. С. Л. Соболева ; Науч. ред. К. Ф. Самохвалов. - [Б. м. : б. и.], 2002. - 123 с. - (Вычислительные системы, ISSN 0568-661X ; вып.170). - Библиогр. в конце статей. - 10.00 р.ББК Ю22я43

Аннотация: В сборнике представлены работы, отражающие широкий спектр вопросов философии науки, как то: сопоставляются некоторые физические и богословские представления о времени; "новая загадка индукции" Н.Гудмена представляется как частный случай отрицательного результата, полученного ранее К. Самохваловым; вводится понятие перечислителя и обсуждается постановка задачи об изучении времени как средства для перечисления; предлагается сопоб оценки длины убедительного доказательства, учитывающий синтаксическую структуру текста; обсуждается вопрос, почему можно осмысленно утверждать истинность континуум-гипотезы после результатов Гегеля и Коэна; анализируется вопрос: что это значит - понимать задачу; уточняются способы разграничения" естественный язык" - "формальный язык"; рассматриваются соотношения между различными видами языковых времен. Сборник рассчитан на тех, кто интересуется философией науки.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44

Доп.точки доступа:
Самохвалов, К. Ф. \ред.\
Экземпляры всего: 1
ИВМ-СИФ (1)
Свободны: ИВМ-СИФ (1)

[Текст] : в 3 т. / Р. Зуланке, А. Л. Онищик. - Москва : МЦНМО, 2004 - . - ISBN 5-94057-033-X. : учебник. - 2004. - 408 с. : ил. - Библиогр.: с.393-395. - Предм. указ.: с.396-405. - ISBN 5-94057-128-X : 85.00 р.

УДК

512

514

ББК В144 + В151.31 + В151.1

Аннотация: Книга является первым томом трехтомного учебника по алгебре и геометрии, предназначенного для студентов университетов математических и физических специальностей. Она представляет собой введение в эти дисциплины и в основном соответствует материалу, изучаемому на первых двух курсах. Изложение замкнуто в себе и не зависит от организации учебного процесса, и поэтому книга может быть использована для самообразования любым читателем, интересующимся математикой и ее приложениями. Книга содержит многочисленные упражнения. Для математиков и физиков - студентов, аспирантов, преподавателей и научных работников.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44

Доп.точки доступа:
Зуланке, Ральф; Онищик, Аркадий Львович
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)

[Текст] / Ю.В. Фролова, В.В. Коробицын. - Омск : Омский госуниверситет, 2006 - . - 2006. - 92 с. : ил. - Библиогр.: с. 91. - 8.50 р.

УДК

004

ББК В10

Аннотация: Методические указания составлены в соответствии с программой по информатике для вступительных испытаний в Омский государственный университет. Для абитуриентов.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44

Доп.точки доступа:
Фролова, Юлия Владимировна; Коробицын, Виктор Викторович
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)

[Текст] : в 3 т. / Р. Зуланке, А.Л. Онищик. - москва : МЦНМО, 2004 - . - ISBN 978-5-94057-033-2. - 2008. - 336 с. : ил. - Библиогр.: с. 327-330. - Предм. указ.: с. 331-336. - ISBN 978-5-94057-351-7 : 105.09 р.

ГРНТИ

27.17

27.21

ББК В144 + В151.31 + В151.1

Аннотация: Предлагаемый второй том учебника "Алгебра и геометрия" является продолжением первого тома, изданного в 2004 году. Книга написана так, чтобы быть понятной студентам математических и физических специальностей университетов, начиная со 2-го курса. Содержание тома является преимущественно алгебраическим, причем авторы старались включить в него в основном те области алгебры, которые полезны для приложений в анализе, геометрии и математической физике. Книга может служить основой для алгебраических лекционных курсов, использоваться как справочное пособие, а также для самообразования любым читателем, интересующимся математикой и её приложениями. Она содержит многочисленные упражнения, предметный указатель, а также список литературы для дальнейшего чтения. Для математиков и физиков - студентов, аспирантов, преподавателей и научных работников.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44

Доп.точки доступа:
Зуланке, Ральф; Онищик, Аркадий Львович
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)

[Текст] : дополнительные главы / А.Н. Колмогоров, А.Г. Драгалин. - 4-е изд., обновл. - Москва : Едиториал УРСС, 2013. - 236, [1] с. - (Классический университетский учебник). - Библиогр.: с. 227-228. - В надзаг.: Московский государственный университет имени М.В. Ломоносова. - ISBN 978-5-354-01448-4 : 461.00 р.

ГРНТИ	27.03
УДК	510.6(075.8)

ББК В12я73

Аннотация: Авторы настоящей книги --- А.Н.Колмогоров и А.Г.Драгалин --- выдающиеся отечественные математики, оказавшие глубокое влияние на стиль и направление мировых исследований по логике и философии математики. Их учебник "Математическая логика: Дополнительные главы" написан на основании курса математической логики, читавшегося обоими авторами на механико-математическом факультете МГУ имени М.В.Ломоносова. Изложение фундаментальных фактов современной логики (начал аксиоматической теории множеств, теории алгоритмов, теоремы Гёделя о неполноте, программы Гильберта обоснования математики) не предполагает специальной подготовки и рассчитано на широкий круг читателей, интересующихся математической логикой и философскими проблемами современной математики.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44

Доп.точки доступа:
Драгалин, Альберт Григорьевич
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)

[Текст] : учебное пособие / Ю.Л. Ершов, Е.А. Палютин. - 3-е изд., стер. - Санкт-Петербург ; Москва ; Краснодар : Лань, 2004. - 336 с. - (Учебники для вузов. Специальная литература). - Предм. указ.: с. 335-336. - 2000 экз. - ISBN 5-8114-0533-2 (в пер.) : Б. ц.

ГРНТИ	27.03
УДК	510.6(075.8)

ББК В12я73

Аннотация: В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги — теория моделей и теория доказательств — изложены более подробно, чем это предусмотрено программой. Для студентов математических специальностей вузов. Может служить пособием для спецкурсов.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44

Доп.точки доступа:
Палютин, Евгений Андреевич
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)