Главная задача лекций - научить студентов методам мышления, характерным для дискретной математики, ознакомить их с основными понятиями таких разделов как булевы функции, логика предикатов, графы, конечные автоматы и алгоритмы и с методами решения ряда типовых задач. Решение большинства этих задач доведено до уровня алгоритмических процедур. Книга содержит 200 учебных задач и упражнений. (Подробнее)
