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

Базы данных

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

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

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

   
    ДСМ-метод автоматического порождения гипотез : логич. и эпистемол. основания / [Финн В. К., Кузнецов С. О., Аншаков О. М. и др.] ; сост. О. М. Аншаков, Е. Ф. Фабрикантова ; под общ. ред. О. М. Аншакова ; [предисл. О. М. Аншакова, В. К. Финна]; Рос. гос. гуманитар. ун-т, Всерос. ин-т науч. и техн. информ. РАН. - М. : URSS : Либроком, 2009. - 430 с. : ил. ; 25 см. - Библиогр. в конце гл.
Авт. указаны в огл.
ГРНТИ
28.29
УДК
004.89^V3
ББК З 813в + Ю252:З 813
Рубрики: гипотезы--автоматическое образование --философия
Кл.слова (ненормированные):
Интеллектуальные системы -- Математическая логика


Доп.точки доступа:
Финн, Виктор Константинович; Кузнецов, С.О.; Фабрикантова, Е.Ф. \сост.\; Аншаков, О.М. \ред.\; Российский гуманитарный ун-т
Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 93-5-2009
Найти похожие
6.
   З 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но
Найти похожие
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.
   В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но
Найти похожие
9.
   Ю4
   Ф86
Ю4 / Ф86-02

    Фреге, Готлоб.
    Логика и логическая семантика / Г. Фреге ; пер. с нем., вступ. ст., введ. и послесл. Б. В. Бирюкова ; под ред. З. А. Кузичевой ; коммент. Б. В. Бирюкова, З. А. Кузичевой ; Рус. ассоц. чтения, Межвуз. центр исслед. информ. культуры РФ. - Изд. 2-е, испр. - Москва : URSS : Либроком, 2012. - 511, [1] с. ; 22 см. - (Классики науки). - Имен. указ.: с. 509-511. -
ГРНТИ
02.21
УДК
510.6^V3
ББК Ю4я44 + Ю4г(4Г)6д.Фреге,Г. + Ю41я44
Рубрики: логика
   Фреге Готлоб--логические взгляды
   семантика логическая
Кл.слова (ненормированные):
Математическая логика -- Логическая семантика


Доп.точки доступа:
Кузичева, З. А. \ред.\; Бирюков, Борис Владимирович \пер.\
Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 58-6-2012но
Найти похожие
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 Отделение ГПНТБ СО РАН