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

/ А. Н. Мелихов. - М. : Наука, 1971. - 416 с. : с черт. - (Теоретические основы технической кибернетики). - Библиогр.: с. 381-413 (662 назв.). - Предм. указ.: с. 4141-416. - 9000 экз. - 1.62 р., 1.62 р.

ГРНТИ	28.25
УДК	62-50

ББК З81в631.6

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

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

/ Г. Хадвигер, Г. Дебруннер ; пер. с нем. С. С. Рышкова ; под ред. с доп. и прил. И. М. Яглома. - М. : Наука, 1965. - 171 с. : ил. - (Математическая библиотечка). - Библиогр.: с. 163-171 (168 назв.). - Пер. изд. : Kombinatorische geometrie in der ebene / H. Hadwiger, H. Debrunner. - 0.28 р.
    Содержание:
Принадлежность точек прямым и окружностям
Целочисленные расстояния, соизмеримые углы
Выпуклые оболочки; отделимость
Теорема Хелли; пересечения выпуклых фигур
Задачи о покрытиях
Геометрия точечных множеств и выпуклость
Реализация расстояний
Простейшие парадоксы теории множеств
Чистая комбинаторика; графы
Дальнейшие теоремы типа теоремы Хелли
Комбинаторная геометрия n-мерного пространства

ГРНТИ

27.21.15

ББК В151


Держатели документа:
Институт физики им. Л.В. Киренского СО РАН
Доп.точки доступа:
Дебруннер, Ганс; Рышков, С. С. \пер.\; Яглом, И. М. \ред. пер.\; Hadwiger, H. ; Debrunner, H.
Экземпляры всего: 1
ИФ-КФ (1)
Свободны: ИФ-КФ (1)

/ И. С. Дмитриев. - Л. : Химия, Ленингр. отд-ние, 1980. - 158 с. - (Вопросы современной химии). - Библиогр.: с. 158. - 40000 экз. - 0.20 р.
    Содержание:
Приближение к точности и точность приближения
Топология валентных штрихов
Графы сопряженных молекул
Топология полиеновых лент
Молекулы без химических связей
Топологические представления в неорганической химии
История химической топологии

ГРНТИ

31.15.03

ББК Г511.2


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

: пер. с англ. / Р. Басакер, Т. Саати ; пер.: В. Н. Бурков, С. Е. Ловецкий, В. Б. Соколов ; ред. А. И. Тейман. - М. : Наука, 1974. - 366 с. : рис. - Библиогр. в конце глав. - Краткий терминологический словарь: с. 362-366. - Пер. изд. : Finite graphs and networks: an introduction with applications / Robert G. Busacker, Thomas L. Saaty. - 16000 экз. - 1.61 р.

ГРНТИ

27.45.17

ББК В174.2


Держатели документа:
Институт физики им. Л.В. Киренского СО РАН
Доп.точки доступа:
Саати, Т.; Бурков, В. Н. \пер.\; Ловецкий, С. Е. \пер.\; Соколов, В. Б. \пер.\; Тейман, А. И. \ред. пер.\; Busacker, Robert G.; Saaty, Thomas L.
Экземпляры всего: 1
ИФ-КФ (1)
Свободны: ИФ-КФ (1)

: учеб. пособие для вузов по спец. "Прикладная математика" / Г. П. Гаврилов, А. А. Сапоженко. - М. : Наука, 1977. - 368 с. : ил. - Библиогр.: с. 358-359 (36 назв.). - 0.84 р., 8.50 р.
    Содержание:
Булевы функции, способы их задания и основные свойства
Замкнутые классы и полнота
K-значные логики
Графы и сети
Элементы теории кодирования
Конечные автоматы
Элементы теории алгоритмов
Элементы комбинаторики

ГРНТИ

27.03.15

ББК В12я73

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

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

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

/ В. А. Евстигнеев, В. Н. Касьянов ; отв. ред. В. Н. Касьянов ; Федер. целевая прогр. "Гос. поддержка интеграции высш. образования и фундам. науки на 1997 - 2000 годы". - Новосибирск : Изд-во ИДМИ, 1999. - 288 с. : рис. - Библиогр. в конце разд. - 1000 экз. - ISBN 5-88119-125-0 : 85.00 р.
    Содержание:
Сводимые и регуляризуемые графы
Граф-модели в программировании

ГРНТИ	27.45.17
УДК	519.1+519.683%ББК 32.811

ББК В174.2

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

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

Доп.точки доступа:
Касьянов, Виктор Николаевич; Государственная поддержка интеграции высшего образования и фундаментальной науки на 1997 - 2000 годы (Федеральная целевая программа)
Экземпляры всего: 2
ИФ-КФ (1), ИВМ-Фонд (1)
Свободны: ИФ-КФ (1), ИВМ-Фонд (1)

