diapositives

REPR´ ESENTATIONS & MOD` ELES
M. Desmedt, M. Kihlstedt, A. Lacheret, F. M´etayer
2010-2011
Paris Ouest Nanterre La D´efense

Introduction
S´emantique formelle
Sens et d´enotation
Ensembles et fonctions
Types simples
Logique minimale
Termes fonctionnels
Analyse d’exemples
Syntaxe formelle
Grammaires cat´egorielles
Calcul de Lambek
Quelques exemples
Traduction

Repr´esentations
Une notion tr`es vaste
Ile portrait d’une personne ou d’un objet ;
Il’organigramme d’une soci´et´e ;
Iune partition musicale...
Repr´esentation formelle
Iun syst`eme de symboles ;
Ides r`egles explicites de formation.

Repr´esentations
Une notion tr`es vaste
Ile portrait d’une personne ou d’un objet ;
Il’organigramme d’une soci´et´e ;
Iune partition musicale...
Repr´esentation formelle
Iun syst`eme de symboles ;
Ides r`egles explicites de formation.

Une repr´esentation est-elle arbitraire ?
Exemple
Le nombre dix-sept peut ˆetre repr´esent´e par
IXVII en chiffres romains
I17 en num´eration d´ecimale
I10001 en num´eration binaire
Mˆeme information superficielle, mais diff´erences consid´erables `a
l’usage.