Books in Mathematical logic and formal languages

91-95 of 95 results in All results

Algorithms and Complexity

• 1st Edition
• Volume A
• September 12, 1990
• Bozzano G Luisa
• English
• Hardback 978-0-444-88071-0

  9 7 8 - 0 - 4 4 4 - 8 8 0 7 1 - 0
• eBook 978-0-08-093391-7

  9 7 8 - 0 - 0 8 - 0 9 3 3 9 1 - 7

This first part presents chapters on models of computation, complexity theory, data structures, and efficient computation in many recognized sub-disciplines of Theoretical Computer Science.

Constructivism in Mathematics, Vol 1

• 1st Edition
• Volume 121
• July 1, 1988
• A.S. Troelstra + 1 more
• English
• Hardback 978-0-444-70266-1

  9 7 8 - 0 - 4 4 4 - 7 0 2 6 6 - 1
• eBook 978-0-08-057088-4

  9 7 8 - 0 - 0 8 - 0 5 7 0 8 8 - 4

These two volumes cover the principal approaches to constructivism in mathematics. They present a thorough, up-to-date introduction to the metamathematics of constructive mathematics, paying special attention to Intuitionism, Markov's constructivism and Martin-Lof's type theory with its operational semantics. A detailed exposition of the basic features of constructive mathematics, with illustrations from analysis, algebra and topology, is provided, with due attention to the metamathematical aspects. Volume 1 is a self-contained introduction to the practice and foundations of constructivism, and does not require specialized knowledge beyond basic mathematical logic. Volume 2 contains mainly advanced topics of a proof-theoretical and semantical nature.

Nonlinear Methods in Numerical Analysis

• 1st Edition
• Volume 1
• March 1, 1987
• A. Cuyt + 1 more
• English
• eBook 978-0-08-087247-6

  9 7 8 - 0 - 0 8 - 0 8 7 2 4 7 - 6

While most textbooks on Numerical Analysis discuss linear techniques for the solution of various numerical problems, this book introduces and illustrates nonlinear methods. It presents several nonlinear techniques resulting mainly from the use of Padé approximants and rational interpolants.

Numerical Approximation of Partial Differential Equations

• 1st Edition
• Volume 133
• February 1, 1987
• E.L. Ortiz
• English
• eBook 978-0-08-087244-5

  9 7 8 - 0 - 0 8 - 0 8 7 2 4 4 - 5

This selection of papers is concerned with problems arising in the numerical solution of differential equations, with an emphasis on partial differential equations. There is a balance between theoretical studies of approximation processes, the analysis of specific numerical techniques and the discussion of their application to concrete problems relevant to engineering and science. Special consideration has been given to innovative numerical techniques and to the treatment of three-dimensional and singular problems. These topics are discussed in several of the invited papers.The contributed papers are divided into five parts: techniques of approximation theory which are basic to the numerical treatment of differential equations; numerical techniques based on discrete processes; innovative methods based on polynomial and rational approximation; variational inequalities, conformal transformation and asymptotic techniques; and applications of differential equations to problems in science and engineering.

Extrapolation Methods

• 1st Edition
• Volume 2
• December 31, 1980
• C. Brezinski + 1 more
• English
• eBook 978-0-08-050622-7

  9 7 8 - 0 - 0 8 - 0 5 0 6 2 2 - 7

This volume is a self-contained, exhaustive exposition of the extrapolation methods theory, and of the various algorithms and procedures for accelerating the convergence of scalar and vector sequences. Many subroutines (written in FORTRAN 77) with instructions for their use are provided on a floppy disk in order to demonstrate to those working with sequences the advantages of the use of extrapolation methods. Many numerical examples showing the effectiveness of the procedures and a consequent chapter on applications are also provided – including some never before published results and applications. Although intended for researchers in the field, and for those using extrapolation methods for solving particular problems, this volume also provides a valuable resource for graduate courses on the subject.