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

Базы данных

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

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

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

   
    Символическая логика : [учеб. для студентов и аспирантов филос. фак. ун-тов / И. Н. Бродский, С. С. Гусев, Э. Ф. Караваев и др.] ; под ред. Я. А. Слинина [и др.]; С.-Петерб. гос. ун-т. - СПб. : Изд-во С.-Петерб. ун-та, 2005. - 504, [1] с. ; 25 см. - Библиогр. в конце гл.
Авт. указаны на обороте тит. л.
ГРНТИ
02.21.41
УДК
164(075.8)^V3
ББК Ю4в016я73 + В12я73
Рубрики: Симолическая логика
   Математическая логика
Кл.слова (ненормированные):
Математическая логика


Доп.точки доступа:
Бродский, Иосиф Нусимович; Гусев, С.С.; Караваев, Э.Ф.; Слинин, Ярослав Анатольевич \ред.\
Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 75-4-2006
Найти похожие
5.
   З 81
   Д789

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


Доп.точки доступа:
Финн, Виктор Константинович; Кузнецов, С.О.; Фабрикантова, Е.Ф. \сост.\; Аншаков, О.М. \ред.\; Российский гуманитарный ун-т
Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 93-5-2009
Найти похожие
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.
   Ю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но
Найти похожие
8.
   В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но
Найти похожие
9.
   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
Найти похожие
10.
   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
Найти похожие
 1-10    11-14 
 
Стандартный
Расширенный
Профессиональный
По словарю
ГРНТИ-навигатор
© 1997-2017 Отделение ГПНТБ СО РАН