Théorie de l'informatique

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.