Bøker i Oxford Applied Mathematics and Computing Science Series-serien

Substantially revised, this authoritative study covers the standard finite difference methods of parabolic, hyperbolic, and elliptic equations, and includes the concomitant theoretical work on consistency, stability, and convergence. The new edition includes revised and greatly expanded sections on stability based on the Lax-Richtmeyer definition, the application of Pade approximants to systems of ordinary differential equations for parabolic and hyperbolicequations, and a considerably improved presentation of iterative methods. A fast-paced introduction to numerical methods, this will be a useful volume for students of mathematics and engineering, and for postgraduates and professionals who need a clear, concise grounding in this discipline.

This introduction to the basic combinatorial tools, such as recurrence relations, generating functions, incidence matrices and the inclusion-exclusion principle, has been designed to give readers a flavour of the distinctive characteristics of this branch of mathematics.

Formal specification is the name given to the use of discrete mathematics in computer science for describing the function of both hardware and software systems. This textbook is an introduction to both the theory and practice of formal specification.

This textbook provides a clear and concise introduction to both theory and application of fluid dynamics. It has a wide scope, frequent references to experiments, and numerous exercises (with hints and answers).

Techniques of matrix theory are widely applied throughout engineering and the physical, life and social sciences. Matrix methods are therfore an important component of applied mathematics, and this textbook covers those methods suitable for undergraduates and for more advanced students.

Algebraic coding theory is a new and rapidly developing subject, motivated by immediate practical applications, but also rich in mathematical structure. This book provides an elementary yet rigorous introduction to the theory of error-correcting codes.

This edition is an unabridged reprint of chapters one to 20 of the original hardback edition. It starts with the elementary ideas of parity check codes and goes on to explain the theory of finite fields, BCH and Reed-Solomon codes. The mathematics is developed in parallel with the applications.

This textbook is a straightforward introduction to the theory of optimal control with an emphasis on presenting many different applications. Among the topics covered are: controllability, linear and non-linear time optimal problems and linear state equations with quadratic cost functions.