Discrete mathematics at university level. Interfacing mathematics, computer science and arithmetic

Discrete mathematics is a recent field linked with Computer Science. We discuss its place in university mathematics curricula and in the particular case of France, where it has difficulties to find its place. We make explicit the didactical challenges posed by discrete mathematics at university level, and present DEMIPS network and its plans to tackle them. Through two detailed examples we discuss the reasons for teaching Discrete Mathematics at university level, and illustrate our conclusions.

[1]  Stephen B. Maurer.  What is Discrete Mathematics? The Many Answers , 1992, Discrete Mathematics in the Schools.

[2]  G. Goldin.  Discrete Mathematics and the Affective Dimension of Mathematical Learning and Engagement , 2018 .

[3]  Kristina Reiss,et al.  Discrete mathematics and proof in the high school , 2004 .

[4]  Ann E. Watkins,et al.  Statistical Abstract of Undergraduate Programs in the Mathematical Sciences and Computer Science in the United States: 1990-91 Cbms Survey , 1992 .

[5]  Simon Modeste,et al.  Impact of Informatics on Mathematics and Its Teaching - On the Importance of Epistemological Analysis to Feed Didactical Research , 2015, HaPoC.

[6]  C. Payan,et al.  Spécificités de la preuve et de la modélisation en mathématiques discrètes , 1998 .

[7]  Fred S. Roberts,et al.  Discrete Mathematics in the Schools , 2000 .

[8]  G. Vergnaud.  La théorie des champs conceptuels , 1989 .

[9]  Andreas Schuster.  About traveling salesmen and telephone networks—Combinatorial optimization problems at high school , 2004 .

[10]  Sue Whitesides,et al.  Discrete mathematics for computer science , 2005 .

[11]  Joseph G. Rosenstein,et al.  Discrete mathematics in primary and secondary schools in the United States , 2004 .

[12]  Cécile Ouvrier-Buffet.  A mathematical experience involving defining processes: in-action definitions and zero-definitions , 2011 .

[13]  Donald E. Knuth,et al.  Computer Science and its Relation to Mathematics , 1974 .

[14]  Cécile Ouvrier-Buffet.  Exploring Mathematical Definition Construction Processes , 2006 .

[15]  Simon Modeste.  Enseigner l'algorithme pour quoi ? Quelles nouvelles questions pour les mathématiques ? Quels apports pour l'apprentissage de la preuve ? , 2012 .