Главная
Упрощенный режим
Описание
Шлюз Z39.50
Отделение ГПНТБ СО РАН
Базы данных
Всего записей: 50699
Каталог книг и сборников Отделения ГПНТБ (1991- ) - результаты поиска
Вид поиска
Область поиска
Ключевые слова
Автор
Заглавие
Год издания
Персоналия
Характер документа
Коллектив/Мероприятие
Предметные рубрики
Персоналия
Сигла библиотек
Тип/вид документа
в найденном
Формат представления найденных документов:
полный
информационный
краткий
Отсортировать найденные документы по:
автору
заглавию
году издания
типу документа
Поисковый запрос:
(<.>K=Математическая логика<.>)
Общее количество найденных документов
:
14
Показаны документы
с 1 по 10
1-10
11-14
1.
Pr869
Pr869/385
Pr869/385 / Pr869/385-02
CSL' 88
: 2nd workshop on computer science logic, Duisburg, FRG, Oct. 3-7, 1988. Proc. / Ed. by E. Borger a. o. - Berlin [et al.] : Springer, 1989. - VI,399 p. : Ill. - (Lecture notes in computer science ; 385). - Bibliogr. at the end of the art
Перевод заглавия:
Труды 2-го семинара по компьютерной логике
50.05.09
27.03
ББК
З 973.2-018.12я431 + В12Я431
Рубрики:
Языки программирования
Математическая логика
Кл.слова (ненормированные):
логика программ
--
языки программирования
--
математическая логика
Дескрипторы:
сб пр -- конф
Экземпляры всего:
1
02 (1)
Свободны:
02 (1)
Инвентарный номер:
201-6-91+02
Найти похожие
2.
Pr1019
Pr1019/395
Pr1019/395 / Pr1019/395-02
Schmidt-Schauss, Manfred
.
Computational aspects of an order-sorted logic with term declarations : сборник / M. Schmidt-Schauss. - Berlin [et al.] : Springer, 1989. - VIII,171 p. - (Lecture notes in artificial intelligence ; 395)
Bibliogr.: p. 156-166. Ind.: p. 167-168
Перевод заглавия:
Вычислительные аспекты математической логики
27.03
ББК
В12с512
Рубрики:
Математическая логика
--Применение ЭВМ
Кл.слова (ненормированные):
математическая логика
--
упорядоченная логика
--
термы
Дескрипторы:
сб пр
Экземпляры всего:
1
02 (1)
Свободны:
02 (1)
Инвентарный номер:
202-30-91+02
Найти похожие
3.
И-В1
T19
И-В1 / T19-02
Tao, Terence
.
Compactness and contradiction / T. Tao. - Providence : Amer. math. soc., 2013. - XII,256 p. : ill. - Bibliogr.: p. 249-253. - Ind.: p. 255-256
Перевод заглавия:
Компактность и противоречие
ГРНТИ
27.01
ББК
В1
Рубрики:
Математика
Кл.слова (ненормированные):
математическая логика
--
теория групп
--
нестандартный аналз
Перейти:
Оглавление
Экземпляры всего:
1
02 (1)
Свободны:
02 (1)
Инвентарный номер:
104-14-2014+02
Найти похожие
4.
З 81
В124
З 81 / В124-02
Вагин, Вадим Николаевич
.
Знания и убеждения в интеллектуальном анализе данных [Текст] / В. Н. Вагин. - Москва : Физматлит, 2019. - 535 с. : ил. ; 23 см. - Библиогр. в примеч.: с. 479-530. - 300 экз.. -
ГРНТИ
28.23
УДК
519.816^V3
ББК
З 813
Рубрики:
Искусственный интеллект
Кл.слова (ненормированные):
Математическая логика
--
Интеллектуальные системы
Экземпляры всего:
1
02 (1)
Свободны:
02 (1)
Инвентарный номер:
28-23-2020но
Найти похожие
5.
В12
В317
В12 / В317-02
Верещагин, Николай Константинович
.
Языки и исчисления / Н. К. Верещагин, А. Шень. - Изд. 4-е, испр. - Москва : Изд-во МЦНМО, 2012. - 240 с. : ил. ; 21 см. - (Лекции по математической логике и теории алгоритмов). - Указ. предм. и имен.: с. 228-240. - Библиогр.: с. 224-227. - 1000 экз.
На обл. авт. не указаны
ГРНТИ
27.03
УДК
510(075.8)^V3
ББК
В123
Рубрики:
исчисление высказываний и предикатов
Кл.слова (ненормированные):
Математическая логика
--
Алгоритмы
Доп.точки доступа:
Шень, Александр
Экземпляры всего:
1
02 (1)
Свободны:
02 (1)
Инвентарный номер:
74-23-2012но
Найти похожие
6.
В12
Г474
Гильберт, Давид
.
Основы теоретической логики : под ред., с предисл. и коммент. С. А. Яновской / Д. Гильберт, В. Аккерман ; перевод с нем. А. А. Ерофеева. - Изд. 2-е, испр. - Москва : URSS, 2009. - 302, [2] с. ; 22 см. - (Физико-математическое наследие : ФМН. Математика (основания математики и логика)). - Библиогр.: с. 297-298. -
ГРНТИ
27.03
УДК
51^V3
ББК
В12
Рубрики:
математическая логика
Кл.слова (ненормированные):
Математическая логика
Держатели документа:
ГПНТБ России
Доп.точки доступа:
Аккерман, Вильгельм; Яновская, Софья Александровна \ред.\; Ерофеев, А.А. \пер.\
Экземпляры всего:
1
02 (1)
Свободны:
02 (1)
Инвентарный номер:
56-23-2010
Найти похожие
7.
В12
Д721
Драгалин, Альберт Григорьевич
.
Конструктивная теория доказательств и нестандартный анализ [Текст] : монография / А. Г. Драгалин. - М. : Едиториал УРСС, 2003. - 543 с. - Текст рус., англ. - Имен. указ.: с. 530-543. - Библиогр. в конце разд. - 600 экз.. -
ГРНТИ
27.03.19
27.01.09
УДК
510.6^V3
ББК
В12я44 + В1д(2)Драгалин,А.Г.
Рубрики:
Доказательств теория
Нестандартный анализ
Интуиционистская логика--математическая
Драгалин Альберт Григорьевич--математик
Кл.слова (ненормированные):
Математическая логика
Экземпляры всего:
1
02 (1)
Свободны:
02 (1)
Инвентарный номер:
6-7-2005
Найти похожие
8.
З 81
Д789
ДСМ-метод автоматического порождения
гипотез : логич. и эпистемол. основания / [Финн В. К., Кузнецов С. О., Аншаков О. М. и др.] ; сост. О. М. Аншаков, Е. Ф. Фабрикантова ; под общ. ред. О. М. Аншакова ; [предисл. О. М. Аншакова, В. К. Финна]; Рос. гос. гуманитар. ун-т, Всерос. ин-т науч. и техн. информ. РАН. - М. : URSS : Либроком, 2009. - 430 с. : ил. ; 25 см. - Библиогр. в конце гл.
Авт. указаны в огл.
ГРНТИ
28.29
УДК
004.89^V3
ББК
З 813в + Ю252:З 813
Рубрики:
гипотезы--автоматическое образование --философия
Кл.слова (ненормированные):
Интеллектуальные системы
--
Математическая логика
Доп.точки доступа:
Финн, Виктор Константинович; Кузнецов, С.О.; Фабрикантова, Е.Ф. \сост.\; Аншаков, О.М. \ред.\; Российский гуманитарный ун-т
Экземпляры всего:
1
02 (1)
Свободны:
02 (1)
Инвентарный номер:
93-5-2009
Найти похожие
9.
Ю93
К361
Ю93 / К361-02
Керзон, Пол
.
Вычислительное мышление : новый способ решать сложные задачи : [6+] / Пол Керзон, Питер Макоуэн ; [перевод с англ. Т. Мамедова]. - Москва : Альпина Паблишер, 2018. - 264 с. : ил. ; 21 см. - Библиогр.: с. 261-264. -
Пер. изд. :
The power of computational thinking / Paul Curzon, Peter W. McOwan. - 2000 экз.. -
ГРНТИ
15.21
27.01
УДК
510.6^V3
ББК
Ю935.131-8 + Ю945.321-231 + В1я9
Рубрики:
Мышление--Развитие--Психология
Теория решения изобретательских задач--Психология
Математика
Математическая логика
Кл.слова (ненормированные):
Мышление - Логические основы
--
Математическая логика
Доп.точки доступа:
Макоуэн, Питер; Мамедов, Таир \пер.\; Curzon, Paul; McOwan, Peter W.
Экземпляры всего:
1
02 (1)
Свободны:
02 (1)
Инвентарный номер:
14-1-2018НО
Найти похожие
10.
В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
Найти похожие
полный формат
краткий формат
все найденные
отмеченные
кроме отмеченных
1-10
11-14
Стандартный
Расширенный
Профессиональный
По словарю
ГРНТИ-навигатор
© 1997-2017 Отделение ГПНТБ СО РАН