Discrete Mathematics and Theoretical Computer Science – serie
Visar alla böcker i serien Discrete Mathematics and Theoretical Computer Science. Handla med fri frakt och snabb leverans.
17 produkter
Logic and Complexity
Av Richard Lassaigne, Michel de Rougemont
Häftad, 2012
1752 kr
Lägg i varukorg
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 plenty of exercises, this book presents classical notions of mathematical logic, such as decidability, completeness and incompleteness, as well as …
Exploring RANDOMNESS
Häftad, 2012
1243 kr
Lägg i varukorg
In The Unknowable I use LISP to compare my work on incompleteness with that of G6del and Turing, and in The Limits of Mathematics I use LISP to discuss my work on incompleteness in more detail. In this book we'll use LISP to explore my theory of randomness, called algorithmic information theory …
LIMITS of MATHEMATICS
A Course on Information Theory and the Limits of Formal Reasoning
Häftad, 2012
989 kr
Lägg i varukorg
As a teenager, Greg created independently of Kolmogorov and Solomonoff, what we call today algorithmic information theory, a sub ject of which he is the main architect. His 1965 paper on gedanken experiments on automata, which he wrote when he was in high school, is still of interest today. He was …
Network Algebra
Häftad, 2000
551 kr
Lägg i varukorg
Network Algebra considers the algebraic study of networks and their behaviour. It contains general results on the algebraic theory of networks, recent results on the algebraic theory of models for parallel programs, as well as results on the algebraic theory of classical control structures. The …
Sequences and their Applications
Proceedings of SETA ’98
Av C. Ding, T. Helleseth m. fl.
Häftad, 1999
1643 kr
Lägg i varukorg
This volume contains the refereed proceedings of the International Conference on Sequences and Their Applications which was held at the River View Ho- tel in Singapore during December 14-17, 1998. The program of this conference was arranged by a committee consisting of Claude Carlet (University of …
Finite Versus Infinite
Contributions to an Eternal Dilemma
Av Cristian S. Calude, Gheorghe Paun
Häftad, 2000
551 kr
Lägg i varukorg
The finite - infinite interplay is central in human thinking, from ancient philosophers and mathematicians (Zeno, Pythagoras), to modern mathe matics (Cantor, Hilbert) and computer science (Turing, Godel). Recent developments in mathematics and computer science suggest a) radically new answers to …
Lattice Functions and Equations
Häftad, 2001
1098 kr
Lägg i varukorg
Lattice (Boolean) functions are algebraic functions defined over an arbitrary lattice (Boolean algebra), while lattice (Boolean) equations are equations expressed in terms of lattice (Boolean) functions.This self-contained monograph surveys recent developments of Boolean functions and equations, as …
Unconventional Models of Computation, UMC’2K
Proceedings of the Second International Conference on Unconventional Models of Computation, (UMC’2K)
Av C. S. Calude, International Conference on Unconvention m. fl.
Häftad, 2000
1128 kr
Lägg i varukorg
The Second International Conference on Unconventional Models of Compu- UMC'2K, organized by the Centre for Discrete Mathematics and The- tation, oretical Computer Science, the International Solvay Institutes for Physics and Chemistry and the Vrije Universiteit Brussel Theoretical Physics Division …
Exploring RANDOMNESS
Inbunden, 2000
1098 kr
Lägg i varukorg
In The Unknowable I use LISP to compare my work on incompleteness with that of G6del and Turing, and in The Limits of Mathematics I use LISP to discuss my work on incompleteness in more detail. In this book we'll use LISP to explore my theory of randomness, called algorithmic information theory …
Turing’s Connectionism
An Investigation of Neural Network Architectures
Häftad, 2001
1467 kr
Lägg i varukorg
Alan Mathison Turing (1912-1954) was the first to carry out substantial re search in the field now known as Artificial Intelligence (AI). He was thinking about machine intelligence at least as early as 1941 and during the war cir culated a typewritten paper on machine intelligence among his …
Combinatorics, Computability and Logic
Proceedings of the Third International Conference on Combinatorics, Computability and Logic, (DMTCS’01)
Av C. S. Calude, M. J. Dinneen m. fl.
Häftad, 2001
1098 kr
Lägg i varukorg
The third Discrete Mathematics and Theoretical Computer Science conference (DMTCS'OI) of the Centre for Discrete Mathematics and Theoretical Computer Science of the University of Auckland has been organised at the Faculty of Math- ematics and Computer Science, "Ovidius" University, Constan~a, …
Sequences and their Applications
Proceedings of SETA ’01
Av T. Helleseth, P.V. Kumar m. fl.
Häftad, 2001
1098 kr
Lägg i varukorg
Pseudorandom sequences have widespread applications, for instance, in spread spectrum, code division multiple access, optical and ultrawide band communication systems, as well as in ranging systems global positioning systems, circuit testing and stream ciphers. Such sequences also have strong ties …
Logic and Complexity
Av Richard Lassaigne, Michel de Rougemont
Inbunden, 2004
1643 kr
Lägg i varukorg
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 plenty of exercises, this book presents classical notions of mathematical logic, such as decidability, completeness and incompleteness, as well as …
LIMITS of MATHEMATICS
A Course on Information Theory and the Limits of Formal Reasoning
Inbunden, 2002
1207 kr
Lägg i varukorg
As a teenager, Greg created independently of Kolmogorov and Solomonoff, what we call today algorithmic information theory, a sub ject of which he is the main architect. His 1965 paper on gedanken experiments on automata, which he wrote when he was in high school, is still of interest today. He was …
Information Algebras
Generic Structures For Inference
Av Juerg Kohlas
Häftad, 2002
1316 kr
Lägg i varukorg
Information usually comes in pieces, from different sources. It refers to different, but related questions. Therefore information needs to be aggregated and focused onto the relevant questions. Considering combination and focusing of information as the relevant operations leads to a generic …
Quantum Logic
Av Karl Svozil
Häftad, 1998
551 kr
Lägg i varukorg
Quantum Logic deals with the foundations of quantum mechanics and, related to it, the behaviour of finite, discrete deterministic systems. The quantum logical approach is particulalry suitable for the investigation and exclusion of certain hidden parameter models of quantum mechanics. Conversely, …
Unknowable
Inbunden, 1999
1861 kr
Lägg i varukorg
This essential companion volume to Chaitin's highly successful "The Limits of Mathematics", also published by Springer, gives a brilliant historical survey of the work of this century on the foundations of mathematics, in which the author was a major participant. The Unknowable is a very readable …
