Главная
Упрощенный режим
Описание
Шлюз Z39.50
Отделение ГПНТБ СО РАН
Базы данных
Всего записей: 50699
Каталог книг и сборников Отделения ГПНТБ (1991- ) - результаты поиска
Вид поиска
Область поиска
Ключевые слова
Автор
Заглавие
Год издания
Персоналия
Характер документа
Коллектив/Мероприятие
Предметные рубрики
Персоналия
Сигла библиотек
Тип/вид документа
в найденном
Формат представления найденных документов:
полный
информационный
краткий
Отсортировать найденные документы по:
автору
заглавию
году издания
типу документа
Поисковый запрос:
(<.>R=27.03.19$<.>)
Общее количество найденных документов
:
23
Показаны документы
с 1 по 10
1-10
11-20
21-23
1.
В12
Н531
Непейвода, Николай Николаевич
.
Прикладная логика [Текст] : учеб. пособие для вузов по спец. "Математика", "Прикл. математика", "Лингвистика", "Философия" и "Психология" / Н. Н. Непейвода. - 2-е изд., испр. и доп. - Новосибирск : Новосиб. ун-т, 2000. - ХХХ, 490 с. : ил
Библиогр.: с. 479-481. - Предм. указ.: с.482-488
27.03.19
ББК
В123с512я73
Рубрики:
прикладная логика, математическая логика, применение ЭВМ
Дескрипторы:
моногр -- уч
Экземпляры всего:
1
02 (1)
Свободны:
02 (1)
Инвентарный номер:
7-8-2002
Найти похожие
2.
В12
М218
Малюгин, Владимир Дмитриевич
.
Параллельные логические вычисления посредством арифметических полиномов [Текст] / В. Д. Малюгин. - М. : НАУКА, 1997. - 190 с. : ил
Библиогр.: с. 184-190
27.03.19
ББК
В123
Рубрики:
Логические исчисления
Булевы алгебры
Дескрипторы:
моногр
Экземпляры всего:
1
02 (1)
Свободны:
02 (1)
Инвентарный номер:
20-5-99
Найти похожие
3.
В12
Е804
Ершов, Юрий Леонидович
.
Определимость и теорема Геделя о неполноте [Текст] : учеб. пособие / Ю. Л. Ершов ; отв. ред. С. С. Гончаров. - Новосибирск : Науч. кн., 1995. - 75 с. -
27.03.19
ББК
В123я73
Рубрики:
Геделя теорема
Дескрипторы:
моногр -- уч
Доп.точки доступа:
Гончаров, С.С. \ред.\
Экземпляры всего:
1
02 (1)
Свободны:
02 (1)
Инвентарный номер:
28-7-96
Найти похожие
4.
В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
Найти похожие
5.
З 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
Найти похожие
6.
З 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
Найти похожие
7.
Пр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но
Найти похожие
8.
В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
Найти похожие
9.
В12
Е804
В12 / Е804-02
Ершов, Юрий Леонидович
.
Математическая логика : учебное пособие для вузов / Ю. Л. Ершов, Е. А. Палютин. - Москва : Наука, 1979. - 320 с. - Указ. предм. и обозначений: с. 335-336. -
ГРНТИ
27.03.19
ББК
В12я73-1
Доп.точки доступа:
Палютин, Евгений Андреевич
Экземпляры всего:
1
02 (1)
Свободны:
02 (1)
Инвентарный номер:
97-14-79но
Найти похожие
10.
В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
Найти похожие
полный формат
краткий формат
все найденные
отмеченные
кроме отмеченных
1-10
11-20
21-23
Стандартный
Расширенный
Профессиональный
По словарю
ГРНТИ-навигатор
© 1997-2017 Отделение ГПНТБ СО РАН