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

Базы данных


Каталог книг- результаты поиска

Вид поиска
Каталог книг
Озерск и вопросы местного самоуправления
Краеведение
Систематическая картотека статей
Каталог редких книг
Каталог мультимедийных изданий
Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: <.>S=Математическая логика<.>
Общее количество найденных документов : 2
Показаны документы с 1 по 2
1.
   22.12 я73
   Г 52

    Гладкий, А. В.
    Математическая логика [Text] : [учеб. пособие для математических и физико-математических ф-тов, отд-ний информатики, теоретической и прикладной лингвистики, искусственного интеллекта] / А. В. Гладкий. - М. : Издательство РГГУ, 1998. - 479 с. - ISBN 5-7281-0025-2 : 61.54 р.
ББК 22.12 я73
Рубрики: Математическая логика--Учебные издания для высших учебных заведений
   
Кл.слова (ненормированные):
информатика -- лингвистика теоретическая -- лингвистика прикладная -- искусственный интеллект -- интеллект искусственный

Экземпляры всего: 3
ЧЗ (1), Ю (1), АБ (1)
Свободны: ЧЗ (1), Ю (1), АБ (1)
Найти похожие
2.
   22.12
   Г 91

    Грэй, Питер.
    Логика, алгебра и базы данных [Текст] / П. Грэй; пер. с англ. Х. И. Килова, Г. Е. Минца; под ред. Г. В. Орловского, А. О. Слисенко. - М. : Машиностроение, 1989. - 359 с. - ISBN 5-217-00178-Х : 1.80 р.
ББК 22.12
Рубрики: Математическая логика
   
Кл.слова (ненормированные):
логика математическая -- логика


Доп.точки доступа:
Килов, Х. И. \пер. с англ.\; Минц, Г. Е. \пер. с англ.\; Орловский, Г. В. \ред.\; Слисенко, А. О. \ред.\
Экземпляры всего: 1
ЧЗ (1)
Свободны: ЧЗ (1)
Найти похожие
 
Стандартный
Расширенный
Профессиональный
По словарю
ГРНТИ-навигатор
УДК-навигатор
Тематический навигатор
Статистика обращений
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)