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

Базы данных

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

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

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

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

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

    Фреге, Готтлоб.
    Логика и логическая семантика [Текст] : сб. тр. / Г. Фреге; Пер. с нем., под ред., введ. и послесл., коммент. Бирюкова Б.В. и Кузичевой З.А. - М. : Аспект-Пресс, 2000. - 512 с. : ил., портр
Библиогр. в тексте. - Имен. указ.: с. 509-511
27.03.19
27.01.09
02.21.41
02.21.01
ББК Ю4я44 + Ю4г(4Г)6д.Фреге,Г. + В12я44 + В1д(3)Фреге,Г. + Ю41я44
Рубрики: логика, математическая
   логическая семантика
   Фреге Готлоб, математик, логические взгляды
Дескрипторы: моногр -- уч

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

    Непейвода, Николай Николаевич.
    Прикладная логика [Текст] : учеб. пособие для вузов по спец. "Математика", "Прикл. математика", "Лингвистика", "Философия" и "Психология" / Н. Н. Непейвода. - 2-е изд., испр. и доп. - Новосибирск : Новосиб. ун-т, 2000. - ХХХ, 490 с. : ил
Библиогр.: с. 479-481. - Предм. указ.: с.482-488
27.03.19
ББК В123с512я73
Рубрики: прикладная логика, математическая логика, применение ЭВМ
Дескрипторы: моногр -- уч

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

    Набебин, Алексей Александрович.
    Логика и Пролог в дискретной математике [Текст] / А. А. Набебин. - М. : МЭИ, 1996. - 451 с. : ил
Библиогр.: с. 435-440
27.03.19
27.45.17
50.05.09
ББК В12 + В174.2с512 + З 973.2-018.12Пролог
Рубрики: математическая логика
   дискретная математика
   графов теория, алгоритмы на графах
   языки программирования
Дескрипторы: моногр

Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 62-1-2000
Найти похожие
5.
   З 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
Найти похожие
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
   М30

    Марченков, Сергей Серафимович.
    Замкнутые классы булевых функций [Текст] / С. С. Марченков. - 2-е изд., испр. - М. : Физматлит, 2001. - 126 с. : табл
Библиогр.: с. 119-121. - Указ. обозначений, предм.: с. 122-126
27.03.19
27.17.21
ББК В123 + В152.61
Рубрики: Булевы функции, алгебры, Галуа теория
   Поста алгебры
Дескрипторы: моногр

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

    Малюгин, Владимир Дмитриевич.
    Параллельные логические вычисления посредством арифметических полиномов [Текст] / В. Д. Малюгин. - М. : НАУКА, 1997. - 190 с. : ил
Библиогр.: с. 184-190
27.03.19
ББК В123
Рубрики: Логические исчисления
   Булевы алгебры
Дескрипторы: моногр

Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 20-5-99
Найти похожие
9.
   В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
Найти похожие
10.
   З 973.2
   К84

    Круглов, Владимир Васильевич.
    Нечеткая логика и искусственные нейронные сети [Текст] : [Учеб. пособие для вузов по спец. "Прикл. информатика"] / В. В. Круглов, М. И. Дли, Р. Ю. Голунов. - М. : Физматлит, 2001. - 224 с. : ил
Библиогр.: с. 224
50.07.03
27.03.19
ББК З 973.206-01я73 + В12я73
Рубрики: нейронные сети
   нечеткая логика
Дескрипторы: моногр -- уч


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