Accueil Publimath  Aide à la recherche   Recherche Avancée   Imprimer la fiche   Aidez-nous à améliorer cette fiche  Vidéo d'aide
Certification IDDN Valid HTML 4.01 Transitional
Auteur(s) : Haralambous Yannis

Titre : Quadrature. N° 113. p. 22-34. Ne vous moquez pas de l'oiseau moqueur : un aperçu de la logique combinatoire, avec des applications en linguistique mathématique.

Editeur : Quadrature Revigny-sur-Ornain, 2019
Format : A4, p. 22-34 Bibliogr. p. 34-34
  ISSN : 1142-2785

Type : article de périodique ou revue, vulgarisation, popularisation Langue : Français Support : papier

Public visé : élève ou étudiant, enseignant, tout public Niveau Niveau scolaire visé par l'article : licence Age : 18, 19, 20

Classification : A35Revues, article de revue
Enseignement supérieur, Post-Bac
 A38Revues, article de revue
Enseignement « Hors les Murs » : par correspondance, formation des adultes, popularisation, etc.
 E35Logique. Acquisition des capacités de raisonnement logique.
Enseignement supérieur, Post-Bac
 E38Logique. Acquisition des capacités de raisonnement logique.
Enseignement « Hors les Murs » : par correspondance, formation des adultes, popularisation, etc.
 P45Langages de programmation (classification des langages, éléments et caractéristiques des langages, processeurs
Enseignement supérieur, Post-Bac
 P48Langages de programmation (classification des langages, éléments et caractéristiques des langages, processeurs
Enseignement « Hors les Murs » : par correspondance, formation des adultes, popularisation, etc.
 

Résumé :

Cet article propose une découverte d'un domaine de la logique qui aura prochainement cent ans : la logique combinatoire, dans le cadre des fonctions primitives récursives. Le point de départ est le conte mathématique "Ne vous moquez pas de l'oiseau moqueur" de Raymond Smullyan. Apres une brève description de la manière dont les objets de la logique combinatoire représentent les fonctions primitives récursives, l'auteur donne deux applications de celle-ci : l'algèbre de Boole et l'analyse syntaxique du langage naturel.

Notes :
Quadrature est un magazine de mathématiques pures et appliquées. Il s’adresse aux enseignants, étudiants, ingénieurs et amateurs de mathématiques.
Tout internaute peut acheter le numéro en cours et les anciens numéros sur la site de la revue quadrature.info (ISSN de l'édition électronique : 1760-4826).

Mots clés :


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