Books in Mathematical logic and formal languages

Self-Modifying Systems in Biology and Cognitive Science

1st Edition
Volume 6
March 20, 1991
G. Kampis
English
eBook
9 7 8 0 0 8 0 9 1 2 3 9 4

The theme of this book is the self-generation of information by the self-modification of systems. The author explains why biological and cognitive processes exhibit identity changes in the mathematical and logical sense. This concept is the basis of a new organizational principle which utilizes shifts of the internal semantic relations in systems. There are mathematical discussions of various classes of systems (Turing machines, input-output systems, synergetic systems, non-linear dynamics etc), which are contrasted with the author's new principle. The most important implications of this include a new conception on the nature of information and which also provides a new and coherent conceptual view of a wide class of natural systems. This book merits the attention of all philosophers and scientists concerned with the way we create reality in our mathematical representations of the world and the connection those representations have with the way things really are.

Algorithms and Complexity

1st Edition
Volume A
September 12, 1990
Bozzano G Luisa
English
Hardback
9 7 8 0 4 4 4 8 8 0 7 1 0
eBook
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
9 7 8 0 4 4 4 7 0 2 6 6 1
eBook
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
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
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.

Life Sciences

Physical Sciences & Engineering

Social Sciences & Humanities

Health