Le terme informatique est un néologisme proposé en 1962 par Philippe Dreyfus pour caractériser le traitement automatique de l’information. Alors, l'informatique traite de deux aspects complémentaires : les programmes immatériels (logiciel, software) qui décrivent un traitement à réaliser et les machines (matériel, hardware) qui exécutent ce traitement. L'objectif de ce cours est de vous apprendre à concevoir une suite ordonnée d’instructions qui indique la démarche à suivre pour résoudre une série de problèmes équivalents, ainsi qu'à caractériser leur validité, leur robustesse, leur ré-utilisabilité, leur complexité ou leur efficacité dans un langage de programmation compréhensible par l'ordinateur. Comme le disait Abelson et al., chaque programme d’ordinateur est un modèle, forgé par l’esprit, d’un processus réel ou imaginaire. Ces processus, qui naissent de l’expérience et de la pensée de l’homme, sont innombrables et complexes dans leurs détails. A tout moment, ils ne peuvent être compris que partiellement. Ils ne sont que rarement modélisés d’une fa ̧con satisfaisante dans nos programmes informatiques. Bien que nos programmes soient des ensembles de symboles ciselés avec soin, des mosaïques de fonctions entrecroisées, ils ne cessent d’évoluer. Nous les modifions au fur et à mesure que notre perception du modèle s’approfondit, s’étend et se généralise, jusqu’à atteindre un équilibre métastable aux frontières d’une autre modélisation possible du problème. L’ivresse joyeuse qui accompagne la programmation des ordinateurs provient des allers-retours continuels, entre l’esprit humain et l’ordinateur, des mécanismes exprimés par des programmes et de l’explosion de visions nouvelles qu’ils apportent. Si l’art traduit nos rêves, l’ordinateur les réalise sous la forme de programmes.