Discrete mathematics, computer science, logic, proof, and their relationships

International audienceDiscrete mathematics, roughly defined as concerning countable objects, recently gained importance both in research and education, mainly due to its foundational role in large parts of computer science. This chapter provides a synthesis of recent INDRUM research concerning the educational side of this “border area” between university mathematics and computer science, and especially the actual and potential significance of logic in both disciplines. The authors demonstrate the potential and interest of interdisciplinary didactical engineering in this area, and the need to pursue and deepen the epistemological analysis on which such research could be founded