The HPM Satellite Meeting of ICME-12. Proceeding book 1. Historical Projects in Discrete Mathematics. p. 145-157.

(Projets utilisant l'histoire en mathématique discrètes.)

Une version texte intégral est en téléchargement sur le site Bibliothèque numérique des IREM et de l’APMEP Télécharger

Auteur : Lodder Jerry

Résumé

Cet article est un résumé de deux modules du programme d’études en mathématiques discrètes en premier cycle d’université. Le premier « Déduction à travers les âges » porte sur la façon dont les mathématiques modernes sont arrivées à la vérité d’une implication (une « affirmation si-alors) en logique propositionnelle (Boole, Frege, Russell, Whitehead, Post). Le deuxième « Réseaux et arbres couvrants » présente un matériel motivant (Cayley, Prüfer, Borùvka) pour la définition, l’énumération et l’utilisation des arbres en théorie des graphes.

Abstract

Presented is a summary of two curricular modules for undrgraduated discrete mathematis. The first « Deduction through teh ages » is a discussion of how modern mathematics arrived at the truth of an implication (an « if-then statement) in propositional logic. The second « Networks and Spanning Trees » presents motivaional material for the definition, enumeration, and application of trees in graph theory.

Notes

Chapitre des Actes de HPM 2012 tome 1 .

Données de publication

Éditeur Drukkerij Baas, Nieuwerkerk aan den IJssel Daejon , 2012 Format A4, p. 145-157 Index Bibliogr. p. 156-157

Public visé chercheur, enseignant, formateur Niveau licence Âge 18, 19

Type chapitre d’un ouvrage Langue anglais Support papier