Главная
Упрощенный режим
Описание
Шлюз Z39.50
Отделение ГПНТБ СО РАН
Базы данных
Всего записей: 50699
Каталог книг и сборников Отделения ГПНТБ (1991- ) - результаты поиска
Вид поиска
Область поиска
Ключевые слова
Автор
Заглавие
Год издания
Персоналия
Характер документа
Коллектив/Мероприятие
Предметные рубрики
Персоналия
Сигла библиотек
Тип/вид документа
в найденном
Формат представления найденных документов:
полный
информационный
краткий
Отсортировать найденные документы по:
автору
заглавию
году издания
типу документа
Поисковый запрос:
(<.>K=Математическая логика<.>)
Общее количество найденных документов
:
14
Показаны документы
с 1 по 10
1-10
11-14
1.
Вид документа
: Однотомное издание
Шифр издания
: И-В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)
Перейти:
Оглавление
Найти похожие
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.
Вид документа
: Однотомное издание
Шифр издания
: 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)
Найти похожие
4.
Вид документа
: Однотомное издание
Шифр издания
: Ю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)
Найти похожие
5.
Вид документа
: Однотомное издание
Шифр издания
: З 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)
Найти похожие
6.
Вид документа
: Однотомное издание
Шифр издания
: З 81/В124
Автор(ы)
: Вагин, Вадим Николаевич
Заглавие
: Знания и убеждения в интеллектуальном анализе данных
Выходные данные
: Москва: Физматлит, 2019
Колич.характеристики
:535 с.: ил.; 23 см.
Примечания
: Библиогр. в примеч.: с. 479-530
ISBN, Цена
978-5-9221-1841-5: 293 р.
ГРНТИ
: 28.23
УДК
: 519.816
ББК
: З 813
Предметные рубрики:
Искусственный интеллект
Ключевые слова
(''Своб.индексиров.''):
математическая логика
--интеллектуальные системы
Экземпляры
: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.
Вид документа
: Однотомное издание
Шифр издания
: В12/К887
Автор(ы)
: Кудж, Станислав Алексеевич, Цветков, Виктор Яковлевич
Заглавие
: Логика и алгоритмы
Выходные данные
: Москва: МАКС Пресс, 2019
Колич.характеристики
:110 с. ; 22 см.
Примечания
: Библиогр.: с. 98-109 (140 назв.)
ISBN, Цена
978-5-317-06054-1: 120 р.
ГРНТИ
: 27.03
УДК
: 004.421
ББК
: В12
Предметные рубрики:
Математическая логика
Ключевые слова
(''Своб.индексиров.''):
математическая логика
--алгоритмы
Экземпляры
:02(1)
Свободны
: 02(1)
Найти похожие
9.
Вид документа
: Однотомное издание
Шифр издания
: Ю4/Ф86
Автор(ы)
: Фреге, Готлоб
Заглавие
: Логика и логическая семантика . -Изд. 2-е, испр.
Выходные данные
: Москва: URSS: Либроком, 2012
Колич.характеристики
:511, [1] с. ; 22 см.
Серия:
Классики науки
Примечания
: Имен. указ.: с. 509-511
ISBN, Цена
978-5-397-02982-7: 210 р.
ГРНТИ
: 02.21
УДК
: 510.6
ББК
: Ю4я44 + Ю4г(4Г)6д.Фреге,Г. + Ю41я44
Предметные рубрики:
логика
Фреге Готлоб-- логические взгляды
семантика логическая
Ключевые слова
(''Своб.индексиров.''):
математическая логика
--логическая семантика
Экземпляры
: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 Отделение ГПНТБ СО РАН