10 ФРАНЦУЗЬКА КНИЖКИ ПОВ'ЯЗАНІ ІЗ «PRÉALGÈBRE»
Дізнайтеся про вживання
préalgèbre з наступної бібліографічної підбірки. Книжки пов'язані зі словом
préalgèbre та короткі уривки з них для забезпечення контексту його використання в французька літературі.
1
Comptes rendus hebdomadaires des séances de l'Académie des ...
Dans (7) et (8) P. Janin a défini la structure de préalgèbre sur n; dans (2) nous
avons défini une rc-préalgèbre comme un rc-espace affine muni d'un produit
distributif par rapport à l'opération affine et établi l'équivalence de ces définitions;
...
2
Comptes rendus hebdomadaires des seánces: Sciences ...
Une prétable sur l'ensemble X permet de construire une r.-préalgèbre, comme
une table sur X permet de construire une li-algèbre. (v) E étant un r.-espace
affine, Hom (E, E) est une --préalgèbre associative unitaire et qui contient des
zéros à ...
3
Mathématiques et sciences humaines
Proposition 1 : une préalgèbre de Boole vérifie les axiomes de Frege-
Lukasziewicz et inversement. Le calcul propositionnel classique est donc une
préalgèbre de Boole; elle est en plus atomique (en un sens clair). Soit A = B la
relation ...
École pratique des hautes études (France) Centre de mathématique sociale et de statistique, École pratique des hautes études (France). Centre de mathématique sociale, École des hautes études en sciences sociales Centre d'analyse et de mathématique sociales, 1974
4
L'antériorité temporelle dans la préfixation en français
Il ne semble cependant pas que le nom algèbre puisse de la même manière
servir à construire un nom qui s'interpréterait avec la valeur « discontinue » : Les
sociétés qui sont encore au stade de la préalgèbre n'ont généralement pas
acquis ...
5
Cahiers de Topologie Et Géométrie Différentielle
Soit C une catégorie à produits finis et X^" une famille d'objets de D'après 1.3.4,
la préalgèbre identique M : 2( X(l)) * 1(X(!>) se prolonge en une préalgèbre de
schéma t(X(t>), Le schéma R(X(t)) = R(l( X( tb) est dit schéma des relations de ...
6
Esquisses mathématiques
Si aucune fi -évaluante de tOS réduite , où (Z<cA , n'est modèle caractéristique
de , alors ^(^) n'a pas de modèle caractéristique isomorphe à une préalgèbre de
Hilbert de cardinal strictement inférieur à Ck . A Soit (l,D,--^) une préalgèbre de ...
7
Logique: Automatique ; Informatique
(y -> 2) = (a; n y) -*□ h pour tout x, y, zeA. On dit que N est une préalgèbre de
Nelson, si les axiomes NI— N6 et N8— Nil sont satisfaites ; et on dit que N est
une algèbre de Nelson, si les axiomes NI— Nil sont satisfaites. Par NI— N5 on a
que ...
8
Les Étapes de la philosophie mathématique....
... d'appeler la préalgèbre où les solutions pour des problèmes difficiles d'
arithmétique, sont obtenues sans aucune justification d'ordre logique, par des
procédés pratiques qui s'apparentent à ceux d'Ahmès* — que l'on se rappelle
comment, ...
9
Sur les algèbres de Hilbert ...
On appelle (X, D, une préalgèbre de Hilbert si 0 ^zé D Ç X, et si est une
opération binaire sur X telle que pour chaque x, y, z e X on ait : (1) x=>(y=$x)eT>;
(2) (x=>((/=>z))=>((:r=>z/)=>(x=>z)) e D; (3) Si x, x=>yeD, alors yeD. Les calculs ...
... point ici que la mathesis se réduise à la « préalgèbre de Diophante », comme l'
appelle Brunschvicg, Les étapes de la phil. mathématique, 1922, 2e éd., p. 31.
On peut donc harmoniser cette allusion à Diophante avec celle des Regulae. 15.
