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...

Logic of Analog and Digital Machines

Nova Press, 2010

Computer Science is a very young discipline compared to most others. Alan Turing published the seminal paper of the field in 1936. Around the same time, the militaries in Germany, UK, and US commissioned the first digital electronic computer projects. One of these, the Colossus at Bletchley Park in the UK, was used to break the...

$Good Math: A Geek's Guide to the Beauty of Numbers, Logic, and Computation (Pragmatic Programmers)$

Good Math: A Geek's Guide to the Beauty of Numbers, Logic, and Computation (Pragmatic Programmers)

Pragmatic Bookshelf, 2013

Mathematics is beautiful--and it can be fun and exciting as well as practical. Good Math is your guide to some of the most intriguing topics from two thousand years of mathematics: from Egyptian fractions to Turing machines; from the real meaning of numbers to proof trees, group symmetry, and mechanical computation. If you've ever...

Think Complexity: Complexity Science and Computational Modeling

O'Reilly, 2012

This book is inspired by boredom and fascination: boredom with the usual presentation of data structures and algorithms, and fascination with complex systems. The problem with data structures is that they are often taught without a motivating context; the problem with complexity science is that it is usually not taught at...

An Introduction to Genetic Algorithms (Complex Adaptive Systems)

MIT Press, 1998

Science arises from the very human desire to understand and control the world. Over the course of history, we
humans have gradually built up a grand edifice of knowledge that enables us to predict, to varying extents, the
weather, the motions of the planets, solar and lunar eclipses, the courses of diseases, the rise and fall...

Super-Recursive Algorithms (Monographs in Computer Science)

Springer, 2004

This book introduces the new realm of superrecursive algorithms and the development of mathematical models for them. Although many still believe that only recursive algorithms exist and that only some of them are realizable, there are many situations in which people actually work with superrecursive algorithms....

An Introduction to 3D Computer Vision Techniques and Algorithms

John Wiley & Sons, 2009

Computer vision encompasses the construction of integrated vision systems and the application of vision to problems of real-world importance. The process of creating 3D models is still rather difficult, requiring mechanical measurement of the camera positions or manual alignment of partial 3D views of a scene. However using algorithms, it is...

Computability and Complexity Theory (Texts in Computer Science)

Springer, 2011

This revised and extensively expanded edition of Computability and Complexity Theory comprises essential materials that are core knowledge in the theory of computation. The book is self-contained, with a preliminary chapter describing key mathematical concepts and notations. Subsequent chapters move from the qualitative aspects of...

Pattern Calculus: Computing with Functions and Structures

Springer, 2009

The pattern calculus is a new foundation for computation, in which the expressive power of functions and of data structures are combined within pattern-matching functions. The best existing foundations focus on either functions, as in the lambda-calculus, or on data structures, as in Turing machines, or on compromises involving both, as in...

Computer Science -- Theory and Applications: 7th International Computer Science Symposium in Russia, CSR 2012

Springer, 2012

This book constitutes the proceedings of the 7th International Computer Science Symposium in Russia, CSR 2012, held in Nizhny Novgorod in July 2012. The 28 full papers presented in this volume were carefully reviewed and selected from 66 submissions. CSR 2012 was one of the events of the Alan Turing Year 2012, the topics dealt with cover...

From Object-Orientation to Formal Methods: Essays in Memory of Ole-Johan Dahl (Lecture Notes in Computer Science)

Springer, 2004

This book is dedicated to the memory of Ole-Johan Dahl who passed away in June 2002 at the age of 70, shortly after he had received, together with his colleague Kristen Nygaard, the ACM Alan M. Turing Award:

"For ideas fundamental to the emergence of object-oriented programming, through their design of the programming languages Simula I...

New Computational Paradigms: Changing Conceptions of What is Computable

Springer, 2007

In recent years, classical computability has expanded beyond its original scope to address issues related to computability and complexity in algebra, analysis, and physics. The deep interconnection between "computation" and "proof" has originated much of the most significant work in constructive mathematics and mathematical...

Result Page: 6 5 4 3 2 1