Architecture gothiquevignette|220px|Basilique Saint-Denis – gothique primitif (déambulatoire de 1240, façade sauf les tours avant 1240). Larchitecture gothique est un style architectural d'origine française qui s'est développée à partir de la seconde partie du Moyen Âge en Europe occidentale. Elle apparaît en Île-de-France et en Haute-Picardie au . Elle se diffuse rapidement au nord puis au sud de la Loire et en Europe jusqu'au milieu du et même jusqu'au dans certains pays.
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 .
