Учебное пособие, М.: 1981. - 117 с.
Множества с отношениями и операциями.
Алгебры высказываний и предикатов.
Исчисление предикатов.
Булевы функции и их обобщения.
Реализация булевых функций.
Элементы теории алгоритмов.
Сложность алгоритмов и вычислений.
Алгебры высказываний и предикатов.
Исчисление предикатов.
Булевы функции и их обобщения.
Реализация булевых функций.
Элементы теории алгоритмов.
Сложность алгоритмов и вычислений.