Liste de livres d'introduction au TCS pour ceux qui ne connaissent pas grand-chose au TCS [fermé]

Si vous devez recommander des livres pour quelqu'un qui veut en savoir plus sur TCS au niveau d'introduction, comme la théorie des automates, l'algorithmique, la théorie de la complexité, etc., quel livre recommanderiez-vous à ceux qui sont intéressés et veulent en savoir plus sur TCS, mais n'y avez pas été exposé?

Si vous souhaitez avoir une introduction générale sans entrer dans les détails techniques, je suggère Algorithmics: The Spirit of Computing de David Harel . Après cela, voici ma liste préférée:

• Introduction de Michael Sipser à la théorie du calcul : la meilleure introduction à la théorie, la calculabilité et la complexité des automates.
• Algorithmes de S. Dasgupta, CH Papadimitriou et UV Vazirani: l'introduction la plus intuitive aux algorithmes avec un accent sur l'intuition plus fort que les preuves techniques.
• Programming Pearls de Jon Bentley : ce n'est pas un manuel sur les algorithmes, mais il montre à merveille comment utiliser des techniques de conception d'algorithmes pour résoudre de vrais problèmes qui irritaient les vrais programmeurs. :-) Cela pourrait être un bon début si vous avez des connaissances préalables en programmation.

• Introduction aux algorithmes par Cormen, Leiserson, Rivest, Stein est un choix populaire, le titre parle de lui-même.
• Compilers: Principles, Techniques, And Tools par Aho, Ulman et Sethi est un bon livre sur les compilateurs, qui contient également du matériel d'introduction sur la théorie des automates.
• Principes de la vérification des modèles est un livre massif qui peut être utilisé comme une introduction à la vérification des modèles

Pour les mathématiques nécessaires à l'analyse d'algorithmes, je recommande le seul et unique GKP:

Concrete Mathematics par Graham, Knuth, Patashnik
Un traitement complet et de haute qualité de pratiquement toutes les mathématiques dont vous aurez besoin en algorithmique (de base). C'est une lecture divertissante et comprend une multitude d'exercices (et de solutions).

Algorithmes 4. Édition R. Sedgewick

Une introduction à l'analyse des algorithmes P. Flajolet, R. Sedgewick

Introduction à la théorie, aux langages et au calcul des automates JE Hopcroft, JD Ullman, (R. Motwani)
La première édition de 1979 contient plus de résultats théoriques qui manquent dans la deuxième édition de 2001. Je n'ai pas encore regardé le troisième Ed.

Introduction à la théorie du langage formel MA Harrison
Il date de 1978 mais j'aimerais quand même le voir sur la liste.

Logicomix: une recherche épique de la vérité A. Doxiadis, CH Papadimitriou
Parce que c'est totalement génial!

À nouveau 1979
Les ordinateurs et l'intractabilité de Garey et Johnson : un guide pour la théorie de la NP-complétude

J'adorerais avoir TAoCP sur la liste mais je crains que l'approche méticuleuse de Don Knuth ne soit rien qui puisse être considéré comme «introductif». Tristement...

Si vous êtes entièrement nouveau dans le domaine du TCS, l' introduction de Sipser à la théorie du calcul est certainement le meilleur livre pour vous aider à démarrer. J'ai lu d'autres livres d'introduction, et aucun d'entre eux, à mon avis, ne se rapproche de la manière dont Sipser a abordé la question.

D'autres bons livres théoriques, plus spécifiques, sont:

• Types et langages de programmation de Benjamin Pierce . Il s'agit d'informatique théorique et de logique sous un angle différent.
• Gemmes de l'informatique théorique par U. Schöning et R. Pruim.

Quelques bons livres couvrant la partie théorie B du TCS:

• Logic in CS : Logic in Computer Science: Modeling and Reasoning about Systems Par Michael Huth et Mark Ryan.
  Large couverture des diverses utilisations de la logique en informatique. Environ 3ème année de premier cycle.

• Le Lambda Calculus : Lambda-Calculus and Combinators. Une introduction de J. Roger Hindley et Jonathan P. Seldin.
  Présente le lambda calcul, qui est un ingrédient essentiel dans les fondements des langages de programmation. Environ 3ème année de premier cycle.

• Lead in to domain theory : Introduction to Lattices and Order (2e éd.) Par Davey, BA et Priestley, HA Cambridge University Press. (2002).
  Couvre un sujet très utile, surtout si vous prévoyez de travailler avec la sémantique. C'est un peu plus mathématique que les autres sujets, mais les premiers chapitres sont certainement à un niveau avancé de premier cycle.

• Sémantique : Sémantique avec applications: un apéritif par Hanne Riis Nielson et Flemming Nielson.
  Une très belle introduction à la sémantique du langage de programmation. Plutôt que d'aller au fond d'un formalisme particulier, il donne une présentation large et inclut des applications généralement non prises en compte dans d'autres livres sur la sémantique. Pourrait peut-être être utile pour les étudiants de 2e année.

Il s'agit d'une réponse globale qui contient des livres de réponses avec un score d'au moins cinq. Veuillez discuter de son contenu dans le chat .

Algorithmes et structures de données

• Introduction to Algorithms by Cormen, Leiserson, Rivest, Stein (3rd ed 2009)
  Un traitement complet des algorithmes de base et des structures de données et de leur analyse sans creuser trop profondément.
• Algorithms by Dasgupta, Papadimitriou, Vazirani (2006)
  L'introduction la plus intuitive aux algorithmes avec un accent plus fort sur l'intuition que les preuves techniques.

Calculabilité et complexité

• Introduction à la théorie du calcul par Sipser (2e édition 2005)
  La meilleure introduction à la théorie, la calculabilité et la complexité des automates.

Langages formels et automates

• Compilers: Principles, Techniques, And Tools par Aho, Ulman et Sethi (2nd ed 2006)
  Le livre standard sur les compilateurs; très complet. Touche également la théorie des automates.

Théorie appliquée

• Principes de vérification des modèles par Baier, Katoen (2008)
  Ouvrage massif qui peut être utilisé comme une introduction complète à la vérification des modèles.
• Programming Pearls par Jon Bentley (2nd ed 1999)
  Pas un manuel sur les algorithmes mais montre magnifiquement comment utiliser des techniques de conception d'algorithmes pour résoudre des problèmes réels. Cela pourrait être un bon début si vous avez des connaissances préalables en programmation.