Автор:Кук Д., Бейз Г. Год: 1990 Издание:Главная редакция физико-математической литературы издательства "Наука" Страниц: 384 ISBN: 5020142166 На основе фундаментальных понятий математики, введенных в начале, математически строго описывается ряд проблем и дается их решение. Изложение, где это возможно, носит строгий математический характер. Доказательства утверждений проводятся на конструктивном уровне. Дается большое количество примеров и упражнений, результаты которых, как правило, используются в дальнейшем. Для студентов, аспирантов и научных работников, занимающихся вопросами компьютерной математики и ее приложениями.