Veuillez choisir le dossier dans lequel vous souhaitez ajouter ce contenu :
Filtrer les résultats
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).
Colloque
La plupart des logiciels qui permettent de faire l'algèbre à l'ordinateur (par ex. Macsyma, Mmaht, Maple) utilisent la forme "descriptive" connue, avec la substitution, pour représenter les objets algébriques comme l'identité trigonométrique sin²(x+2) + cos²(x+2) = 1. Il est également possible d'utiliser une approche plus fonctionnelle avec une composition: (sin²+cos²):(i+2)=(i+2)=1 où i représente la fonction identité et i représente la fonction constante dont la valeur est 1. De même, on peut représenter la dérivation, la différence, les transformations comme celle de Taylor, Laplace, etc. par un "Opérateur" ou fonction sur les fonctions. Cette démarche est donc une des utilisations du …
