Aix-en-ProvenceAix-en-Provence (en provençal : Ais) est la capitale historique de la Provence. C'est aujourd'hui une commune française du Sud-Est de la France, dans le département des Bouches-du-Rhône, dont elle est sous-préfecture, en région Provence-Alpes-Côte d'Azur. Elle forme avec le pays d'Aix au sein de la Métropole Aix-Marseille Provence. Les habitants d'Aix s'appellent les Aixois en français (en provençal : lei sestian). Fondée en sous le nom d'Aquae Sextiae par la garnison romaine de Caius Sextius Calvinus, Aix devient par la suite la capitale du comté de Provence.
Art nouveauL’Art nouveau est un mouvement artistique de la fin du qui s'appuie sur l'esthétique des lignes courbes. Né en réaction contre les dérives de l’industrialisation à outrance et la reproduction sclérosante des anciens styles, c'est un mouvement soudain et rapide, qui connaît un développement international. Le mouvement a connu des dénominations diverses selon les régions : Tiffany (d'après Louis Comfort Tiffany) aux États-Unis, Jugendstil ou Art nouveau en Allemagne, Sezessionstil en Autriche, Art nouveau ou Nieuwe Kunst aux Pays-Bas, Art nouveau ou Stile Liberty en Italie, Art nouveau ou Modernismo en Espagne (pour le second terme, plus spécifiquement en Catalogne), style sapin en Suisse, Modern en Russie.
Turing-completEn informatique et en logique, un système formel est dit complet au sens de Turing ou Turing-complet (par calque de l’anglais Turing-complete) s’il possède un pouvoir expressif au moins équivalent à celui des machines de Turing. Dans un tel système, il est donc possible de programmer n'importe quelle machine de Turing. Cette notion est rendue pertinente par la thèse de Church, qui postule l’existence d’une notion naturelle de calculabilité.
Functional completenessIn logic, a functionally complete set of logical connectives or Boolean operators is one which can be used to express all possible truth tables by combining members of the set into a Boolean expression. A well-known complete set of connectives is { AND, NOT }. Each of the singleton sets { NAND } and { NOR } is functionally complete. However, the set { AND, OR } is incomplete, due to its inability to express NOT. A gate or set of gates which is functionally complete can also be called a universal gate / gates.
