logo
 
[lfo logo] Vous êtes ici :  linux-france.org >  projets >  jargonf >  F > FOPC :

FOPC

en sg. m.

[mathématique] First Order Predicate Calculus. Calcul des prédicats de premier ordre.

 
Articles voisins :  fondeur < fonte < foo < foobar < footprint < FOPC > for > fora > forage > forçage > forçage de type .
Dern. modif. : 27-06-2001.
Avez-vous visité le JargonF nouveau et sa définition de FOPC ? Mettez à jour vos signets !

Rubriques

. À propos . Thèmes . Chronologie . Liens . Télécharger . FAQ . Docs divers . Courrier

Définitions

A B C D E F G

H I J K L M N O

P Q R S T U V

W X Y Z Divers

 
Droits (plus ou moins) réservés Roland Trique - Le Jargon Français 1995-2006. Version 3.4.259 du 09/01/2007.