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…
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, …
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…