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.