Г 65 Гончаров, Сергей Савостьянович. Счетные булевы алгебры и разрешимость [Текст] / С. С. Гончаров ; [отв. ред. Ю. Л. Ершов]. - Новосибирск : Науч. кн., 1996. - 361 с. - (Сибирская школа алгебры и логики). - ISBN 5-88119-004-1 : 60.00 р. Рубрики: Алгебра Кл.слова (ненормированные): логика алгебраическая -- булевы функции -- булевы топологии Доп.точки доступа: Ершов, Ю.Л. \отв. ред.\ Экземпляры всего: 1 Ч.з.1 (1) Свободны: Ч.з.1 (1) |
М 30 Марченков, Сергей Серафимович. Замкнутые классы булевых функций [Текст] / С. С. Марченков. - М. : Физматлит, 2000. - 126, [2] с. - ISBN 5-9221-0066-1 : 53.00 р. Рубрики: Математика Кл.слова (ненормированные): алгебраическая математика -- дискретная математика -- булевы функции Экземпляры всего: 1 Ч.з.1 (1) Свободны: Ч.з.1 (1) |
Ш 18 Шалыто, Анатолий Абрамович. Логическое управление. Методы аппаратной и программной реализации алгоритмов [Текст] / А. А. Шалыто. - СПб. : Наука, 2000. - 779, [5] с. - ISBN 5-02-024884-3 : 253.82 р. Рубрики: Алгоритмы Кл.слова (ненормированные): логическое управление -- программирование -- булевы функции -- модули -- матрицы -- управляющие системы -- алгебраическая логика Экземпляры всего: 1 Ч.з.1 (1) Свободны: Ч.з.1 (1) |
Р 33 Редькин, Н. П. Дискретная математика: Курс лекций для студентов-механиков [Text] : учеб. пособие для студ. вузов / Н.П. Редькин. - СПб. [и др.] : Лань, 2003. - 95, [1] с. - (Учебники для вузов. Специальная литература). - ISBN 5-8114-0522-7 : 34.30 р. Рубрики: Математика Кл.слова (ненормированные): дискретная математика -- комбинаторные числа -- графы -- сети -- булевы функции -- кодирование -- дискретные экстремальные задачи -- учебное пособие для вузов Экземпляры всего: 10 Аб.2 (10) Свободны: Аб.2 (10) |
И 26 Игошин, В. И. Математическая логика и теория алгоритмов [Text] : учеб. пособие для студ. вузов / В.И. Игошин. - М. : Академия, 2004. - 446, [1] с. - (Высшее профессиональное образование). - ISBN 5-7695-1363-2 : 206.60 р. Рубрики: Высшая математика Кл.слова (ненормированные): математическая логика -- алгоритмы -- теория алгоритмов -- алгебра -- булевы функции -- формализованные исчесления -- предикаты -- логика предикатов -- аксиоматический метод -- информатика -- компьютеры -- искусственный интеллект -- учебное пособие для вузов Экземпляры всего: 84 Ч.з.1 (5), Аб.2 (59), Аб.3 (20) Свободны: Ч.з.1 (5), Аб.2 (59), Аб.3 (20) |
Е 79 Ерусалимский, Я. М. Дискретная математика. Теория, задачи, приложения [Text] : учеб. пособие для студ. вузов / Я. М. Ерусалимский . - 7-е изд. - М. : Вузовская кн., 2005. - 265 с. : ил. - ISBN 5-9502-0123-Х : 240.70 р. Рубрики: Высшая математика Кл.слова (ненормированные): дискретная математика -- множества -- комбинаторика -- булевы функции -- алгоритмы -- графы -- задачи -- учебное пособие Экземпляры всего: 6 Ч.з.1 (6) Свободны: Ч.з.1 (6) |