Calcul des prédicatsEn logique mathématique, le calcul des prédicats du premier ordre, ou calcul des relations, logique quantificationnelle, ou tout simplement calcul des prédicats, est un système formel utilisé pour raisonner et décrire des énoncés en mathématiques, informatique, intelligence artificielle, philosophie et linguistique. Il a été proposé par Gottlob Frege une formalisation du langage des mathématiques entre la fin du et le début du .
Fonction de Mittag-LefflerEn mathématiques, la fonction de Mittag-Leffler, notée qui tient son nom du mathématicien Gösta Mittag-Leffler, est une fonction spéciale, c’est-à-dire qui ne peut être calculée à partir d'équations rationnelles, qui s'applique dans le plan complexe et dépend de deux paramètres complexes et . La fonction est définie pour : Dans ce cas, la série converge pour toute valeur d'argument z, ce qui fait de la fonction une fonction entière. On désigne également la fonction E(z) = E(z) comme fonction de Mittag-Leffler.
