Библиотека БГПУ

Главная

Упрощенный режим

Описание

Базы данных

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

Вид поиска

Книги

Периодические издания

Выпускные квалификационные работы

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

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

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

Поисковый запрос: <.>K=булевы функции<.>

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

   22.12
   Г 65

    Гончаров, Сергей Савостьянович.
    Счетные булевы алгебры и разрешимость [Текст] / С. С. Гончаров ; [отв. ред. Ю. Л. Ершов]. - Новосибирск : Науч. кн., 1996. - 361 с. - (Сибирская школа алгебры и логики). - ISBN 5-88119-004-1 : 60.00 р.

ББК 22.124
Рубрики: Алгебра
Кл.слова (ненормированные):
логика алгебраическая -- булевы функции -- булевы топологии

Доп.точки доступа:
Ершов, Ю.Л. \отв. ред.\
Экземпляры всего: 1
Ч.з.1 (1)
Свободны: Ч.з.1 (1)
Найти похожие

   22.12
   М 30

    Марченков, Сергей Серафимович.
    Замкнутые классы булевых функций [Текст] / С. С. Марченков. - М. : Физматлит, 2000. - 126, [2] с. - ISBN 5-9221-0066-1 : 53.00 р.

ББК 22.124
Рубрики: Математика
Кл.слова (ненормированные):
алгебраическая математика -- дискретная математика -- булевы функции

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

   22.12
   Ш 18

    Шалыто, Анатолий Абрамович.
    Логическое управление. Методы аппаратной и программной реализации алгоритмов [Текст] / А. А. Шалыто. - СПб. : Наука, 2000. - 779, [5] с. - ISBN 5-02-024884-3 : 253.82 р.

ББК 22.124 + 22.181
Рубрики: Алгоритмы
Кл.слова (ненормированные):
логическое управление -- программирование -- булевы функции -- модули -- матрицы -- управляющие системы -- алгебраическая логика

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

   22.17
   Р 33

    Редькин, Н. П.
    Дискретная математика: Курс лекций для студентов-механиков [Text] : учеб. пособие для студ. вузов / Н.П. Редькин. - СПб. [и др.] : Лань, 2003. - 95, [1] с. - (Учебники для вузов. Специальная литература). - ISBN 5-8114-0522-7 : 34.30 р.

ББК 22.174я73
Рубрики: Математика
Кл.слова (ненормированные):
дискретная математика -- комбинаторные числа -- графы -- сети -- булевы функции -- кодирование -- дискретные экстремальные задачи -- учебное пособие для вузов

Экземпляры всего: 10
Аб.2 (10)
Свободны: Аб.2 (10)
Найти похожие

   22.12
   И 26

    Игошин, В. И.
    Математическая логика и теория алгоритмов [Text] : учеб. пособие для студ. вузов / В.И. Игошин. - М. : Академия, 2004. - 446, [1] с. - (Высшее профессиональное образование). - ISBN 5-7695-1363-2 : 206.60 р.

ББК 22.12я73
Рубрики: Высшая математика
Кл.слова (ненормированные):
математическая логика -- алгоритмы -- теория алгоритмов -- алгебра -- булевы функции -- формализованные исчесления -- предикаты -- логика предикатов -- аксиоматический метод -- информатика -- компьютеры -- искусственный интеллект -- учебное пособие для вузов

Экземпляры всего: 84
Ч.з.1 (5), Аб.2 (59), Аб.3 (20)
Свободны: Ч.з.1 (5), Аб.2 (59), Аб.3 (20)
Найти похожие

   22.17
   Е 79

    Ерусалимский, Я. М.
    Дискретная математика. Теория, задачи, приложения [Text] : учеб. пособие для студ. вузов / Я. М. Ерусалимский . - 7-е изд. - М. : Вузовская кн., 2005. - 265 с. : ил. - ISBN 5-9502-0123-Х : 240.70 р.

ББК 22.174я73
Рубрики: Высшая математика
Кл.слова (ненормированные):
дискретная математика -- множества -- комбинаторика -- булевы функции -- алгоритмы -- графы -- задачи -- учебное пособие

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

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

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