Lista de libros de introducción de TCS para aquellos que no saben mucho sobre TCS [cerrado]

Si tiene que recomendar libros para alguien que quiera aprender más sobre TCS a nivel introductorio, como teoría de autómatas, algoritmos, teoría de complejidad, etc., ¿qué libro (s) recomendaría para aquellos que estén interesados ​​y quieran aprender más sobre TCS, pero no tuvo ninguna exposición?

Si desea tener una introducción general sin profundizar en los detalles técnicos, le sugiero Algorithmics: The Spirit of Computing de David Harel . Después de eso, esta es mi lista favorita:

• Introducción de Michael Sipser a la teoría de la computación : la mejor introducción a la teoría, la computabilidad y la complejidad de los autómatas.
• Algoritmos de S. Dasgupta, CH Papadimitriou y UV Vazirani: la introducción más intuitiva a los algoritmos con un enfoque más fuerte en la intuición que las pruebas técnicas.
• Programming Pearls de Jon Bentley : este no es un libro de texto sobre algoritmos, pero demuestra maravillosamente cómo usar técnicas de diseño de algoritmos para resolver problemas reales que irritan a los programadores reales. :-) Esto podría ser un buen comienzo si tienes algunos conocimientos previos sobre programación.

• Introducción a los algoritmos de Cormen, Leiserson, Rivest, Stein es una opción popular, el título habla por sí mismo.
• Compiladores: principios, técnicas y herramientas de Aho, Ulman y Sethi es un buen libro sobre compiladores, también tiene material de introducción sobre la teoría de autómatas.
• Principios de la verificación de modelos es un libro masivo que puede usarse como una introducción a la verificación de modelos

Para las matemáticas necesarias en el análisis de algoritmos, recomiendo el único GKP:

Matemáticas concretas por Graham, Knuth, Patashnik
Un tratamiento integral y de alta calidad de prácticamente todas las matemáticas que necesitará en algoritmos (básicos). Es una lectura entretenida e incluye una gran cantidad de ejercicios (y soluciones).

Algoritmos 4. Edición R. Sedgewick

Una Introducción al Análisis de Algoritmos P. Flajolet, R. Sedgewick

Introducción a la teoría de los autómatas, los idiomas y la computación JE Hopcroft, JD Ullman, (R. Motwani)
La primera edición de 1979 tiene más resultados teóricos que faltan en la segunda edición de 2001. No he mirado al tercer Ed todavía.

Introducción a la teoría del lenguaje formal MA Harrison
Es de 1978 pero todavía me gustaría verlo en la lista.

Logicomix: una búsqueda épica de la verdad A. Doxiadis, CH Papadimitriou ¡
Porque es totalmente increíble!

Nuevamente
, Computadoras e Intractabilidad de Garey y Johnson de 1979 : una guía para la teoría de la integridad de NP

Me encantaría tener TAoCP en la lista, pero me temo que el enfoque meticuloso de Don Knuth no es nada que pueda considerarse como "introductorio". Tristemente...

Si usted es completamente nuevo en el campo de TCS, la Introducción a la teoría de la computación de Sipser es definitivamente el mejor libro para comenzar. He leído otros libros introductorios, y ninguno de ellos, en mi opinión, se acerca a la forma en que Sipser aborda el asunto.

Otros libros teóricos más específicos y buenos son:

• Tipos y lenguajes de programación de Benjamin Pierce . Esta es la informática teórica y la lógica desde una perspectiva diferente.
• Gemas de la informática teórica por U. Schöning y R. Pruim.

Algunos buenos libros que cubren la parte de la Teoría B de TCS:

• Lógica en CS : lógica en informática: modelado y razonamiento sobre sistemas Por Michael Huth y Mark Ryan.
  Amplia cobertura de diversos usos de la lógica en informática. Alrededor del tercer año de pregrado.

• El cálculo lambda : cálculo lambda y combinadores. Una introducción de J. Roger Hindley y Jonathan P. Seldin.
  Presenta el cálculo lambda, que es un ingrediente esencial en los fundamentos de los lenguajes de programación. Alrededor del tercer año de pregrado.

• Diríjase a la teoría de dominios : Introducción a los enrejados y el orden (2ª ed.) Por Davey, BA y Priestley, HA Cambridge University Press. (2002)
  Cubre un tema muy útil, especialmente si planea trabajar con semántica. Es un poco más matemático que los otros temas, pero los primeros capítulos están ciertamente en un nivel universitario avanzado.

• Semántica : semántica con aplicaciones: un aperitivo de Hanne Riis Nielson y Flemming Nielson.
  Una muy buena introducción a la semántica del lenguaje de programación. En lugar de profundizar en un formalismo particular, ofrece una presentación amplia e incluye aplicaciones que generalmente no se consideran en otros libros sobre semántica. Posiblemente podría ser útil para estudiantes de segundo año.

Esta es una respuesta agregada que contiene libros de respuestas con puntaje de al menos cinco. Discuta su contenido en el chat .

Algoritmos y Estructuras de Datos

• Introducción a los algoritmos por Cormen, Leiserson, Rivest, Stein (3ª ed. 2009)
  Un tratamiento integral de algoritmos básicos y estructuras de datos y su análisis sin profundizar demasiado.
• Algoritmos de Dasgupta, Papadimitriou, Vazirani (2006)
  La introducción más intuitiva a los algoritmos con un enfoque más fuerte en la intuición que las pruebas técnicas.

Computabilidad y Complejidad

• Introducción a la teoría de la computación por Sipser (2ª edición 2005)
  La mejor introducción a la teoría, la computabilidad y la complejidad de los autómatas.

Idiomas formales y autómatas

• Compiladores: principios, técnicas y herramientas de Aho, Ulman y Sethi (2ª ed. 2006)
  El libro estándar sobre compiladores; Muy completo. Toca también la teoría de autómatas.

Teoría aplicada

• Principios de verificación de modelos por Baier, Katoen (2008)
  Libro masivo que se puede utilizar como una introducción integral a la verificación de modelos.
• Programming Pearls por Jon Bentley (2ª ed. 1999)
  No es un libro de texto sobre algoritmos, pero demuestra maravillosamente cómo usar técnicas de diseño de algoritmos para resolver problemas reales. Podría ser un buen comienzo si tienes algún conocimiento previo sobre programación.