Cours donné en première candidature en Informatique ainsi qu'en première candidature en Sciences Economiques (orientation informatique). Il est destiné à introduire une méthode rigoureuse de conception d'algorithmes. Du point de vue méthodologique, le cours met l'accent sur le raisonnement qui sous tend la construction et la validation des algorithmes. La méthode proposée s'appuie sur l'utilisation d'assertions intermédiaires, principalement l'invariant de la boucle.

Ce laboratoire est donné en première candidature en Informatique ainsi qu'en première candidature en Sciences Economiques (orientation informatique). Le but de ce laboratoire est de s'exercer à réaliser un premier projet de programmation complet en utilisant la méthode apprise lors du cours théorique. La mise en œuvre de ce projet nécessite non seulement la réalisation de petites parties mais également l'assemblage adéquat de ces morceaux en un programme modulaire, lisible, élégant et efficace.