Sari: Discrete Mathematics and Theoretical Computer Science
(Ilmumisaeg: 06-Dec-2012, PDF+DRM, Kirjastus: Springer London Ltd, ISBN-13: 9780857293923)
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 decidabilit...Loe edasi...
Sari: Discrete Mathematics and Theoretical Computer Science
(Ilmumisaeg: 06-Dec-2012, PDF+DRM, Kirjastus: Springer London Ltd, ISBN-13: 9781447101611)
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 typewrit...Loe edasi...
Sari: Discrete Mathematics and Theoretical Computer Science
(Ilmumisaeg: 06-Dec-2012, PDF+DRM, Kirjastus: Springer London Ltd, ISBN-13: 9781447100096)
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 t...Loe edasi...
Sari: Discrete Mathematics and Theoretical Computer Science
(Ilmumisaeg: 06-Dec-2012, PDF+DRM, Kirjastus: Springer London Ltd, ISBN-13: 9781447104797)
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 alg...Loe edasi...
Sari: Discrete Mathematics and Theoretical Computer Science
(Ilmumisaeg: 06-Dec-2012, PDF+DRM, Kirjastus: Springer London Ltd, ISBN-13: 9781447106739)
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 stre...Loe edasi...
Sari: Discrete Mathematics and Theoretical Computer Science
(Ilmumisaeg: 06-Dec-2012, PDF+DRM, Kirjastus: Springer London Ltd, ISBN-13: 9781447107514)
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 comp...Loe edasi...
Sari: Discrete Mathematics and Theoretical Computer Science
(Ilmumisaeg: 06-Dec-2012, PDF+DRM, Kirjastus: Springer London Ltd, ISBN-13: 9781447102410)
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 de...Loe edasi...
Sari: Discrete Mathematics and Theoretical Computer Science
(Ilmumisaeg: 06-Dec-2012, PDF+DRM, Kirjastus: Springer London Ltd, ISBN-13: 9781447103073)
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 well use LISP to explore my theory of rand...Loe edasi...
The methods of logic are essential to an understanding of philosophy and are crucial in the study of mathematics, computing, linguistics and many other subjects. Introducing the major concepts and techniques involved in the study of logic, this autho...Loe edasi...
Bringing elementary logic out of the academic darkness into the light of day, Paul Tomassi makes logic fully accessible for anyone attempting to come to grips with the complexities of this challenging subject. Including student-friendly exercises, il...Loe edasi...
