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

Базы данных


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

Вид поиска
БД "Книги"
БД "Статьи"
Труды АМГУ
Выпускные квалификационные работы
Антитеррор
Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Поисковый запрос: (<.>K=алгебра предикатов<.>)
Общее количество найденных документов : 1
1.
   22.17
   Г 55

    Глухов, Михаил Михайлович.
    Математическая логика. Дискретные функции. Теория алгоритмов [Текст] : учеб. пособие: рек. УМО / М. М. Глухов, А. Б. Шишков. - СПб. ; М. ; Краснодар : Лань, 2012. - 406 с. - (Учебники для вузов. Спец. лит.). - Библиогр. : с. 398 . - ISBN 978-5-8114-1344-7 (в пер.) : 766.92 р.
Прил. : с. 389
ББК 22.176я73
Рубрики: Математика
   Дискретная математика
Кл.слова (ненормированные):
математическая логика -- множества -- исчисление высказываний -- алгебра высказываний -- алгебра предикатов -- исчисление предикатов -- дискретные функции -- булевы функции -- вероятностная функция -- теория алгоритмов


Доп.точки доступа:
Шишков, Алексей Борисович
Экземпляры всего: 4
ч.з. (2), аб. (2)
Свободны: ч.з. (2), аб. (2)
Найти похожие
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
Статистика
за 01.07.2024
Число запросов 23094
Число посетителей 1
Число заказов 0
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)