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

w10=
Найдено документов в текущей БД: 8
   В1
   Х 47
В144.1,0 / Х 47-ИВМ-Фонд

    Цепные дроби
/ А. Я. Хинчин. - Издание 4-е, стер. - М. : Наука, Гл. ред. физ.-мат. лит., 1978. - 112 с. - 42000 экз. - 0.15 р., 0.15 р.
ГРНТИ
УДК
ББК В134


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

    Модульный анализ
: (сб. науч. тр.) / Акад. наук СССР, Сиб. отд-ние, Ин-т теор. и прикл. механики ; под ред. Ю. И. Шокина. - Новосибирск : [б. и.], 1978. - 114 с. : ил. - Библиогр. в конце ст. - 500 экз. - 0.40 р., 0.40 р.
ГРНТИ
ББК В25я43

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

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

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

    Математическая логика и теория алгоритмов
[Текст] : учебное пособие / А.К. Гуц; Омский госуниверситет. - Омск : Наследие. Диалог-Сибирь, 2003. - 108 с. : ил. - Библиогр.: с.105-107. - В надзаг.: Омский государственный университет, Факультет компьютерных наук, Кафедра кибернетики. - ISBN 5-8239-0126-7 : 8.50 р.
ГРНТИ
ББК В12 + В19

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

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

Исследования по теории алгоритмов и математической логике   Т. 2
[Текст]. - Москва : Вычислительный центр АН СССР. : сборник научных трудов / Под ред. А.А.Маркова и Б.А.Кушнера. - 1976. - 153 с. - Библиогр. в конце ст. . - 0.59 р.
ГРНТИ
ББК В12я54(2)1

Аннотация: Настоящий сборник составлен из статей, относящихся к конструктивной семантике, теории сложности алгоритмов, конструктивному математическому анализу и вычислимой топологии. Большинство публикуемых работ докладывалось в 1970-1974 г. на заседаниях семинара по конструктивной математике ВЦ АН СССР и кафедры математической логики механико-математического факультета МГУ.

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

    Задачи по теории множеств, математической логике и теории алгоритмов
[Текст] : Сборник задач / И.А. Лавров, Л.Л. Максимова. - 5-е изд., испр. - Москва : Физматлит, 2006. - 256 с. - Библиогр.: с. 248-249. - Предм. указ.: с. 250-255. - ISBN 5-9221-0026-2 : 219.00 р.
ГРНТИ
ББК В161.41я73 + В12я73

Аннотация: В книге в форме задач систематически изложены основы теории множеств, математической логики и теории алгоритмов. Книга предназначена для активного изучения математической логики и смежных с ней наук. Состоит из трех частей: "Теория множеств", "Математическая логика" и "Теория алгоритмов". Задачи снабжены указаниями и ответами. Все необходимые определения сформулированы в кратких теоретических введениях к каждому параграфу. Сборник может быть использован как учебное пособие для математических факультетов университетов, педагогических институтов, а также в технических вузах при изучении кибернетики и информатики. Для математиков - алгебраистов, логиков и кибернетиков.

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

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

    Теория дедуктивных систем и ее применения
[Текст] : научное издание / С.Ю. Маслов. - [Б. м.] : Радио и связьМосква, 1986. - 133 с. : ил. - (Кибернетика). - Библиогр.: с. 129-131. - 0.45 р.
ГРНТИ
ББК В123,0 + З 81в641


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

    Теория сложности вычислений. 1
: Сб. / Акад. наук СССР. Ордена Ленина математический ин-т им. В.А. Стеклова, Ленинградское отделение ; ред.: Д. Ю. Григорьев, А. О. Слисенко. - Ленинград : Наука. Ленингр. отд-ние, 1982. - 216 с. - (Записки науч. семинаров ЛОМИ. Т.118). - Библиогр. в конце ст. - 1.40 р.
ГРНТИ
ББК В127


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

Доп.точки доступа:
Григорьев, Д.Ю. \ред.\; Слисенко, А.О. \ред.\; Акад. наук СССР. Ордена Ленина математический ин-т им. В.А. Стеклова. Ленинградское отделение
Экземпляры всего: 1
ЦНБ-ХР (1)
Свободны: ЦНБ-ХР (1)
   З973
   Я66

    Обработка изображений на языке СИ для IBV PC. Алгоритмы и программы
[Текст] : научное издание / В Яншин, Г. Калинин. - Москва : Мир , 1994. - 241 с. - Библиогр.: с. 239-240. - ISBN 5-03-002891-9 : 2300.00 р.
ГРНТИ
ББК З 973.203.4


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

Доп.точки доступа:
Калинин, Г.
Экземпляры всего: 1
ЦНБ-ХР (1)
Свободны: ЦНБ-ХР (1)