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

Базы данных

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

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

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

Вид документа : Однотомное издание
Шифр издания : В12/Е804
Автор(ы) : Ершов, Юрий Леонидович
Заглавие : Определимость и теорема Геделя о неполноте : Учеб. пособие
Выходные данные : Новосибирск: Науч. кн., 1995
Колич.характеристики :75 с
ISBN, Цена 5-88119-003-3: Б.ц.
ГРНТИ : 27.03.19
ББК : В123я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/Г522
Автор(ы) : Гладкий, Алексей Всеволодович
Заглавие : Математическая логика
Выходные данные : М., 1998
Колич.характеристики :479 с.: ил
Примечания : Библиогр.: с. 468-470. - Предм. указ., обозначений: с. 471-476
ISBN, Цена 5-7281-0025-2: Б.ц.
ГРНТИ : 27.03.19
ББК : В12я73
Предметные рубрики: математическая логика
Дескрипторы: моногр
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
4.

Вид документа : Однотомное издание
Шифр издания : В12/Н134
Автор(ы) : Набебин, Алексей Александрович
Заглавие : Логика и Пролог в дискретной математике
Выходные данные : М.: МЭИ, 1996
Колич.характеристики :451 с.: ил
Примечания : Библиогр.: с. 435-440
ISBN, Цена 5-7046-0162-6: Б.ц.
ГРНТИ : 27.03.19 + 27.45.17 + 50.05.09
ББК : В12 + В174.2с512 + З 973.2-018.12Пролог
Предметные рубрики: математическая логика
дискретная математика
графов теория, алгоритмы на графах
языки программирования
Дескрипторы: моногр
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
5.

Вид документа : Однотомное издание
Шифр издания : В12/К262
Автор(ы) : Карпенко, Александр Степанович
Заглавие : Логики Лукасевича и простые числа
Параллельн. заглавия :Lukasiewicz's logics and prime numbers
Выходные данные : М.: Наука, 2000
Колич.характеристики :319 с.: ил
Примечания : Библиогр.: с. 283-308. - Имен. указ.: с. 309-313
ISBN, Цена 5-02-013048-6: 58.5 р.
ГРНТИ : 27.03.19 + 27.15.17 + 27.41.21
ББК : В123.3 + В141.1 + В194.1
Предметные рубрики: многозначная логика
простые числа, таблицы, теория
Дескрипторы: моногр
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
6.

Вид документа : Однотомное издание
Шифр издания : В12/А391
Автор(ы) : Акимов, Олег Евгеньевич
Заглавие : Дискретная математика: логика, группы, графы : [Учеб. для вузов]
Выходные данные : М.: Лаб. базовых знаний, 2001
Колич.характеристики :349 с.: ил
Серия: Техн. ун-т
ISBN, Цена 5-93208-053-1: 90 р.
ГРНТИ : 27.03.19
ББК : В12я73
Предметные рубрики: дискретная математика
математическая логика
графов теория
Дескрипторы: моногр--уч
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
7.

Вид документа : Однотомное издание
Шифр издания : В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)
Найти похожие
8.

Вид документа : Однотомное издание
Шифр издания : Ю4/Ф86
Автор(ы) : Фреге, Готтлоб
Заглавие : Логика и логическая семантика : Сб. тр.
Выходные данные : М.: Аспект-Пресс, 2000
Колич.характеристики :512 с.: ил., портр
Примечания : Библиогр. в тексте. - Имен. указ.: с. 509-511
ISBN, Цена 5-7567-0128-1: 210 р.
ГРНТИ : 27.03.19 + 27.01.09 + 02.21.41 + 02.21.01
ББК : Ю4я44 + Ю4г(4Г)6д.Фреге,Г. + В12я44 + В1д(3)Фреге,Г. + Ю41я44
Предметные рубрики: логика, математическая
логическая семантика
Фреге Готлоб, математик, логические взгляды
Дескрипторы: моногр--уч
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
9.

Вид документа : Однотомное издание
Шифр издания : В12/И20
Автор(ы) : Иванов, Борис Николаевич
Заглавие : Дискретная математика : Алгоритмы и программы: [Учеб. пособие]
Выходные данные : М.: Лаб. базовых знаний, 2001
Колич.характеристики :288 с.: ил
Серия: Техн. ун-т
Примечания : Библиогр.: с. 285. - Предм. указ.: с. 286-288
ISBN, Цена 5-93208-093-0: 74 р.
ГРНТИ : 27.03.19
ББК : В12с512я73
Предметные рубрики: дискретная математика
Дескрипторы: моногр--уч
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
10.

Вид документа : Однотомное издание
Шифр издания : В12/М30
Автор(ы) : Марченков, Сергей Серафимович
Заглавие : Замкнутые классы булевых функций . -2-е изд., испр
Выходные данные : М.: Физматлит, 2001
Колич.характеристики :126 с.: табл
Примечания : Библиогр.: с. 119-121. - Указ. обозначений, предм.: с. 122-126
ISBN, Цена 5-9221-0132-3: 30 р.
ГРНТИ : 27.03.19 + 27.17.21
ББК : В123 + В152.61
Предметные рубрики: Булевы функции, алгебры, Галуа теория
Поста алгебры
Дескрипторы: моногр
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
 1-10    11-20   21-23 
 
Стандартный
Расширенный
Профессиональный
По словарю
ГРНТИ-навигатор
© 1997-2017 Отделение ГПНТБ СО РАН