Opération (mathématiques)En mathématiques, une opération est un processus visant à obtenir un résultat à partir d'un ou plusieurs objets appelés opérandes. L'écriture d'une opération implique en général l'utilisation d'un symbole spécifique appelé opérateur. En arithmétique, les quatre opérations élémentaires (addition, soustraction, multiplication et division) sont suivies par le carré, le cube et plus généralement les opérations puissance, la racine carrée, l'exponentiation, la factorielle...
Langage formelUn langage formel, en mathématiques, en informatique et en linguistique, est un ensemble de mots. L'alphabet d'un langage formel est l'ensemble des symboles, lettres ou lexèmes qui servent à construire les mots du langage ; souvent, on suppose que cet alphabet est fini. La théorie des langages formels a pour objectif de décrire les langages formels. Les mots sont des suites d'éléments de cet alphabet ; les mots qui appartiennent à un langage formel particulier sont parfois appelés mots bien formés ou formules bien formées.
Art abstraitvignette| Eugène Carrière, Le Sommeil, lithographie (éditions A. Vollard, 1897). vignette|Vassily Kandinsky, sans titre (Étude pour composition VII, Première abstraction), 1913 (datée de « 1910 »), mine graphite, encre de Chine et aquarelle sur papier (), Musée national d'Art moderne (MNAM), Paris. thumb| Otto Freundlich, Composition, 1911, huile sur toile (), Musée d'art moderne de Paris. vignette|Arthur Dove, Nature Symbolized No.2, vers 1911, pastel sur papier sur isorel (), Art Institute of Chicago, lequel fut à Paris entre 1907 et 1909, exposant avec les fauves.
Expressionnisme abstraitvignette|Cubi VI de David Smith, sculpture expressionniste abstraite exposée au musée d'Israël, à Jérusalem. Lexpressionnisme abstrait est un mouvement artistique qui s'est développé peu après la Seconde Guerre mondiale aux États-Unis. C'est aussi un élément central de l'école de New York, « école » qui a rassemblé les artistes (poètes, peintres, musiciens...) d'avant-garde actifs à New York et aux États-Unis avant et après la Seconde Guerre mondiale. On parle d'expressionnisme abstrait pour un certain type de peinture, de sculpture et de photographie.
Fundamental pair of periodsIn mathematics, a fundamental pair of periods is an ordered pair of complex numbers that defines a lattice in the complex plane. This type of lattice is the underlying object with which elliptic functions and modular forms are defined. A fundamental pair of periods is a pair of complex numbers such that their ratio is not real. If considered as vectors in , the two are not collinear. The lattice generated by and is This lattice is also sometimes denoted as to make clear that it depends on and It is also sometimes denoted by or or simply by The two generators and are called the lattice basis.
Projection (défense)thumb|299px|Un membre de la Royal Air Force britannique dirige le chargement d'un VAB de l'Armée de terre française dans un des C-17 mis à disposition dans le cadre de l'opération Serval. Photo : , 6h du matin. Dans la défense, la projection recouvre l'ensemble des interventions conduites hors des frontières d'un État. Lorsqu'il y a envoi de troupes au sol sur le théâtre d'opération, on parle de projection de forces. Dans le cas contraire, on parle de projection de puissance.
Fonction elliptiquevignette|Fonctions elliptiques lemniscates et ellipse. En mathématiques, et plus particulièrement en analyse complexe, une fonction elliptique est, grossièrement parlant, une fonction définie sur le plan complexe qui est doublement périodique (périodique dans deux directions). Elle peut être vue comme analogue à une fonction trigonométrique (qui a une seule période).
Véhicule électriqueUn véhicule électrique est un moyen de déplacement dont la propulsion est assurée exclusivement par un ou plusieurs moteurs électriques. Il peut tirer son énergie de ressources embarquées comme une batterie électrique, ou être connecté à une source extérieure, par exemple via une caténaire. Le moteur peut être lui aussi embarqué, comme dans la plupart des véhicules terrestres, ou extérieur dans le cas du transport par câble. thumb|Un véhicule électrique dans un parc d'attractions.
Langage de programmation de haut niveauEn programmation informatique, un langage de programmation à haut niveau d'abstraction généralement appelé langage de haut niveau est un langage de programmation orienté autour du problème à résoudre, qui permet d'écrire des programmes en utilisant des mots usuels des langues naturelles (très souvent de l'anglais) et des symboles mathématiques familiers. Un langage de haut niveau fait abstraction des caractéristiques techniques du matériel utilisé pour exécuter le programme, tels que les registres et les drapeaux du processeur.
Méthode formelle (informatique)En informatique, les méthodes formelles sont des techniques permettant de raisonner rigoureusement, à l'aide de logique mathématique, sur un programme informatique ou du matériel électronique numérique, afin de démontrer leur validité par rapport à une certaine spécification. Elles reposent sur les sémantiques des programmes, c'est-à-dire sur des descriptions mathématiques formelles du sens d'un programme donné par son code source (ou, parfois, son code objet).
