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

Базы данных

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

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

Вид поиска
Область поиска
в найденном
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=Математическая логика<.>)
Общее количество найденных документов : 14
Показаны документы с 1 по 10
 1-10    11-14 
1.
   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
Найти похожие
2.
   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
Найти похожие
3.
   В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но
Найти похожие
4.
   И-В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
Найти похожие
5.
   З 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но
Найти похожие
6.
   В12
   К887
В12 / К887-02

    Кудж, Станислав Алексеевич.
    Логика и алгоритмы / С. А. Кудж, В. Я. Цветков. - Москва : МАКС Пресс, 2019. - 110 с. ; 22 см. - Библиогр.: с. 98-109 (140 назв.). - 500 (1-й з-д-50) экз.. -
ГРНТИ
27.03
УДК
004.421^V3
ББК В12
Рубрики: Математическая логика
Кл.слова (ненормированные):
Математическая логика -- Алгоритмы


Доп.точки доступа:
Цветков, Виктор Яковлевич
Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 25-4-2019но
Найти похожие
7.
   Ю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НО
Найти похожие
8.
   В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
Найти похожие
9.
   В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
Найти похожие
10.
   В12
   К608

    Колмогоров, Андрей Николаевич.
    Математическая логика [Текст] : [Учеб. пособие для мат. специальностей] / А. Н. Колмогоров, А. Г. Драгалин ; МГУ им. М. В. Ломоносова. - М. : Едиториал УРСС, 2004. - 238 с. ; 22 см. - (Классический университетский учебник). - Указ. имен. и предм.: с. 229-236. - Библиогр.: с. 115, 228. - Содерж.: Введение в математическую логику; Математическая логика. Дополнительные главы. - 1500 экз.. -
ГРНТИ
27.03.19
УДК
510.6(075.8)^V3
ББК В12я73
Рубрики: Математическая логика
Кл.слова (ненормированные):
Математическая логика


Доп.точки доступа:
Драгалин, Альберт Григорьевич
Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 24-21-2004
Найти похожие
 1-10    11-14 
 
Стандартный
Расширенный
Профессиональный
По словарю
ГРНТИ-навигатор
© 1997-2017 Отделение ГПНТБ СО РАН