Cours de programmation
Preface
Ce cours de programmation peut être suivi dès la fin du collège et vise à relier la programmation aux Mathématiques. À vrai dire, une correspondance fondamentale permet de formaliser cette relation : programmer, c’est démontrer, spécifier, c’est conjecturer.