Accueil Publimath  Aide à la recherche   Recherche Avancée   Imprimer la fiche   Aidez-nous à améliorer cette fiche  Vidéo d
Certification IDDN Valid HTML 4.01 Transitional
Auteur(s) : Adda Josette ; Faivre Wilfred

Titre : Eléments de logique pour servir à l'enseignement mathématique.

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

Editeur : APMEP Association des Professeurs de Mathématiques de l'Enseignement Public (APMEP) Paris, 1971 Collection : Bibliothèque d'information sur l'enseignement mathématique Num. 005
Format : 17 cm x 24 cm, 52 p. Bibliogr. p. 52
  ISSN : 0291-0578

Type : document pour la classe issu de travaux de groupe de travail Langue : Français Support : papier

Public visé : chercheur, enseignant, formateur

Classification : E39Logique
Formation à l'enseignement, initiale et continue.
 

Résumé :

La brochure comprend deux parties :
- La première partie est consacrée à la logique élémentaire. Un exposé sur la situation de la logique et son utilité dans l'enseignement, est suivi par une initiation au calcul des propositions et au calcul des prédicats. Ensuite l'auteur donne quelques généralités sur les théories mathématiques, comment on peut préciser ce qu'est une formule d'un langage mathématique, et comment on peut associer à une formule donnée une "signification". En appendice, il présente l'arithmétique de Peano.
- La deuxième partie présente, sous forme dépouillée, le schéma booléen de la logique algébrique, et cela par des voies accessibles à un élève du second cycle du secondaire.
La conclusion est la démonstration que l'ensemble "vrai, faux" peut se réduire algébriquement à l'ensemble (0,1) dont la structure d'anneau est utilisable dans les machines.

Notes :
Les brochures APMEP éditées de 1968 à 1976 faisaient partie de la collection "Bibliothèque d'information sur l'enseignement mathématique" (ISSN : 0291-056X) qui est devenue la collection "Publication de l'APMEP" (ISSN : 0291-0578).

Une version texte intégral est en téléchargement sur le site de l'APMEP

Mots clés :


© ADIREM-APMEP -2003- ISSN 1292-8054 Mise à jour 21/06/2023
Accueil Publimath  Aide à la recherche   Recherche Avancée   Imprimer la fiche   Aidez-nous à améliorer cette fiche  Video d'aide
Certification IDDN Valid HTML 4.01 Transitional