/ В. П. Сигорский. - 2-е изд., стер. - Киев : Технiка, 1977. - 766 с. : рис., табл. - (Библиотека инженера). - Библиогр.: с. 750-751. - 40000 экз. - 2.89 р., 2.89 р.
    Содержание:
Множества
Матрицы
Графы
Логика
Вероятности

ГРНТИ	27	81.01
УДК	518

ББК В11 + Жс11 + В1

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

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

/ Т. Фудзисава, Т. Касами ; перевод с яп. А. В. Кузнецова. - М. : Радио и связь, 1984. - 240 с. : ил. - Библиогр.: с. 239 (37 назв.). - Пер. изд. : Mathematics for electronics and communications engineers, theoryof discrete structure / T. Fujisawa, T. Kasami. - 1.50 р.
    Содержание:
Свойства целых чисел
Размещения, сочетания, принцип включения - исключения
Рекуррентные уравнения
Графы
Ориентированные графы
Булевы алгебры
Булевы функции
Применение теории булевых функций
Методы минимизации
Конечные автоматы
Решения задач

ГРНТИ

27

47

ББК В12я7


Держатели документа:
Институт физики им. Л.В. Киренского СО РАН
Доп.точки доступа:
Касами, Тадао; Кузнецов, А. В. \пер.\; Fujisawa, T. ; Kasami, T.
Экземпляры всего: 1
ИФ-КФ (1)
Свободны: ИФ-КФ (1)

[Текст] : сборник научн.трудов / Науч.ред. Н.Г.Загоруйко. - Новосибирск : Институт математики им. С.Л. Соболева, 1989. - 91 с. : ил. - (Вычислительные системы, ISSN 0568-661X ; вып.130). -
Аннотация: Работы сборника посвящены применению математических методов в химической информатике - новом направлении исследований в химии. Сборник содержит работы по алгоритмическим вопросам и приложениям теории графов в математической (комбинаторной) химии. В первой группе работ рассматриваются задачи перечисления графов. Предлагается новый алгоритм конструктивного перечисления графов, моделирующих молекулярные графы неразветвленных полибензолов, обсуждаются другие алгоритмы обработки таких графов. Для одного класса графов полициклических соединений каркасного типа перечисляются все циклы максимальной длины; с помощью леммы Бернсайда подсчитывается количество попарно неизоморфных циклов максимальной длины. Другая группа работ посвящена вопросам метрического анализа графов. Изучается новый тип метрических характеристик графов и молекулярных структур, имеющих вид физических спектров химических соединений. Рассматриваются кубические графы с совпадающими цкпными матрицами слоев (цепными степенными последовательностями). Сборник может быть полезен специалистам в области теории графов и ее приложений в химических исследованиях.

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

[Текст] : Сб. работ / АН СССР, Мат. ин-т им. В.А.Стеклова; Под ред. Д.Ю. Григорьева. - Ленинград : Наука, 1988. - 180 с. - (Записки научных семинаров ПОМИ ; 174). - Библиогр: в конце ст. - 1.60 р.

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

[Текст] : учебное пособие / О. Оре; Перевод с английского И.Н. Врублевской ; Под редакцией Н.Н. Воробьева. - 2-е изд. - Москва : Наука. Главная редакция физико-математической литературы, 1980. - 336 с. : ил. - Библиогр.: с.313-326. - Пер. изд. : Theory of Graphs / O. Ore. - 1.50 р., 1.50 р.
Аннотация: Первые пять глав посвящены наглядному материалу и содержат оснвоные понятия и свойства графов. В шестой главе даются основы теории вполне упорядоченных множеств, которая используется в дальнейшем для строго абстрактного рассмотрения бесконечных графов. Особенно подробно, в главе 7, излагается вопрос о паросочетаниях; естественным ее продолжением является глава 12. В главах 8-11 рассматриваются ориентированные графы, и затем на языке ориентированных графов изучаются частично упорядоченные множества. Последние три, очень интересные, главы (13-15) снова имеют дело с более наглядным материалом. Книга дает достаточно полное представление о направлениях исследований в теории графов; приводятся упражнения и нерешенные задачи; сделана попытка ввести систематическую терминологию. Написана книга ясным и достаточно доступным математическим языком. Она интересна и нужна специалистам-математикам, инженерам, занимающимся прикладными задачами, и студентам старших курсов университетов и технических вузов.

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

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

[Текст] : монография / Ф.С. Робертс ; Пер. с англ. А.М. Раппорта, С.И. Травкина ; Под ред. А.И. Теймана. - Москва : Наука. Главная редакция физико-математической литературы, 1986. - 495 с. : ил. + табл. - (Теория и методы системного анализа). - Библиогр.: с. 478-490. - Пер. изд. : Discrete mathematical models with application to social, biological and environmental problems / F.S. Roberts. - 5.40 р.

