Logic and Complexity

Richard Lassaigne, Michel De Rougemont

• Hardcover | Engels | Discrete Mathematics and Theoretical Computer Science
• Logic and Complexity looks at basic logic as it is used in Computer Science, and provides students with a logical approach to Complexity theory. With ... Lees meer

The Limits of Mathematics

Gregory J Chaitin

• Hardcover | Engels | Discrete Mathematics and Theoretical Computer Science
• As a teenager, Greg created independently of Kolmogorov and Solomonoff, what we call today algorithmic information theory, a sub- ject of which he is ... Lees meer

Unconventional Models of Computation, Umc'2k

• Paperback | Engels | Discrete Mathematics and Theoretical Computer Science
• The Second International Conference on Unconventional Models of Compu- UMC'2K, organized by the Centre for Discrete Mathematics and The- tation, oreti... Lees meer

Exploring Randomness

Gregory J Chaitin

• Paperback | Engels | Discrete Mathematics and Theoretical Computer Science
• This essential companion to Chaitin's successful books The Unknowable and The Limits of Mathematics, presents the technical core of his theory of prog... Lees meer

Quantum Logic

Karl Svozil

• Paperback | Engels | Discrete Mathematics and Theoretical Computer Science
• Quantum Logic deals with the foundations of quantum mechanics and, related to it, the behaviour of finite, discrete deterministic systems. The quantum... Lees meer

Lattice Functions and Equations

Sergiu Rudeanu

• Paperback | Engels | Discrete Mathematics and Theoretical Computer Science
• One of the chief aims of this self-contained monograph is to survey recent developments of Boolean functions and equations, as well as lattice functio... Lees meer

Sequences and Their Applications

• Paperback | Engels | Discrete Mathematics and Theoretical Computer Science
• This volume contains the refereed proceedings of the International Conference on Sequences and Their Applications which was held at the River View Ho-... Lees meer

Exploring Randomness

Gregory J Chaitin

• Hardcover | Engels | Discrete Mathematics and Theoretical Computer Science
• This essential companion to Chaitin's successful books The Unknowable and The Limits of Mathematics, presents the technical core of his theory of prog... Lees meer

Sequences and Their Applications

• Paperback | Engels | Discrete Mathematics and Theoretical Computer Science
• Pseudorandom sequences have widespread applications, for instance, in spread spectrum, code division multiple access, optical and ultrawide band commu... Lees meer

Network Algebra

Gheorghe Stefanescu

• Paperback | Engels | Discrete Mathematics and Theoretical Computer Science
• Network Algebra considers the algebraic study of networks and their behaviour. It contains general results on the algebraic theory of networks, recent... Lees meer

The Unknowable

Gregory J Chaitin

• Hardcover | Engels | Discrete Mathematics and Theoretical Computer Science
• This essential companion volume to Chaitin's highly successful "The Limits of Mathematics", also published by Springer, gives a brilliant historical s... Lees meer

Combinatorics, Computability and Logic

• Paperback | Engels | Discrete Mathematics and Theoretical Computer Science
• The third Discrete Mathematics and Theoretical Computer Science conference (DMTCS'OI) of the Centre for Discrete Mathematics and Theoretical Computer ... Lees meer

Finite Versus Infinite

Cristian S Calude, Gheorghe Paun

• Paperback | Engels | Discrete Mathematics and Theoretical Computer Science
• The finite - infinite interplay is central in human thinking, from ancient philosophers and mathematicians (Zeno, Pythagoras), to modern mathe- matics... Lees meer

Logic and Complexity

Richard Lassaigne, Michel De Rougemont

• Paperback | Engels | Discrete Mathematics and Theoretical Computer Science
• Logic and Complexity looks at basic logic as it is used in Computer Science, and provides students with a logical approach to Complexity theory. With ... Lees meer

Information Algebras

Juerg Kohlas

• Paperback | Engels | Discrete Mathematics and Theoretical Computer Science
• Information usually comes in pieces, from different sources. It refers to different, but related questions. Therefore information needs to be aggregat... Lees meer

Turing's Connectionism

Christof Teuscher

• Paperback | Engels | Discrete Mathematics and Theoretical Computer Science
• Christof Teuscher revives, analyzes, and simulates Turing's ideas, applying them to different types of problems, and building and training Turing's ma... Lees meer

The Limits of Mathematics

Gregory J Chaitin

• Paperback | Engels | Discrete Mathematics and Theoretical Computer Science
• As a teenager, Greg created independently of Kolmogorov and Solomonoff, what we call today algorithmic information theory, a sub- ject of which he is ... Lees meer