Books in Theory and mathematics general

Matrix Perturbation Theory

1st Edition
June 28, 1990
G. W. Stewart + 1 more
English
Hardback
9 7 8 0 1 2 6 7 0 2 3 0 9

This book is a comprehensive survey of matrix perturbation theory, a topic of interest to numerical analysts, statisticians, physical scientists, and engineers. In particular, the authors cover perturbation theory of linear systems and least square problems, the eignevalue problem, and the generalized eignevalue problem as wellas a complete treatment of vector and matrix norms, including the theory of unitary invariant norms.

Model Theory

3rd Edition
Volume 73
June 12, 1990
C.C. Chang + 1 more
English
eBook
9 7 8 0 0 8 0 8 8 0 0 7 5

Since the second edition of this book (1977), Model Theory has changed radically, and is now concerned with fields such as classification (or stability) theory, nonstandard analysis, model-theoretic algebra, recursive model theory, abstract model theory, and model theories for a host of nonfirst order logics. Model theoretic methods have also had a major impact on set theory, recursion theory, and proof theory.This new edition has been updated to take account of these changes, while preserving its usefulness as a first textbook in model theory. Whole new sections have been added, as well as new exercises and references. A number of updates, improvements and corrections have been made to the main text.

Nonlinear Boundary Value Problems in Science and Engineering

1st Edition
Volume 183
November 14, 1989
C. Rogers + 1 more
English
eBook
9 7 8 0 0 8 0 9 5 8 7 0 5

Overall, our object has been to provide an applications-oriente... text that is reasonably self-contained. It has been used as the basis for a graduate-level course both at the University of Waterloo and at the Centro Studie Applicazioni in Tecnologie Avante, Bari, Italy. The text is aimed, in the main, at applied mathematicians with a strong interest in physical applications or at engineers working in theoretical mechanics.

Computability, Complexity, Logic

1st Edition
Volume 128
July 1, 1989
E. Börger
English
eBook
9 7 8 0 0 8 0 8 8 7 0 4 3

The theme of this book is formed by a pair of concepts: the concept of formal language as carrier of the precise expression of meaning, facts and problems, and the concept of algorithm or calculus, i.e. a formally operating procedure for the solution of precisely described questions and problems.The book is a unified introduction to the modern theory of these concepts, to the way in which they developed first in mathematical logic and computability theory and later in automata theory, and to the theory of formal languages and complexity theory. Apart from considering the fundamental themes and classical aspects of these areas, the subject matter has been selected to give priority throughout to the new aspects of traditional questions, results and methods which have developed from the needs or knowledge of computer science and particularly of complexity theory.It is both a textbook for introductory courses in the above-mentioned disciplines as well as a monograph in which further results of new research are systematically presented and where an attempt is made to make explicit the connections and analogies between a variety of concepts and constructions.

Linear Dynamical Systems

1st Edition
Volume 135
March 19, 1987
Casti
English
eBook
9 7 8 0 0 8 0 9 5 6 4 4 2

Nonlinear System Theory

1st Edition
Volume 175
February 21, 1985
Casti
English
eBook
9 7 8 0 0 8 0 9 5 8 6 5 1

Topics in the Theory of Computation

1st Edition
Volume 24
January 1, 1985
M. Karpinski + 1 more
English
eBook
9 7 8 0 0 8 0 8 7 2 1 3 1

This volume contains nine selected papers presented at the Borgholm conference. They were chosen on the basis of their immediate relevance to the most fundamental aspects of the theory of computation and the newest developments in this area.These papers, which have been extended and refereed, fall into eight categories: 1. Constructive Mathematics in Models of Computation and Programming; 2. Abstract Calculi and Denotational Semantics; 3. Theory of Machines, Computations and Languages; 4. Nondeterminism, Concurrency and Distributed Computing; 5. Abstract Algebras, Logics and Combinatorics in Computation Theory; 6. General Computability and Decidability; 7. Computational and Arithmetic Complexity; 8. Analysis of Algorithms and Feasible Computing.

Decision and Control in Uncertain Resource Systems

1st Edition
Volume 172
December 14, 1984
Mangel
English
eBook
9 7 8 0 0 8 0 9 5 6 7 7 0

Bilinear Transformation Method

1st Edition
Volume 174
September 6, 1984
Matsuno
English
eBook
9 7 8 0 0 8 0 9 5 8 6 4 4

Computational Methods for Optimizing Distributed Systems

1st Edition
Volume 173
August 21, 1984
Charles Teo
English
eBook
9 7 8 0 0 8 0 9 5 6 7 8 7

Optimal control theory of distributed parameter systems has been a very active field in recent years; however, very few books have been devoted to the studiy of computational algorithms for solving optimal control problems. For this rason the authors decided to write this book. Because the area is so broad, they confined themselves to optimal control problems involving first and second boundary-value problems of a linear second-order parabolic partial differential equation. However the techniques used are by no means restricted to these problems. They can be and in some cases already have been applied to problems involving other types of distributed parameter system. The authors aim is to devise computational algorithms for solving optimal control problems with particular emphasis on the mathematical theory underlying the algorithms. These algorithms are obtained by using a first-order strong variational method or gradient-type methods.

Life Sciences

Physical Sciences & Engineering

Social Sciences & Humanities

Health