Главная Упрощенный режим Описание Шлюз Z39.50

Базы данных

Всего записей: 50699

Каталог книг и сборников Отделения ГПНТБ (1991- ) - результаты поиска

Вид поиска
Область поиска
в найденном
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>R=27.03.19$<.>)
Общее количество найденных документов : 23
Показаны документы с 1 по 10
 1-10    11-20   21-23 
1.
   В12
   К493

    Клини, Стивен Коул.
    Математическая логика : монография / С. К. Клини ; пер. с англ. Ю. А. Гастева; под ред. Г. Е. Минца. - 2-е изд., стер. - М. : Едиториал УРСС, печ. 2004. - 480 с. ; 22 см. - Указ. авт. и предм.: с. 470-478. - Библиогр.: с. 451-465. - 500 экз.. -
ГРНТИ
27.03.19
УДК
510.6^V3
ББК В12
Рубрики: Математическая логика
Кл.слова (ненормированные):
Математическая логика


Доп.точки доступа:
Минц, Г.Е. \ред.\; Гастев, Ю.А. \пер.\
Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 73-7-2005
Найти похожие
2.
   В16
   К945

    Кусраев, Анатолий Георгиевич.
    Введение в булевозначный анализ : монография / А. Г. Кусраев, С. С. Кутателадзе ; Рос. акад. наук, Сиб. отд-ние, Ин-т математики им. С. Л. Соболева, Владикавк. науч. центр, Ин-т прикладной математики и информатики. - М. : Наука, 2005. - 525 с. : ил. ; 24 см. - Указ.: с. 227-512. - Библиогр.: с. 468-487. - 370 экз.
Ч. текста англ.
ГРНТИ
27.23
27.39
27.03.19
УДК
517.98^V3
ББК В162 + В12
Рубрики: булевозначный анализ--операторов
   нестандартный анализ
Кл.слова (ненормированные):
Математический анализ -- Функции (мат.) булевы


Доп.точки доступа:
Кутателадзе, Семен Самсонович
Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 25-1-2008
Найти похожие
3.
   В17
   Б529

    Берштейн, Леонид Самойлович.
    Нечеткие графы и гиперграфы : монография / Л. С. Берштейн, А. В. Боженюк. - М. : Науч. мир, 2005. - 255 с. : ил. ; 22 см. - Библиогр.: с. 250-255. - 300 экз.. -
ГРНТИ
27.45.17
27.03.19
27.25
УДК
519.1^V3
ББК В174.2 + В161.41 + В12
Рубрики: Нечеткие графы
   Нечеткие множества
   Нечеткая логика
Кл.слова (ненормированные):
Графов теория (мат.)


Доп.точки доступа:
Боженюк, Александр Витальевич
Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 70-26-2006
Найти похожие
4.
   В12
   К608

    Колмогоров, Андрей Николаевич.
    Математическая логика [Текст] : [Учеб. пособие для мат. специальностей] / А. Н. Колмогоров, А. Г. Драгалин ; МГУ им. М. В. Ломоносова. - М. : Едиториал УРСС, 2004. - 238 с. ; 22 см. - (Классический университетский учебник). - Указ. имен. и предм.: с. 229-236. - Библиогр.: с. 115, 228. - Содерж.: Введение в математическую логику; Математическая логика. Дополнительные главы. - 1500 экз.. -
ГРНТИ
27.03.19
УДК
510.6(075.8)^V3
ББК В12я73
Рубрики: Математическая логика
Кл.слова (ненормированные):
Математическая логика


