1. Le calcul des prédicats du premier ordre, ou calcul des relations, ou logique du premier ordre, ou logique quantificationnelle ou tout simplement calcul des prédicats est une formalisation du langage des mathématiques, proposée par Gottlob Frege, entre la fin du XIXe siècle et le début du XXe siècle. La logique du premier ordre comporte deux parties : la syntaxe définit le vocabulaire symbolique de base ainsi que les règles permettant de construire des énoncés complexes, tandis que la sémantique interprète ces énoncés comme exprimant des relations entre les éléments d'un domaine, également appelé modèle.
2. En mathématiques, un calcul fonctionnel est une théorie permettant d'étendre à des opérateurs une fonction définie initialement uniquement pour des variables réelles ou complexes. Ces théories font désormais partie du domaine de l'analyse fonctionnelle, et sont également liées à la théorie spectrale.
3. En mathématiques, un calcul fonctionnel est une théorie permettant d'étendre à des opérateurs une fonction définie initialement uniquement pour des variables réelles ou complexes. Ces théories font désormais partie du domaine de l'analyse fonctionnelle, et sont également liées à la théorie spectrale.
