Vous êtes ici :  Lexique informatique > 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.

Rubriques

. Sommaire . Thèmes . 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

Tous droits réservés Roland Trique - Le Jargon Français.