| Найдено документов - 1 | Выборка документов | Версия для печати |
Сортировать по:
1. Книга
Полочный шифр: 22.12я73 - Г 554
Глухов, М. М.
Математическая логика. Дискретные функции. Теория алгоритмов : учебное пособие для студентов вузов / М. М. Глухов, А. Б. Шишков. — Санкт-Петербург : Лань, 2012. — 416 с. — (Учебники для вузов. Специальная литература). — Лит.: с. 398. — ISBN 978-5-8114-1344-7. — Текст : непосредственный.
Математическая логика. Дискретные функции. Теория алгоритмов : учебное пособие для студентов вузов / М. М. Глухов, А. Б. Шишков. — Санкт-Петербург : Лань, 2012. — 416 с. — (Учебники для вузов. Специальная литература). — Лит.: с. 398. — ISBN 978-5-8114-1344-7. — Текст : непосредственный.
Экземпляры: Всего: 4, из них: аб.-4 в наличии 4
Подробнее
Авторы: Глухов М. М., Шишков А. Б.
Отраслевые рубрики: математика, математическая логика, теория алгоритмов
Ключевые слова: алгебра высказываний, алгебра предикатов, алгоритмически неразрешимые проблемы, алгоритмы, булевы функции, группы преобразований, дизъюнктивные нормальные формы, дискретные функции, исчисление высказываний, исчисление предикатов, конъюнктивные нормальные формы, машина Тьюринга, множества, нормальные формы, предикаты, рекурсивные функции, сложность алгоритмов, сложность вычислений, функциональные пространства, Фурье преобразование
Индексы ББК: 22.12я73
Представления: Формат MARC21