Displaying similar documents to “Structures grammaticales dans le français mathématique : II - (suite et fin)”

Structures grammaticales dans le français mathématique : I

Aarne Ranta (1997)

Mathématiques et Sciences Humaines

Similarity:

Un système de règles grammaticales est présenté pour analyser un fragment du français permettant l'expression de théorèmes et de preuves mathématiques. Pour cet objectif, on développe une version de la grammaire de Montague, avec des catégories syntaxiques relatives au contexte et aux domaines d'individus. Ce système peut être interprété dans la théorie constructive des types de Martin-Löf. Il est appliqué, d'abord, au français sans symboles mathématiques, avec une attention spéciale...

Approches des grammaires catégorielles

Frédérique Segond (1990)

Mathématiques et Sciences Humaines

Similarity:

Étant donné l'importance que prennent les grammaires catégorielles dans le domaine de la linguistique computationnelle, il nous a semblé intéressant de dresser un panorama sur cette question. Nous espérons fournir, aux chercheurs intéressés, un matériau de base susceptible de les aider à approfondir par eux-mêmes le sujet.

Logique combinatoire et linguistique : grammaire catégorielle combinatoire applicative

Jean-Pierre Desclés, Ismail Biskri (1995)

Mathématiques et Sciences Humaines

Similarity:

La Grammaire Catégorielle Combinatoire Applicative étend la Grammaire Catégorielle Combinatoire de Steedman par une association canonique entre les règles et des combinateurs de Curry d'une part et l'utilisation de métarègles qui contrôlent les opérations de changement de type d'autre part. Ce modèle est inclus dans le modèle général de la Grammaire Applicative et Cognitive (Desclés) avec trois niveaux de représentation : (i) le phénotype (expressions concaténées) ; (ii) le génotype...

The problems of definition

Jean-Pierre Ginisti (1991)

Mathématiques et Sciences Humaines

Similarity:

The aim of this paper is to present the great kinds of definitions known in mathematical logic, their goals and their means, from their historical and philosophical background (notably thanks to the proof of two theorems), and in order to situate, within this field, the others contributions which make up this number.

Bibliographie commentée

Jean-Pierre Desclés, Jean-Pierre Ginisti (1988)

Mathématiques et Sciences Humaines

Similarity: