Главная
Упрощенный режим
Описание
Шлюз Z39.50
Отделение ГПНТБ СО РАН
Базы данных
Всего записей: 50699
Каталог книг и сборников Отделения ГПНТБ (1991- ) - результаты поиска
Вид поиска
Область поиска
Ключевые слова
Автор
Заглавие
Год издания
Персоналия
Характер документа
Коллектив/Мероприятие
Предметные рубрики
Персоналия
Сигла библиотек
Тип/вид документа
в найденном
Формат представления найденных документов:
полный
информационный
краткий
Отсортировать найденные документы по:
автору
заглавию
году издания
типу документа
Поисковый запрос:
(<.>R=27.03.19$<.>)
Общее количество найденных документов
:
23
Показаны документы
с 1 по 10
1-10
11-20
21-23
1.
В12
Е804
Ершов, Юрий Леонидович
.
Определимость и теорема Геделя о неполноте [Текст] : учеб. пособие / Ю. Л. Ершов ; отв. ред. С. С. Гончаров. - Новосибирск : Науч. кн., 1995. - 75 с. -
27.03.19
ББК
В123я73
Рубрики:
Геделя теорема
Дескрипторы:
моногр -- уч
Доп.точки доступа:
Гончаров, С.С. \ред.\
Экземпляры всего:
1
02 (1)
Свободны:
02 (1)
Инвентарный номер:
28-7-96
Найти похожие
2.
В12
М218
Малюгин, Владимир Дмитриевич
.
Параллельные логические вычисления посредством арифметических полиномов [Текст] / В. Д. Малюгин. - М. : НАУКА, 1997. - 190 с. : ил
Библиогр.: с. 184-190
27.03.19
ББК
В123
Рубрики:
Логические исчисления
Булевы алгебры
Дескрипторы:
моногр
Экземпляры всего:
1
02 (1)
Свободны:
02 (1)
Инвентарный номер:
20-5-99
Найти похожие
3.
В12
Г522
Гладкий, Алексей Всеволодович
.
Математическая логика [Текст] / А. В. Гладкий. - М. : [б. и.], 1998. - 479 с. : ил
Библиогр.: с. 468-470. - Предм. указ., обозначений: с. 471-476
27.03.19
ББК
В12я73
Рубрики:
математическая логика
Дескрипторы:
моногр
Экземпляры всего:
1
02 (1)
Свободны:
02 (1)
Инвентарный номер:
49-31-99
Найти похожие
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.
В12
К262
Карпенко, Александр Степанович
.
Логики Лукасевича и простые числа [Текст] = Lukasiewicz's logics and prime numbers / А.С. Карпенко; Рос. акад. наук. Ин-т философии. - М. : Наука, 2000. - 319 с. : ил. - 2 экз.
Библиогр.: с. 283-308. - Имен. указ.: с. 309-313
27.03.19
27.15.17
27.41.21
ББК
В123.3 + В141.1 + В194.1
Рубрики:
многозначная логика
простые числа, таблицы, теория
Дескрипторы:
моногр
Экземпляры всего:
1
02 (1)
Свободны:
02 (1)
Инвентарный номер:
96-8-2002
Найти похожие
6.
В12
А391
Акимов, Олег Евгеньевич
.
Дискретная математика: логика, группы, графы [Текст] : [Учеб. для вузов] / О. Е. Акимов. - М. : Лаб. базовых знаний, 2001. - 349 с. : ил. - (Техн. ун-т). -
27.03.19
ББК
В12я73
Рубрики:
дискретная математика
математическая логика
графов теория
Дескрипторы:
моногр -- уч
Экземпляры всего:
1
02 (1)
Свободны:
02 (1)
Инвентарный номер:
126-15-2001
Найти похожие
7.
В12
Н531
Непейвода, Николай Николаевич
.
Прикладная логика [Текст] : учеб. пособие для вузов по спец. "Математика", "Прикл. математика", "Лингвистика", "Философия" и "Психология" / Н. Н. Непейвода. - 2-е изд., испр. и доп. - Новосибирск : Новосиб. ун-т, 2000. - ХХХ, 490 с. : ил
Библиогр.: с. 479-481. - Предм. указ.: с.482-488
27.03.19
ББК
В123с512я73
Рубрики:
прикладная логика, математическая логика, применение ЭВМ
Дескрипторы:
моногр -- уч
Экземпляры всего:
1
02 (1)
Свободны:
02 (1)
Инвентарный номер:
7-8-2002
Найти похожие
8.
Ю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
Найти похожие
9.
В12
И20
Иванов, Борис Николаевич
.
Дискретная математика [Текст] : алгоритмы и программы: [Учеб. пособие] / Б. Н. Иванов. - М. : Лаб. базовых знаний, 2001. - 288 с. : ил. - (Техн. ун-т). - 1 экз.
Библиогр.: с. 285. - Предм. указ.: с. 286-288
27.03.19
ББК
В12с512я73
Рубрики:
дискретная математика
Дескрипторы:
моногр -- уч
Экземпляры всего:
1
02 (1)
Свободны:
02 (1)
Инвентарный номер:
76-20-2002
Найти похожие
10.
В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
Найти похожие
полный формат
краткий формат
все найденные
отмеченные
кроме отмеченных
1-10
11-20
21-23
Стандартный
Расширенный
Профессиональный
По словарю
ГРНТИ-навигатор
© 1997-2017 Отделение ГПНТБ СО РАН