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

Базы данных

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

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

Вид поиска
Область поиска
в найденном
Формат представления найденных документов:
полный информационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=Математическая логика<.>)
Общее количество найденных документов : 14
Показаны документы с 1 по 10
 1-10    11-14 
1.

Вид документа : Однотомное издание
Шифр издания : Pr869/Pr869/385
Заглавие : CSL' 88 : 2nd workshop on computer science logic, Duisburg, FRG, Oct. 3-7, 1988. Proc.
Выходные данные : Berlin: Springer, 1989
Колич.характеристики :VI,399 p.: Ill.
Серия: Lecture notes in computer science; 385
Примечания : Bibliogr. at the end of the art
ISBN, Цена 3-540-51659-X:
ГРНТИ : 50.05.09 + 27.03
ББК : З 973.2-018.12я431 + В12Я431
Предметные рубрики: Языки программирования
Математическая логика
Дескрипторы: сб пр--конф
Ключевые слова (''Своб.индексиров.''): логика программ--языки программирования--математическая логика
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
2.

Вид документа : Однотомное издание
Шифр издания : Pr1019/Pr1019/395
Автор(ы) : Schmidt-Schauss, Manfred
Заглавие : Computational aspects of an order-sorted logic with term declarations : сборник
Выходные данные : Berlin: Springer, 1989
Колич.характеристики :VIII,171 p.
Серия: Lecture notes in artificial intelligence; 395
Примечания : Bibliogr.: p. 156-166. Ind.: p. 167-168
ISBN, Цена 3-540-51705-7:
ГРНТИ : 27.03
ББК : В12с512
Предметные рубрики: Математическая логика-- Применение ЭВМ
Дескрипторы: сб пр
Ключевые слова (''Своб.индексиров.''): математическая логика--упорядоченная логика--термы
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
3.

Вид документа : Однотомное издание
Шифр издания : И-В1/T19
Автор(ы) : Tao, Terence
Заглавие : Compactness and contradiction
Выходные данные : Providence: Amer. math. soc., 2013
Колич.характеристики :XII,256 p.: ill.
Примечания : Bibliogr.: p. 249-253Ind.: p. 255-256
ISBN, Цена 978-0-8218-9492-7: 179 р.
ГРНТИ : 27.01
ББК : В1
Предметные рубрики: Математика
Ключевые слова (''Своб.индексиров.''): математическая логика--теория групп--нестандартный аналз
Экземпляры :02(1)
Свободны : 02(1)
Перейти: Оглавление
Найти похожие
4.

Вид документа : Однотомное издание
Шифр издания : З 81/В124
Автор(ы) : Вагин, Вадим Николаевич
Заглавие : Знания и убеждения в интеллектуальном анализе данных
Выходные данные : Москва: Физматлит, 2019
Колич.характеристики :535 с.: ил.; 23 см.
Примечания : Библиогр. в примеч.: с. 479-530
ISBN, Цена 978-5-9221-1841-5: 293 р.
ГРНТИ : 28.23
УДК : 519.816
ББК : З 813
Предметные рубрики: Искусственный интеллект
Ключевые слова (''Своб.индексиров.''): математическая логика--интеллектуальные системы
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
5.

Вид документа : Однотомное издание
Шифр издания : В12/В317
Автор(ы) : Верещагин, Николай Константинович, Шень, Александр
Заглавие : Языки и исчисления . -Изд. 4-е, испр.
Выходные данные : Москва: Изд-во МЦНМО, 2012
Колич.характеристики :240 с.: ил.; 21 см.
Серия: Лекции по математической логике и теории алгоритмов
Примечания : Указ. предм. и имен.: с. 228-240Библиогр.: с. 224-227. - На обл. авт. не указаны
ISBN, Цена 978-5-4439-0013-1: 60 р.
ГРНТИ : 27.03
УДК : 510(075.8)
ББК : В123
Предметные рубрики: исчисление высказываний и предикатов
Ключевые слова (''Своб.индексиров.''): математическая логика--алгоритмы
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
6.

