Cours de programmation

Auteur·rice

Hervé Grall

Date de publication

5 août 2025

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.