MASTER 2 RECHERCHE INFORMATIQUE CALCUL INTERACTION DECISION (NIVEAU DE FORMATION)

FICHIER PDF

FICHIER WMV(VIDEO)

Date/Heure :		Sigle : Code :
Nom Long :		Nom (Anglais) :
		Résumé (Anglais) :
Résumé :	Exemple Soit le langage Les_Valois défini par SP = {pere, grand_pere} d'arité 2 SC = {françois1, henri2, henri3 } La structure FamilleRoyaleFrançaise, IFRF ( ) IFRF (pere)(x,y) = "x est le père de y" IFRF (grand _ pere)(x,y) = "x est le grandpère de y" IFRF (françois1)(x,y) = "François Ier" IFRF (henri2)(x,y) = "Henri II" IFRF (henri3)(x,y) = "Henri III" François Ier est le père de Henri II Henri II est le père de Henri III Structure de Herbrand ULesValois ,HLesValois ( ) ULesValois = {françois1,henri2,henri3} BLesValois = pere françois1 françois1, pere françois1 henri2, …, pere henri3 henri3, grand _ pere françois1 françois1, grand_pere françois1 henri2, …, grand_pere henri3 henri3 ⎧⎨⎩ HLesValois (pere)(x,y) = pere x y HLesValois (grand _ pere)(x,y) = grand _ pere x y {pere françois1 henri2,pere henri2 henri3} ⊆ BLesValois
Site Internet d'origine:	Ouvrir
Pays Région Ville
Site Web Extérieur :	Ouvrir	Email : Ecrire
Vidéo :		Téléphone : Mobile :
modification :	0000-00-00 00:00:00 création : 2012-10-30 00:00:00

CHIFFRES ASSOCIE(S) :

Pas de données chiffrées pour cet élément

Objets associés à MASTER 2 RECHERCHE INFORMATIQUE CALCUL INTERACTION DECISION :

abonné :

collectifs

(Sans Date Actif)

formation niveau 7

Disponible uniquement pour les membres connéctés

111

Formation Niveau I

niveau de formation

Disponible uniquement pour les membres connéctés

31

articles

(Sans Date Actif)

informatique

Disponible uniquement pour les membres connéctés

computing

recherche (activité)

Disponible uniquement pour les membres connéctés

web sémantique

Disponible uniquement pour les membres connéctés

1

toile sémantique

semantic web