Turing's famous 1936 paper introduced a formal definition of a computing machine, a Turing machine. This model led to both the development of actual computers and to computability theory, the study of what machines can and cannot compute. This book presents classical computabili…
Este es un texto clásico para la enseñanza de esta interesante asignatura. El objetivo principal de los autores al elaborar este texto, ha sido lograr una comunicación efectiva con sus lectores más importantes: los estudiantes. La mayor parte de este material se ha actualizado y…
Este es un texto cls̀ico para la enseąnza de esta interesante asignatura. El objetivo principal de los autores al elaborar este texto, ha sido lograr una comunicacin̤ efectiva con sus lectores ms̀ importantes: los estudiantes. La mayor parte de este material se ha actualizado y reo…
Based on the lectures for undergraduates at Moscow State University, this book presents a lively and concise introduction to the central facts and basic notions of the general theory of computation. It begins with the definition of a computable function and an algorithm, and dis…
"Legendary historian and philosopher of science George Dyson vividly re-creates the scenes of focused experimentation, incredible mathematical insight, and pure creative genius that gave us computers, digital television, modern genetics, models of stellar evolution--in other wor…
Al preparar la undécima edición de Cálculo de Thomas, hemos querido mantener el estilo de las versiones anteriores y conservar las fortalezas detectadas en ellas. Nuestra meta ha sido, por lo tanto, identificar las mejores características de las ediciones clásicas de la obra y, …