Вид документа : Однотомное издание
Шифр издания : В12/Г474
Автор(ы) : Гильберт, Давид, Аккерман, Вильгельм
Заглавие : Основы теоретической логики : под ред., с предисл. и коммент. С. А. Яновской . -Изд. 2-е, испр.
Выходные данные : Москва: URSS, 2009
Колич.характеристики :302, [2] с. ; 22 см.
Серия: Физико-математическое наследие: ФМН. Математика (основания математики и логика)
Примечания : Библиогр.: с. 297-298
ISBN, Цена 978-5-484-01144-5: 90 р.
ГРНТИ : 27.03
УДК : 51
ББК : В12
Предметные рубрики: математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
7.

Вид документа : Однотомное издание
Шифр издания : В12/Д721
Автор(ы) : Драгалин, Альберт Григорьевич
Заглавие : Конструктивная теория доказательств и нестандартный анализ : монография
Выходные данные : М.: Едиториал УРСС, 2003
Колич.характеристики :543 с
Примечания : Текст рус., англ. - Имен. указ.: с. 530-543Библиогр. в конце разд
ISBN, Цена 5-354-00387-3: 189 р.
ГРНТИ : 27.03.19 + 27.01.09
УДК : 510.6
ББК : В12я44 + В1д(2)Драгалин,А.Г.
Предметные рубрики: Доказательств теория
Нестандартный анализ
Интуиционистская логика-- математическая
Драгалин Альберт Григорьевич-- математик
Ключевые слова (''Своб.индексиров.''): математическая логика
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
8.

Вид документа : Однотомное издание
Шифр издания : З 81/Д789
Автор(ы) : Финн, Виктор Константинович, Кузнецов С.О.
Заглавие : ДСМ-метод автоматического порождения гипотез : логич. и эпистемол. основания
Выходные данные : М.: URSS: Либроком, 2009
Колич.характеристики :430 с.: ил.; 25 см.
Коллективы : Российский гуманитарный ун-т
Примечания : Библиогр. в конце гл. - Авт. указаны в огл.
ISBN, Цена 978-5-397-00636-1 (в пер.): 723.18 р.
ГРНТИ : 28.29
УДК : 004.89
ББК : З 813в + Ю252:З 813
Предметные рубрики: гипотезы-- автоматическое образование -- философия
Ключевые слова (''Своб.индексиров.''): интеллектуальные системы--математическая логика
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
9.

Вид документа : Однотомное издание
Шифр издания : Ю93/К361
Автор(ы) : Керзон, Пол, Макоуэн, Питер
Заглавие : Вычислительное мышление : новый способ решать сложные задачи : [6+]
Выходные данные : Москва: Альпина Паблишер, 2018
Колич.характеристики :264 с.: ил.; 21 см.
Перевод издания: Curzon, Paul The power of computational thinking/ Paul Curzon, Peter W. McOwan
Примечания : Библиогр.: с. 261-264
ISBN, Цена 978-5-9614-6549-5: 180 р.
ГРНТИ : 15.21 + 27.01
УДК : 510.6
ББК : Ю935.131-8 + Ю945.321-231 + В1я9
Предметные рубрики: Мышление-- Развитие-- Психология
Теория решения изобретательских задач-- Психология
Математика
Математическая логика
Ключевые слова (''Своб.индексиров.''): мышление - логические основы--математическая логика
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
10.

Вид документа : Однотомное издание
Шифр издания : В12/К493
Автор(ы) : Клини, Стивен Коул
Заглавие : Математическая логика : монография . -2-е изд., стер.
Выходные данные : М.: Едиториал УРСС, печ. 2004
Колич.характеристики :480 с. ; 22 см.
Примечания : Указ. авт. и предм.: с. 470-478. - Библиогр.: с. 451-465
ISBN, Цена 5-354-01011-X: 303.75 р.
ГРНТИ : 27.03.19
УДК : 510.6
ББК : В12
Предметные рубрики: Математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
 1-10    11-14 
 
Стандартный
Расширенный
Профессиональный
По словарю
ГРНТИ-навигатор
© 1997-2017 Отделение ГПНТБ СО РАН