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

/ Г. Хадвигер, Г. Дебруннер ; пер. с нем. С. С. Рышкова ; под ред. с доп. и прил. И. М. Яглома. - М. : Наука, 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)

/ М. П. Чайка ; Ленингр. гос. ун-т. - Л. : Изд-во ЛГУ, 1975. - 192 с. - Библиогр.: с. 180-191. - 1555 экз. - 1.39 р.
    Содержание:
Описание интерференционных явлений
Излучение атомов во внешних полях и явление антипересечения уровней
Сигналы пересечения уровней в различных условиях эксперимента
Источники ошибок метода пересечения уровней
Измерение атомных констант методом пересечения уровней

ГРНТИ

29.31.17

ББК В343.545.3


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

: учеб. пособие для физ.-мат. спец. ун-тов / Б. А. Дубровин, С. П. Новиков, А. Т. Фоменко. - 2-е изд., перераб. - М. : Наука, 1986. - 759 с. - Библиогр.: с. 753-754. - Предм. указ.: с. 755-759. - 16000 экз. - 1.90 р.
    Содержание:
Геометрия в области пространства. Основные понятия . - С .17-69
Теория поверхностей . - С .70-135
Тензоры. Алгебраическая теория . - С .136-216
Дифференциальное исчисление тензоров . - С .217-285
Элементы вариационного исчисления . - С .286-334
Многомерные вариационные задачи. Поля и их геометрические инварианты . - С .335-406
Примеры многообразий . - С .407-463
Вопросы обоснования. Необходимые сведения из теории функций. Типичные гладкие отображения . - С .464-495
Степень отображения. Индекс пересечения. Их приложения . - С .496-526
Ориентируемость многообразий. Фундаментальная группа. Накрытия (расслоенные пространства с дискретным слоем) . - С .527-566
Гомотопические группы . - С .567-595
Гладкие расслоения (косые произведения) . - С .596-657
Некоторые примеры динамических систем и слоений на многообразиях . - С .658-702
Глобальная структура решений многомерных вариационных задач . - С .703-752

ГРНТИ

27.21

ББК В18я73


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

[Текст] : монография / А.Л. Адрианов, А.Л. Старых , В.Н. Усков ; Отв. ред. Ю.И. Шокин. - Новосибирск : Наука. Сибирская издательская фирма, 1995. - 180 с. : ил + табл. - Библиогр.: с. 170-179. - ISBN 5-02-030677-0 : 8.50 р.

УДК	533.6.011.72

ББК В253.3

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

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

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

[Текст] : сборник научных трудов / Научные редакторы: Ю.Л. Ершов, С.С. Гончаров. - Новосибирск : Институт математики им. С.Л. Соболева, 1993. - 177 с. : ил., табл.,схемы. - (Вычислительные системы, ISSN 0568-661X ; вып.148). - Библиогр. в конце ст. - 3.00 р.ББК З973.2

Аннотация: В сборник вошли работы по проблемам разработки логических средств построения языков спецификаций и логического программирования, включая работы по операционной и денотационной семантикам. Работы докладывались на семинаре "Прикладная логика". Цикл работ представляет исследования по семантическому программированию. Доказано усиление теоремы Спектра-Ганди для сигма-допустимых множеств из работы Лавинеса. Получен аналог теорем Левенгейма-Скулема и Мальцева для несчетных моделей, определимых в моделях типа HF. Построено представление сигма-программ в интуиционистской теории типов, которые может быть рассмотрено как еще одна стратегия исполнения сигмы-программ. Разработаны понятия и формальное исчисление сигма-спецификаций, реализующие идеологию доказательного программирования. В рамках логического программирования доказано, что оператор, представляющий конечные неудачи пересечения двух программ, равен объединению соответствующих операторов. Найдено усиление теоремы о непротиворечивости CWA-правила для индуктивных баз данных. По проблемам искусственного интеллекта построены рефлексивные исчисления для применения логического аппарата в экспертных системах. Построена общая схема рассуждений по аналогии. Разработаны вычислительные модели анализа закономерностей и предложена программная их реализация DISCOVERY. Для организации обработки булевых функций предложен метод полиномиальных разложений. Сборник рассчитан на специалистов, аспирантов и студентов по логическому программированию математических основ информатики и проблемам искусственного интеллекта и экспертных систем.

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

[Текст] : монография / Ф. Препарата, М. Шеймос ; пер. с англ. С.А. Вичеса, М.М. Комарова; под ред. Ю.М. Баяковского. - Москва : Мир, 1989. - 478 с. : ил. - Библиогр.: с. 455-468. - Указ. имен., предм.: с. 469-476. - Пер. изд. : Computational geometry / F. P. Preparata, M. I. Shamos. - ISBN 5-03-001041-6 : 2.80 р.

УДК

681.3.513

ББК В18 + В19

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

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

Доп.точки доступа:
Шеймос, Майкл; Preparata, F. P.Shamos, M. I.
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)

