Discrete mathematics, computer science, logic, proof, and their relationships - CNRS - Centre national de la recherche scientifique Accéder directement au contenu
Chapitre D'ouvrage Année : 2021

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

Résumé

Discrete 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.
Fichier non déposé

Dates et versions

hal-03680295 , version 1 (27-05-2022)

Identifiants

  • HAL Id : hal-03680295 , version 1

Citer

Faïza Chellougui, Viviane Durand-Guerrier, Antoine Meyer. Discrete mathematics, computer science, logic, proof, and their relationships. Research and Development in University Mathematics Education, Routledge, pp.125-146, 2021, 9780367365387. ⟨hal-03680295⟩
41 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More