Главная
Упрощенный режим
Описание
Шлюз 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
ISBN, Цена
5-7615-0490-1: 210 р.
ГРНТИ
:
27.03.19
ББК
: В123с512я73
Предметные рубрики:
прикладная логика, математическая логика, применение ЭВМ
Дескрипторы:
моногр--уч
Экземпляры
:02(1)
Свободны
: 02(1)
Найти похожие
2.
Вид документа
: Однотомное издание
Шифр издания
: В12/М218
Автор(ы)
: Малюгин, Владимир Дмитриевич
Заглавие
: Параллельные логические вычисления посредством арифметических полиномов
Выходные данные
: М.: НАУКА, 1997
Колич.характеристики
:190 с.: ил
Примечания
: Библиогр.: с. 184-190
ISBN, Цена
5-02-015067-3: Б.ц.
ГРНТИ
:
27.03.19
ББК
: В123
Предметные рубрики:
Логические исчисления
Булевы алгебры
Дескрипторы:
моногр
Экземпляры
:02(1)
Свободны
: 02(1)
Найти похожие
3.
Вид документа
: Однотомное издание
Шифр издания
: В12/Е804
Автор(ы)
: Ершов, Юрий Леонидович
Заглавие
: Определимость и теорема Геделя о неполноте : Учеб. пособие
Выходные данные
: Новосибирск: Науч. кн., 1995
Колич.характеристики
:75 с
ISBN, Цена
5-88119-003-3: Б.ц.
ГРНТИ
:
27.03.19
ББК
: В123я73
Предметные рубрики:
Геделя теорема
Дескрипторы:
моногр--уч
Экземпляры
:02(1)
Свободны
: 02(1)
Найти похожие
4.
Вид документа
: Однотомное издание
Шифр издания
: В17/Б529
Автор(ы)
: Берштейн, Леонид Самойлович, Боженюк, Александр Витальевич
Заглавие
: Нечеткие графы и гиперграфы : монография
Выходные данные
: М.: Науч. мир, 2005
Колич.характеристики
:255 с.: ил.; 22 см.
Примечания
: Библиогр.: с. 250-255
ISBN, Цена
5-89176-315-X В пер.: 237 р.
ГРНТИ
: 27.45.17 +
27.03.19
+ 27.25
УДК
: 519.1
ББК
: В174.2 + В161.41 + В12
Предметные рубрики:
Нечеткие графы
Нечеткие множества
Нечеткая логика
Ключевые слова
(''Своб.индексиров.''): графов теория (мат.)
Экземпляры
:02(1)
Свободны
: 02(1)
Найти похожие
5.
Вид документа
: Однотомное издание
Шифр издания
: З 973.2/К84
Автор(ы)
: Круглов, Владимир Васильевич, Дли, М.И, Голунов, Р.Ю
Заглавие
: Нечеткая логика и искусственные нейронные сети : [Учеб. пособие для вузов по спец. "Прикл. информатика"]
Выходные данные
: М.: Физматлит, 2001
Колич.характеристики
:224 с.: ил
Примечания
: Библиогр.: с. 224
ISBN, Цена
5-94052-027-8: 60 р.
ГРНТИ
: 50.07.03 +
27.03.19
ББК
: З 973.206-01я73 + В12я73
Предметные рубрики:
нейронные сети
нечеткая логика
Дескрипторы:
моногр--уч
Экземпляры
:02(1)
Свободны
: 02(1)
Найти похожие
6.
Вид документа
: Однотомное издание
Шифр издания
: З 973.2/М545
Заглавие
: Методы предикатного программирования : Сб. науч. работ
Параллельн. заглавия
:The predicate programming methods
Выходные данные
: Новосибирск: ИСИ, 2003
Колич.характеристики
:62 с. ; 21 см
Коллективы
: Институт систем информатики им. А.П. Ершова (Новосибирск)
Примечания
: Библиогр. в конце ст
Цена
: Б.ц.
ГРНТИ
: 50.05.03 + 27.03.17 +
27.03.19
УДК
: 004.42(082)
ББК
: З 973.2-018я43 + В127я43 + В123я43
Предметные рубрики:
Программное обеспечение ЭВМ
Предикаты-- рекурсивные
Предикаты-- исчисление
Ключевые слова
(''Своб.индексиров.''): компьютеры персональные - программирование
Экземпляры
:02(1)
Свободны
: 02(1)
Найти похожие
7.
Вид документа
: Продолжающееся издание
Шифр издания
: Пр50/Пр50/242
Заглавие
: Математическая логика и алгебра : Сб ст.
Выходные данные
: М.: Наука: Наука/Интерпериодика,Б.г.2003
Колич.характеристики
:205 c. ; [1] л. портр
Серия:
Труды Математического института имени В.А. Стеклова/ Российская академия наук, ISSN 0371-9685; Т.242
Цена
: 141 р.
ГРНТИ
:
27.03.19
+ 27.17 + 27.01.09
ББК
: В12я43 + В152я43 + В1д(2)Новиков,П.С.
Предметные рубрики:
Математическая логика
Высшая алгебра
Новиков Петр Сергеевич-- математик
Экземпляры
:02(1)
Свободны
: 02(1)
Найти похожие
8.
Вид документа
: Однотомное издание
Шифр издания
: В12/К493
Автор(ы)
: Клини, Стивен Коул
Заглавие
: Математическая логика : монография . -2-е изд., стер.
Выходные данные
: М.: Едиториал УРСС, печ. 2004
Колич.характеристики
:480 с. ; 22 см.
Примечания
: Указ. авт. и предм.: с. 470-478. - Библиогр.: с. 451-465
ISBN, Цена
5-354-01011-X: 303.75 р.
ГРНТИ
:
27.03.19
УДК
: 510.6
ББК
: В12
Предметные рубрики:
Математическая логика
Ключевые слова
(''Своб.индексиров.''): математическая логика
Экземпляры
:02(1)
Свободны
: 02(1)
Найти похожие
9.
Вид документа
: Однотомное издание
Шифр издания
: В12/Е804
Автор(ы)
: Ершов, Юрий Леонидович, Палютин, Евгений Андреевич
Заглавие
: Математическая логика : учебное пособие для вузов
Выходные данные
: Москва: Наука, 1979
Колич.характеристики
:320 с
Примечания
: Указ. предм. и обозначений: с. 335-336
Цена
: Б.ц.
ГРНТИ
:
27.03.19
ББК
: В12я73-1
Экземпляры
:02(1)
Свободны
: 02(1)
Найти похожие
10.
Вид документа
: Однотомное издание
Шифр издания
: В12/К608
Автор(ы)
: Колмогоров, Андрей Николаевич, Драгалин, Альберт Григорьевич
Заглавие
: Математическая логика : [Учеб. пособие для мат. специальностей]
Выходные данные
: М.: Едиториал УРСС, 2004
Колич.характеристики
:238 с. ; 22 см
Серия:
Классический университетский учебник
Примечания
: Указ. имен. и предм.: с. 229-236Библиогр.: с. 115, 228
ISBN, Цена
5-354-00389-X В пер.: 75 р.
ГРНТИ
:
27.03.19
УДК
: 510.6(075.8)
ББК
: В12я73
Предметные рубрики:
Математическая логика
Ключевые слова
(''Своб.индексиров.''): математическая логика
Экземпляры
:02(1)
Свободны
: 02(1)
Найти похожие
полный формат
краткий формат
все найденные
отмеченные
кроме отмеченных
1-10
11-20
21-23
Стандартный
Расширенный
Профессиональный
По словарю
ГРНТИ-навигатор
© 1997-2017 Отделение ГПНТБ СО РАН