Spécificités de la preuve et de la modélisation en mathématiques discrètes
Abstract The article presents bases of a research aimed in the long run towards the construction an «ambiant environment» for discrete mathematics, a construction which would not only facilitate the first acquaintance to this mathematical field, but would also provide an alternative approach to some transversal concepts, such as proof and modelization. The study which … Lire la suite
