Ne vous moquez pas de l'oiseau moqueur : un aperçu de la logique combinatoire
Autor: | Haralambous, Yannis |
---|---|
Přispěvatelé: | Lab-STICC_IMTA_CID_DECIDE, Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance (Lab-STICC), Institut Mines-Télécom [Paris] (IMT)-IMT Atlantique Bretagne-Pays de la Loire (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-École Nationale d'Ingénieurs de Brest (ENIB)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-Centre National de la Recherche Scientifique (CNRS)-Université Bretagne Loire (UBL)-Institut Mines-Télécom [Paris] (IMT)-IMT Atlantique Bretagne-Pays de la Loire (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-École Nationale d'Ingénieurs de Brest (ENIB)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-Centre National de la Recherche Scientifique (CNRS)-Université Bretagne Loire (UBL), Département Informatique (IMT Atlantique - INFO), IMT Atlantique Bretagne-Pays de la Loire (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT), Télécom Bretagne (devenu IMT Atlantique), Ex-Bibliothèque |
Jazyk: | francouzština |
Rok vydání: | 2019 |
Předmět: |
Grammaires catégorielles combinatoires
[INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI] [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO] [INFO.INFO-NI] Computer Science [cs]/Networking and Internet Architecture [cs.NI] Fonctions primitives récursives Traitement automatique de la langue Logique combinatoire [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO] [INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC] [INFO.INFO-HC] Computer Science [cs]/Human-Computer Interaction [cs.HC] Vulgarisation |
Zdroj: | Quadrature Quadrature, EDP Sciences, 2019, 113, pp.22--34 |
ISSN: | 1142-2785 1760-4826 |
Popis: | International audience; Nous proposons une découverte d'un domaine de la logique qui aura prochainement 100 ans : la logique combinatoire, dans le cadre des fonctions primitives récursives. Notre point de départ est le conte mathématique "Ne vous moquez pas de l'oiseau moqueur" de Raymond Smullyan. Après une brève description de la manière dont les objets de la logique combinatoire représentent les fonctions primitives récursives, nous donnons deux applications de celle-ci : l'algèbre de Boole et l'analyse syntaxique du langage naturel. |
Databáze: | OpenAIRE |
Externí odkaz: |