Este libro ofrece una introducción comprensiva a los conceptos de autómatas y teoría de la computabilidad, explorando temas fundamentales en la computación y su relación con la matemática formal.
estadounidense
Dexter C. Kozen es un destacado científico de la computación estadounidense conocido por sus contribuciones a la teoría de la computación y la lógica. Es profesor en la Universidad de Cornell y ha realizado importantes investigaciones en las áreas de lenguajes de programación y algoritmos.
Este libro ofrece una introducción comprensiva a los conceptos de autómatas y teoría de la computabilidad, explorando temas fundamentales en la computación y su relación con la matemática formal.
Aparecen junto a Dexter C. Kozen en búsquedas del archivo