MS

Michael Sipser

estadounidense

Michael Sipser es un destacado científico de la computación y profesor conocido por su trabajo en teoría de la computación y complejidad computacional. Es autor del libro de texto 'Introduction to the Theory of Computation', ampliamente utilizado en universidades.

Obras en el archivo

17 títulos

Introduction to the Theory of Computation

1997

Este libro ofrece una introducción accesible y rigurosa a los conceptos fundamentales de la computación teórica, incluyendo autómatas, gramáticas formales y complejidad computacional.

Teoría de la Computación

1997·no ficcion

Un texto estándar que introduce los conceptos fundamentales de la teoría de la computación, incluyendo autómatas, computabilidad y complejidad. Explora los límites y las capacidades de lo que se puede computar.

Fundamentos de la Teoría de la Computación

1997·no ficcion

Un texto clásico que introduce la teoría de la computación, abarcando modelos computacionales, complejidad y la decidibilidad o indecidibilidad de problemas.

Teoría de Máquinas y Lenguajes Formales

1997

Un texto estándar que introduce la teoría de la computabilidad, la complejidad y los autómatas, examinando cómo las máquinas pueden procesar y reconocer lenguajes formales.

Algorithmics: The Spirit of Computing

2001

Este libro explora los fundamentos de la teoría de algoritmos y la informática, proporcionando una perspectiva clara sobre cómo los algoritmos forman la base de la computación moderna.

Computability and Complexity

2013

Este libro proporciona una introducción a la teoría de la computabilidad y la complejidad, explorando problemas computacionales y clasificaciones de complejidad a través de un enfoque riguroso y accesible.

Autores relacionados

Aparecen junto a Michael Sipser en búsquedas del archivo