📗 Компьютерная математика [1993] Кук Д., Бейз Г. На основе фундаментальных понятий математики, введенных в начале, математически строго описывается ряд проблем и дается их решение. Изложение, где это возможно, носит строгий математический характер. Доказательства утверждений проводятся на конструктивном уровне. Дается большое количество примеров и упражнений, результаты которых, как правило, используются в дальнейшем. Для студентов, аспирантов и научных работников, занимающихся вопросами компьютерной математики и ее приложениями. (Оригинал книги на английском языке был издан в 1984 году) Содержание книги соответствует лекционному курсу (100ч), прочитанному студентам факультета компьютерных наук Технологического уневерситета в Лафборо. Содержит следующие разделы: множества, отношения, функции, основные понятия арифметики, алгебраические структуры, матрицы, теория графов, языки и грамматики, конечные автоматы, компьютерная геометрия. Изложение, где это возможно, носит строгий математический характер. Доказательства утверждений проводятся на конструктивном уровне. Дается большое количество примеров и упражнений, результаты которых, как правило, используются в дальнейшем. Для студентов, аспирантов и научных работников, занимающихся вопросами компьютерной математики и ее приложениями.