Гриф: УМО вузов РФ по образованию в области информационной безопасности

Отраслевые рубрики: математика, математическая логика, теория алгоритмов

Ключевые слова: алгебра высказываний, алгебра предикатов, алгоритмически неразрешимые проблемы, алгоритмы, булевы функции, группы преобразований, дизъюнктивные нормальные формы, дискретные функции, исчисление высказываний, исчисление предикатов, конъюнктивные нормальные формы, машина Тьюринга, множества, нормальные формы, предикаты, рекурсивные функции, сложность алгоритмов, сложность вычислений, функциональные пространства, Фурье преобразование

Сигла хранения	Всего экз.	В наличии	Заказано
абонемент	4	4	0