Les enseignements dans les premiers cycles universitaires scientifiques et les classes préparatoires sont compris comme point de départ vers des études approfondies et spécialisées. Ils doivent donc à la fois distribuer des connaissances de base et assurer une formation à la démarche et à l'esprit scientifiques. Ce livre est le fruit de nombreuses années d'expérience didactique d'enseignement de l'Informatique. Il est conçu dans l'optique de l'apprentissage d'une écriture parfaitement contrôlée des algorithmes, puis des programmes, afin que toute exécution lancée sur ordinateur soit la représentation fidèle et juste du problème posé et fournisse les résultats escomptés. On présente successivement les notions de machine formelle et de calculabilité, fondant l'assise scientifique de la discipline, puis les concepts d'analyse des algorithmes, avec l'usage systématique des invariants de boucle comme façon de construire un algorithme. De nombreux exemples de programmes dans les langages Pascal et C illustrent ces notions, avec des applications à des problèmes de tri, de représentation d'opérations ensemblistes ou encore de recherches de motifs dans des séquences.
