Théorie naïve des ensemblesLes ensembles sont d'une importance fondamentale en mathématiques ; en fait, de manière formelle, la mécanique interne des mathématiques (nombres, relations, fonctions, etc.) peut se définir en termes d'ensembles. Il y a plusieurs façons de développer la théorie des ensembles et plusieurs théories des ensembles existent. Par théorie naïve des ensembles, on entend le plus souvent un développement informel d'une théorie des ensembles dans le langage usuel des mathématiques, mais fondée sur les axiomes de la théorie des ensembles de Zermelo ou de Zermelo-Fraenkel avec axiome du choix dans le style du livre Naive Set Theory de Paul Halmos.
Ergonomic keyboardAn ergonomic keyboard is a computer keyboard designed with ergonomic considerations to minimize muscle strain, fatigue, and other problems. The common QWERTY keyboard layout is credited to the mechanical typewriter designed by C. Latham Sholes and patented in 1878; research indicates the layout may have been influenced by telegraph operators. The offset in the columns between rows was designed to accommodate the physical links between each key and the internal mechanisms of the typewriter; as typing duties transitioned to electric (motorized) typewriters and then computers, the layout was retained to ease the transition for users that had already been trained to type.
Écran à plasmaLes écrans à plasma fonctionnent de façon similaire aux tubes d'éclairage fluorescents (improprement appelés « néons »). Ils utilisent l’électricité pour illuminer un gaz. thumb|300px|Schéma de principe Le gaz utilisé est un mélange de gaz nobles (argon 90 % et xénon 10 %). Ce mélange de gaz est inerte et inoffensif. Pour qu'il émette de la lumière on lui applique un courant électrique qui le transforme en plasma, un fluide ionisé dont les atomes ont perdu un ou plusieurs de leurs électrons et ne sont plus électriquement neutres, alors que les électrons ainsi libérés forment un nuage autour.
Catégorie enrichieUne catégorie enrichie sur une catégorie monoïdale , ou -catégorie est une extension du concept mathématique de catégorie, où les morphismes, au lieu de former une classe ou un ensemble dépourvu de structure, sont des éléments de . Le concept de catégorie enrichie part de l'observation que dans de nombreuses situations, les morphismes ont une structure naturelle d'espace vectoriel ou topologique. La catégorie doit être monoïdale afin de pouvoir définir la composition des morphismes, appelés dans ce cas hom-objets au lieu de hom-sets.
Complémentaire (théorie des ensembles)En mathématiques, et plus particulièrement en théorie des ensembles, le complémentaire d'une partie d'un ensemble est constitué de tous les éléments de n'appartenant pas à . Le complémentaire de est . En cas de risque de confusion, si l'on veut préciser que l'on parle du complémentaire de dans , on note . Si est différent de l'ensemble vide et de , alors et forment une partition de l'ensemble . Lorsque est un ensemble fini, la somme des cardinaux de et est égale au cardinal de : D'où on déduit : Exemple Pour dénombrer les absents dans une assemblée prévue de cinquante personnes, il suffit de compter les présents.
Catégorie abélienneEn mathématiques, les catégories abéliennes forment une famille de catégories qui contient celle des groupes abéliens. Leur étude systématique a été instituée par Alexandre Grothendieck pour éclairer les liens qui existent entre différentes théories cohomologiques, comme la cohomologie des faisceaux ou la cohomologie des groupes. Toute catégorie abélienne est additive. Une catégorie abélienne est une catégorie additive dans laquelle on peut additionner les flèches et définir pour toute flèche les notions de noyau, conoyau et .
2-catégorieEn mathématiques, et plus particulièrement en théorie des catégories, une 2-catégorie est une catégorie avec des « morphismes entre les morphismes », c'est-à-dire que chaque « ensemble des morphismes » transporte la structure d'une catégorie. Une 2-catégorie peut être formellement définie comme étant une catégorie enrichie au-dessus de Cat (la catégorie des catégories petites et les foncteurs entre elles), avec la structure monoïdale donnée par le produit de deux catégories.
Set-builder notationIn set theory and its applications to logic, mathematics, and computer science, set-builder notation is a mathematical notation for describing a set by enumerating its elements, or stating the properties that its members must satisfy. Defining sets by properties is also known as set comprehension, set abstraction or as defining a set's intension. Set (mathematics)#Roster notation A set can be described directly by enumerating all of its elements between curly brackets, as in the following two examples: is the set containing the four numbers 3, 7, 15, and 31, and nothing else.
Patron de conceptionEn informatique, et plus particulièrement en développement logiciel, un patron de conception (souvent appelé design pattern) est un arrangement caractéristique de modules, reconnu comme bonne pratique en réponse à un problème de conception d'un logiciel. Il décrit une solution standard, utilisable dans la conception de différents logiciels. Un patron de conception est issu de l'expérience des concepteurs de logiciels. Il décrit un arrangement récurrent de rôles et d'actions joués par des modules d'un logiciel, et le nom du patron sert de vocabulaire commun entre le concepteur et le programmeur.
Clavier MicrosoftMicrosoft has designed and sold a variety of ergonomic keyboards for computers. The oldest is the Microsoft Natural Keyboard, released in 1994, the company's first computer keyboard. The newest models are the Sculpt Ergonomic Keyboard (2013), the Surface Ergonomic Keyboard (2016), and the Microsoft Ergonomic Keyboard (2019). In general, ergonomic keyboards are designed to keep the user's arms and wrists in a near-neutral position, which means the slant angle (the lateral rotation angle for the keys in each half relative to the axis of the home row in a conventional keyboard) is approximately 10 to 12.
3D displayA 3D display is a display device capable of conveying depth to the viewer. Many 3D displays are stereoscopic displays, which produce a basic 3D effect by means of stereopsis, but can cause eye strain and visual fatigue. Newer 3D displays such as holographic and light field displays produce a more realistic 3D effect by combining stereopsis and accurate focal length for the displayed content. Newer 3D displays in this manner cause less visual fatigue than classical stereoscopic displays.
User experience designUser experience design (UX design, UXD, UED, or XD) is the process of defining the experience a user would go through when interacting with a company, its services, and its products. Design decisions in UX design are often driven by research, data analysis, and test results rather than aesthetic preferences and opinions. Unlike user interface design, which focuses solely on the design of a computer interface, UX design encompasses all aspects of a user's perceived experience with a product or website, such as its usability, usefulness, desirability, brand perception, and overall performance.
