Colloque

Une composition généralisée de relations

Stephen Whitney

Membre a labase

Stephen Whitney

Résumé du colloque

L'extension de la composition fonctionnelle à des relations binaires (correspondances) peut être encore généralisée à des relations d'arité arbitraire. Cette généralisation s'apparente à la composition dans les bases de données relationnelles (introduite par Cody en 1971), et un autre cas spécifique est la cylindrification des quantificateurs dans la logique du premier ordre (introduite par Tarski et d'autres vers 1955).

Contexte

Section :

Mathématiques et statistique

Thème du colloque :

Mathématiques et statistique

Hôte : Université d’Ottawa

Découvrez d'autres communications scientifiques

Dans le même colloque
Du même congressiste

Titre du colloque :

Mathématiques et statistique

Le test G et sa décomposition orthogonale

Pierre Black

Une composition généralisée de relations

Stephen Whitney

Sur les espaces fonctionnels S(Ω) et S'(Ω)

Marian Kupczynski

Voir tous les contenus de ce colloque

Autres communications du même congressiste :

Thème du colloque :

Mathématiques et statistique

Une composition généralisée de relations

Stephen Whitney

L'utilisation des opérateurs dans les logiciels algébriques

Stephen Whitney