Название:
Математическая логика и теория алгоритмов
Аннотация:
Изложены классические исчисления математической логики: исчисление высказываний и исчисление предикатов, а также основные понятия теории алгоритмов; особое внимание уделяется вопросам теории и приложений булевых функций. Приведены многочисленные примеры.
