"Introduction à la théorie de l'informatique" offre une vue d'ensemble des concepts fondamentaux de l'informatique. Il commence par définir le calcul comme le processus d'exécution d'une séquence d'opérations basées sur des algorithmes pour obtenir des résultats spécifiques, englobant à la fois les processus naturels et artificiels. Le développement historique de l'informatique, depuis les premiers dispositifs de calcul comme le boulier jusqu'à l'avènement des ordinateurs mécaniques et électroniques, est exploré, en soulignant les étapes clés telles que l'invention du transistor et le développement de l'internet. Le chapitre introduit des concepts essentiels tels que les algorithmes, les structures de données et les langages formels, ainsi que des modèles de calcul tels que les automates finis, les automates pushdown et les machines de Turing.