Abstract
This chapter covers the development of computing, from its origins, with the analytical engine, to modern computer science. Babbage and Ada Lovelace’s contributions to the science of computing led, in time, to the idea of universal computers, proposed by Alan Turing. These universal computers, proposed by Turing, are conceptual devices that can compute anything that can possibly be computed. The basic concepts created by Turing and Church were further developed to create the edifice of modern computer science and, in particular, the concepts of algorithms, computability, and complexity, covered in this chapter. The chapter ends describing the Church-Turing thesis, which states that anything that can be computed can be computed by a Turing machine.