Главная Упрощенный режим Описание Шлюз 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 Отделение ГПНТБ СО РАН