УДК

62-50

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

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

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

[Текст] : монография / С.М. Ачасова, О.Л.Бандман; Отв. ред. Н.Н.Миренков. - Москва : Наука, 1990. - 252 с. : 129 ил + 2 табл. - Библиогр: с.246-249 Предм.указ.: с.250-252%ISBN 5-02-029334-2. - 3.60 р.

УДК

681.32

Аннотация: В монографии систематизированно излагаются теории и методы обеспечения корректности параллельных вычислиний с точки зрения архитектурного проектирования. Понятие корректности раскрывается через поведенческие свойства вычислительных процессов (детерминированность, однозначность, завершаемость, беступиковость и т.др.). Условия корректности формулируются на языках параллельного микропрограммирования и параллельных граф-схем алгоритмов. Изучается корректность при синхронных и асинхронных интерпретациях. В качестве абстракных моделей используются сети Петри и графы вычислений. Проверка условий корректности сводится к анализу поведенческих свойств сетей Петри. Большое внимание уделено методам анализа общих сетей Петри и сетей Петри, моделирующих параллельные граф-схемы алгоритмов. Приведены оригинальные результаты авторов по теории и проектированию архитектуры вычислительных устройств параллельного типа. Издание предназначено для специалистов по вычислительной технике.

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

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

[Текст] : монография / М. Свами и др.; Пер. с англ. М.В. Горбатовой и др.; под ред. В.А. Горбатова. - Перевод издания: Graphs, Networks, and Algorithms / M.N.S. Swamy, K. Thulasiraman. - Москва : Мир, 1984. - 454 с. : ил., табл. - Библиогр.: с. 425-443. - Предм. указ.: с. 444-450. - 2.50 р.ББК В17

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

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

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

[Текст] : монография / Б.Г. Миркин, С.Н.Родин; Под ред. В.А. Ратнера. - Москва : Наука, 1977. - 239 с. : ил + табл. - Бибилиогр: с.232-237. - 0.75 р.

УДК

575

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

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

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

[Текст] : Введение в нечисленное программирование / П. Холл; Пер. с англ. И.Л. Любимской и Н.Б. Фейгельсон ; Под ред. Э.З. Любимского. - Москва : Мир, 1978. - 214 с. : ил. - (Математическое обеспечение ЭВМ). - Библиогр.: с. 207-208. - Предм. указ.: с. 209-211. - 0.95 р.

УДК

681.142.2

ББК З97

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

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

[Текст] : монография / В.И. Брегман. - Москва : Статистика, 1974. - 142 с. : ил. - Библиогр.: с. 143. - 0.55 р.ББК У9(2)

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

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

[Текст] : материал технической информации / В.А. Горбатов; Ред.Д.А.Поспелов. - Москва : Энергия, 1971. - 152 с. : ил + табл. - (Библиотека по автоматике ; вып.432). - Библиогр.: с.149-151. - 0.49 р.

УДК	681.326:621.3.037.37

Аннотация: В книге предлагается теория синтеза схем управления ЦВМ при учете инженерных ограничений. Особое вниание уделено снижению трудоемкости синтеза оптимальных схем управления в произвольном базисе при заданных ограничениях на используемые логические элементы и искомую схему. Предлагаемая теория эффективно применима и при ссинтезе управляющих автоматов, широко используемых в различных системах управления промышленными объектами (тепло- и гидроэлектростанциями, общесудовыми системами и т.д.) при автоматизации производственных процессов. Книга предназначена для инженеров, специализирующихся в области проектирования цифровых устройств управления вычислительной техники, автоматики и телемеханики, а также для научных работников, аспирантов и студентов старших курсов соответствующих специальностей.

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

[Текст] : монография / В.А. Емеличев, М.М.% Ковалев. - Москва : Наука, 1981. - 341 с. : ил. - Библиогр.: с.322-333; Предм. указ.: с.334-338. - 2.30 р.

УДК

519.6

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

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

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

[Текст] : монография / Б. Куммер; Пер. с нем. С.Л. Печерского; Под ред. Н.Н. Воробьева. - Пер. изд.: Spiele auf Graphen / B. Kummer. - Москва : Мир, 1982. - 112 с. : ил. - Библиогр.: с.107-109. -Предм. указ.: с.111. - 0.70 р.
Аннотация: Книга ученого из ГДР, содержащая изложение теории одного из классов игр, в которых множества позиций с допустиммыми в них ходами описываются ориентированными графами. Приведенные в книге результаты, в основном принадлежащие автору, превращают набор отдельных утверждений о таких играх в систематическую теорию. Для математиков различных специальностей (в том числе прикладных), аспирантов и студентов университетов.

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