Learn IT - Books tags turing

Early Computing in Britain: Ferranti Ltd. and Government Funding, 1948 ? 1958 (History of Computing)

Springer, 2019

This unique book presents the story of the pioneering manufacturing company Ferranti Ltd. – producer of the first commercially-available computers – and of the nine end-user organisations who purchased these machines with government help in the period 1951 to 1957. The text presents personal reminiscences from many of the...

Parsing the Turing Test: Philosophical and Methodological Issues in the Quest for the Thinking Computer

Springer, 2008

Parsing the Turing Test is a landmark exploration of both the philosophical and methodological issues surrounding the search for true artificial intelligence. Will computers and robots ever think and communicate the way humans do? When a computer crosses the threshold into self-consciousness, will it immediately jump into the Internet and create a...

Machine Intelligence 13: Machine Intelligence and Inductive Learning (Machine Intelligence)

Oxford University Press, 1994

Machine Intelligence 13 ushers in an exciting new phase of artificial intelligence research, one in which machine learning has emerged as a hot-bed of new theory, as a practical tool in engineering disciplines, and as a source of material for cognitive models of the human brain. Based on the Machine Intelligence Workshop of 1992, held at...

A Brief History of Computing

Springer, 2008

The history of computing has its origins at the outset of civilization. As towns and communities evolved there was a need for increasingly sophisticated calculations. This book traces the evolution of computation, from early civilisations 3000 B.C. to the latest key developments in modern times.

This useful and lively text provides a...

Mind Design II: Philosophy, Psychology, and Artificial Intelligence

MIT Press, 1997

"Ming Design II is a welcome update of its predecessor, itself a useful compendium on the philosophy of cognitive science. This new volume retains the intellectual foundations, and some discussions of classical AI built on them, while adding connectionism, situated AI, and dynamic systems theory as extra storeys. Which of these is...

Turing (A Novel about Computation)

MIT Press, 2003

Our hero is Turing, an interactive tutoring program and namesake (or virtual emanation?) of Alan Turing, World War II code breaker and father of computer science. In this unusual novel, Turing's idiosyncratic version of intellectual history from a computational point of view unfolds in tandem with the story of a love affair involving Ethel, a...

Unconventional Computation: 10th International Conference, UC 2011, Turku, Finland, June 6-10

Springer, 2011

The 10th International Conference on Unconventional Computation, UC 2011, was organized under the auspices of EATCS and Academia Europaea, by the Department of Mathematics of the University of Turku (Turku, Finland), and the Center for Discrete Mathematics and Theoretical Computer Science (Auckland, New Zealand). The event was held in...

25 Years of Model Checking: History, Achievements, Perspectives (Lecture Notes in Computer Science)

Springer, 2008

Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model checking community has achieved many breakthroughs, bridging the gap between theoretical computer science and hardware and software engineering, and it is reaching out to new challenging areas such as system biology and...

Computer Science: The Hardware, Software and Heart of It

Springer, 2011

Computer Science: The Hardware, Software and Heart of It focuses on the deeper aspects of the two recognized subdivisions of Computer Science, Software and Hardware. These subdivisions are shown to be closely interrelated as a result of the stored-program concept. Computer Science: The Hardware, Software and Heart of It includes certain...

Alan Turing: His Work and Impact

Elsevier Limited, 2013

In this 2013 winner of the prestigious R.R. Hawkins Award from the Association of American Publishers, as well as the 2013 PROSE Awards for Mathematics and Best in Physical Sciences & Mathematics, also from the AAP, readers will find many of the most significant contributions from the four-volume set of the Collected Works of A. M....

Black-Box Models of Computation in Cryptology

Vieweg and Teubner, 2012

Generic group algorithms solve computational problems defined over algebraic groups without exploiting properties of a particular representation of group elements. This is modeled by treating the group as a black-box. The fact that a computational problem cannot be solved by a reasonably restricted class of algorithms may be seen as support...

An Introduction to Formal Languages and Machine Computation

World Scientific Publishing, 1996

This book provides an elementary introduction to formal languages and machine computation. The materials covered include computation-oriented mathematics, finite automata and regular languages, push-down automata and context-free languages, Turing machines and recursively enumerable languages, and computability and complexity. As integers are...

Result Page: 6 5 4 3 2 1