Доп.точки доступа:
Драгалин, Альберт Григорьевич
Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 24-21-2004
Найти похожие
5.
   В12
   В24

   
    Введение в математическое моделирование : учеб. пособие:[для вузов по направлению 511200 "Математика. Прикладная математика" / [В. Н. Ашихмин и др.]. - М. : Логос, 2004. - 439 с. : ил. ; 22 см. - (Новая университетская библиотека). - Предм. указ.: с. 436-437. - Библиогр.: с. 431-435. - 1500 экз.. -
ГРНТИ
27.47
27.03.19
УДК
519.8(075.8)^V3
ББК В122я73
Рубрики: Математическое моделирование--теория
Кл.слова (ненормированные):
Математическое моделирование


Доп.точки доступа:
Ашихмин, В.Н.; Гитман, М.Б.; Келлер, И.Э.; Наймарк, О.Б.; Стобов, В.Ю.
Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 72-10-2005
Найти похожие
6.
   Пр50
   Пр50/242
Пр50/242 / Пр50/242-02

   
    Математическая логика и алгебра [Текст] : сб ст. / Под ред. Адяна С.И. - М. : Наука : Наука/Интерпериодика, 2003. - 205 c., [1] л. портр. - (Труды Математического института имени В.А. Стеклова / Российская академия наук, ISSN 0371-9685 ; т.242). -
ГРНТИ
27.03.19
27.17
27.01.09
ББК В12я43 + В152я43 + В1д(2)Новиков,П.С.
Рубрики: Математическая логика
   Высшая алгебра
   Новиков Петр Сергеевич--математик


Доп.точки доступа:
Адян, С.И. \ред.\
Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 24-28-2004но
Найти похожие
7.
   В12
   Д721

    Драгалин, Альберт Григорьевич.
    Конструктивная теория доказательств и нестандартный анализ [Текст] : монография / А. Г. Драгалин. - М. : Едиториал УРСС, 2003. - 543 с. - Текст рус., англ. - Имен. указ.: с. 530-543. - Библиогр. в конце разд. - 600 экз.. -
ГРНТИ
27.03.19
27.01.09
УДК
510.6^V3
ББК В12я44 + В1д(2)Драгалин,А.Г.
Рубрики: Доказательств теория
   Нестандартный анализ
   Интуиционистская логика--математическая
   Драгалин Альберт Григорьевич--математик
Кл.слова (ненормированные):
Математическая логика

Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 6-7-2005
Найти похожие
8.
   З 973.2
   М545

   
    Методы предикатного программирования [Текст] = The predicate programming methods : сб. науч. работ / Рос. акад. наук, Сиб. отд-ние, Ин-т систем информатики им. А. П. Ершова ; Под ред. В. И. Шелехова. - Новосибирск : ИСИ, 2003. - 62 с. ; 21 см. - Библиогр. в конце ст. - 70 экз.. -
ГРНТИ
50.05.03
27.03.17
27.03.19
УДК
004.42(082)^V3
ББК З 973.2-018я43 + В127я43 + В123я43
Рубрики: Программное обеспечение ЭВМ
   Предикаты--рекурсивные
   Предикаты--исчисление
Кл.слова (ненормированные):
Компьютеры персональные - Программирование


Доп.точки доступа:
Шелехов, В.И. \ред.\; Институт систем информатики им. А.П. Ершова (Новосибирск)
Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 49-19-2004
Найти похожие
9.
   В12
   Я146

    Яблонский, Сергей Всеволодович.
    Введение в дискретную математику [Текст] : учеб. пособие для вузов по спец. "Прикл. математика" / С. В. Яблонский. - 3-е изд., стер. - М. : Высш. шк., 2002. - 384 с. : ил. - (Высш. математика). - 1 экз.
Библиогр.: с. 370-372. - Предм. указ.: с. 373-379
27.03.19
ББК В12я73
Рубрики: Дискретная математика
Дескрипторы: уч -- моногр

Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 64-10-2002
Найти похожие
10.
   В12
   Д482

   
    Дискретный анализ и исследование операций [Текст] : [Материалы рос. конф., Новосибирск, 24-28 июня 2002]. - Новосибирск : [б. и.], 2002. - 253 с.
В надзаг.: Ин-т математики им. С.Л. Соболева СО РАН. - Библиогр. в конце некоторых докл
27.03.19
27.47.19
ББК В12я431 + В173я431
Рубрики: Дискретный анализ
   Исследование операций
   Графов теория
   Математическое программирование, линейное, нелинейное; Игр теория
Дескрипторы: конф.рос

Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 19-9-2003
Найти похожие
 1-10    11-20   21-23 
 
Стандартный
Расширенный
Профессиональный
По словарю
ГРНТИ-навигатор
© 1997-2017 Отделение ГПНТБ СО РАН