Тюменская областная научная библиотека

Базы данных

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

Вид поиска

Электронный каталог книг

Патентная и нормативно-техническая документация

Краеведение

Журналы. Газеты. Статьи

КОЛЛЕКЦИИ

Область поиска

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>A=Гуров, Сергей Исаевич$<.>)

Общее количество найденных документов : 2
Показаны документы с 1 по 2

   22
   Г 95

    Гуров, Сергей Исаевич.
    Булевы алгебры, упорядоченные множества, решетки : определения, свойства, примеры : [монография] / С. И. Гуров. - 2-е изд. - Москва : URSS : ЛИБРОКОМ, 2013. - 348, [1] с. : ил. - (Основы защиты информации) (Секретно для пользы). - Библиогр.: с. 343-[348]. - ISBN 978-5-396-00456-6 (в пер.) : 679.00 р.

ГРНТИ

27.39.25

ББК 22.144.4

Рубрики:
Алгебра -- Булевы алгебры -- Упорядоченные множества -- Решетки -- Монографии

Кл.слова (ненормированные): алгебраические системы

Держатели документа:
Тюменская ОНБ
Экземпляры всего: 1
КХ (С 5) (1)
Свободны: КХ (С 5) (1)
Найти похожие

   22
   Г 95

    Гуров, Сергей Исаевич.
    Логика высказываний : учебное пособие / С. И. Гуров ; Московский государственный университет имени М. В. Ломоносова, Факультет вычислительной математики и кибернетики. - Москва : МГУ им. М. В. Ломоносова, 2015. - 268, [4] с. ; 21 см. - (Бакалавриат. Учебные пособия). - Перс. и авт. указ.: с. 238-265. - Библиогр.: с. 266-268 (36 назв.). - 50 экз.. - ISBN 978-5-19-011105-7 : 400.00 р.

ГРНТИ

02.21.31

ББК 22.122я73

Рубрики:
Исчисление высказываний -- Учебные издания для высших учебных заведений

Кл.слова (ненормированные): алгебра логики -- исчисления высказываний -- секвенциальные исчисления -- интуиционистские ИВ и ИС
Аннотация: Предлагаемое учебное пособие предназначено для студентов, начинающих изучать математическую логику, оно также может быть использовано при самообразовании.

Держатели документа:
Тюменская ОНБ : Орджоникидзе, 59

Доп. точки доступа:
МГУ им. М. В. Ломоносова. Факультет вычислительной математики и кибернетики\\

Экземпляры всего: 1
КХ (С 6) (1)
Свободны: КХ (С 6) (1)
Найти похожие

Тематический навигатор

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)