[Текст] : сб. ст. / АН УССР, Науч. совет по пробл. "Кибернетика", Ин-т кибернетики; Ред.кол.: В.И. Рыбак отв. ред.), В.И. Скурихин, А.А. Стогний и др. - Киев : [б. и.], 1981. - 91 с. : ил. - Библиогр.: в конце ст. - 0.27 р.

УДК

007.57

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

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

[Текст] : Сборник статей. Вып.10 / Пер. В.И. Питербарга; Под ред. Ю.К. Беляева. - Москва : Мир, 1978. - 280 с. - (Новое в зарубежной науке. Математика / Ред. А.Н. Колмогоров, С.П. Новиков). - Библиогр. в конце ст. - 1.50 р.ББК В17

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

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

[Текст] : монография / В. Н. Скопинский. - Москва : Физматлит, 2008. - 399 с. : ил. ; 23 см. - Библиогр.: с. 382-399. - ISBN 978-5-9221-0981-9 (в пер.). - ISBN 978-5-9221-0981-9 : 270.00 р., 270.00 р.

ГРНТИ	67.03	29.19.13
УДК	539.3^V3

ББК Н112.909 + В251.64

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

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

[Текст]. - Новосибирск : Тамара Рожковская. - 2011. - 170 с. : ил. - Библиогр. в конце ст. - ISSN 0132-6511. - 2350.00 р.ББК В16

Аннотация: Представлены новые результаты по современным проблемам математического анализа, теории уравнений с частными производными, математической физики. Исследован вопрос об однозначной L-p-разрешимости однородной задачи Дирихле для дивергентных параболических уравнений второго порядка в ограниченных цилиндрических областях Q-T c нерегулярной границей основания D, изучена коэффициентная обратная задача для гиперболического уравнения с помощью двухступенчатой численной процедуры, состоящей из метода глобальной сходимости и адаптивного метода конечных элементов, исследована С*-алгебра, порожденная в L-2(R) операторами умножения на функции с конечным числом разрывов первого рода и операторами свертки с преобразованиями Фурье таких функций, получены необходимые и достаточные условия существования и единственности энергетического решения задачи Дирихле для уравнения Лапласа во внешности многомерного параболоида через описание граничных следов функций из энергетического пространства указанной задачи, установлены некоторые свойства для собственных чисел оператора Лапласа с условиями Неймана на регулярно возмущенных стенках волновода. Дана характеристика сингулярностей для двумерных эллиптических операторов типа div-grad в вершинах пересечения различных материалов при граничных условиях Дирихле и Неймана на части границы. Для математиков-специалистов по математическому анализу, дифференциальным уравнениям, математической физике, а также для физиков-теоретиков, механиков.

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

[Текст] : [пер. с фр. : в 4-х томах] / Ж.Г. Дарбу ; под науч. ред. И.А. Тайманова. - Москва ; Ижевск : Институт компьютерных исследований. / Ж.Г. Дарбу ; пер. В.В. Шуликовской ; под науч. ред. И.А. Тайманова. - 2013. - IX, 568 с. - ISBN 978-5-4344-0119-7 : 417.00 р., 417.00 р.

ГРНТИ	27.21
УДК	514.75/77

ББК В181.221.2

Аннотация: Данное издание представляет собой второй том монументального труда выдающегося французского математика Ж.Г. Дарбу "Лекции по общей теории поверхностей", который содержит систематическое изложение результатов, относящихся к теории поверхностей и теории криволинейных координат. Кроме собственных результатов, он изложил и результаты исследований по дифференциальной геометрии кривых и поверхностей за 100 лет. Этот труд является итогом лекций, которые автор читал в Сорбонне в течение 1882-1885 годов и целью которых был поиск новых приложений теории уравнений в частных производных, такой обширной и так мало изученной. Второй том состоит из двух частей (книг). В первой части речь идет о конгруэнциях и о линейных уравнениях в частных производных. Практически вся эта часть посвящена развитию идей математического анализа, которые позднее почти сразу нашли применение при изучении двух важных вопросов: бесконечно малой деформации произвольной поверхности и поиска поверхностей, допускающих данное сферическое представление. Во второй части речь идет о линиях пересечения с поверхностями.

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

Доп.точки доступа:
Шуликовская, В.В. \пер.\; Тайманов, И.А. \ред.\
Экземпляры всего: 2
ИВМ-Фонд (1), ЦНБ-АБ (1)
Свободны: ИВМ-Фонд (1), ЦНБ-АБ (1)

[Текст] : приложение к журналу "Философия образования". Т. ХХII / Б. О. Майер ; отв. Н. В. Наливайко ; Рос. акад. наук. - Новосибирск : Издательство Сибирского отделения Российской академии наук, 2006. - 276 с. - (Философия образования ; n 22). - Библиогр.: с. 258-276. - ISBN 5-7692-0901-1 : 0.00 р.

ГРНТИ	14.01	14.01
УДК	1	37.13

ББК Ч30в + Ю252:Ч30


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

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