Displaying similar documents to “Logique combinatoire et caractères chinois”

Remarques sur le discours scientifique

D. Hérault (1971)

Mathématiques et Sciences Humaines

Similarity:

Après une brève définition de ce qu'on entend par discours scientifique (mathématique) et un bref aperçu de quelques-unes de ses propriétés caractéristiques, on indique comment on pourrait en concevoir l'analyse du contenu sémantique. On se limite ensuite à l'examen rapide des méthodes de détermination des objets que contiennent, en les mettant en relation, les énoncés d'un discours donné. On constate alors qu'une notion d'aspect joue un rôle essentiel, et qu'elle correspond en fait...

Traitement automatique de la vocalisation en dari

Razeq Afzali, Alexandre Andreewski (1991)

Mathématiques et Sciences Humaines

Similarity:

On étudie dans ce travail, grâce à un traitement automatique, le problème de la reconstitution vocalique à partir de l'écriture traditionnelle du dari (persan d'Afghanistan). On montre en particulier que cette écriture est très discriminante et qu'à partir d'une forme consonantique donnée, la forme vocalique correspondante est fortement déterminée. On décrit la méthodologie générale suivie et on donne les statistiques correspondantes pour un lexique de taille moyenne et en voie de développement....

Un point de logique aristotélicienne : le «définitionnel»

Claude Gaudin (1991)

Mathématiques et Sciences Humaines

Similarity:

Ni description, ni démonstration mais recherche de l'élément qui différencie un concept de ceux qui lui sont le plus proches, telle est la définition classique. On a choisi d'analyser ici 1) ce qui fait de la définition une forme de prédication «réflexive», 2) la liaison établie par Aristote entre la définition-formule qui permet d'identifier la chose, d'abord par rapport à elle-même, et la théorie des prédicables ! Celle-ci est une amorce systématique de ce qui est aujourd'hui la théorie...

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.

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...