Proof by contradictionIn logic, proof by contradiction is a form of proof that establishes the truth or the validity of a proposition, by showing that assuming the proposition to be false leads to a contradiction. Although it is quite freely used in mathematical proofs, not every school of mathematical thought accepts this kind of nonconstructive proof as universally valid. More broadly, proof by contradiction is any form of argument that establishes a statement by arriving at a contradiction, even when the initial assumption is not the negation of the statement to be proved.
Démonstration (logique et mathématiques)vignette| : un des plus vieux fragments des Éléments d'Euclide qui montre une démonstration mathématique. En mathématiques et en logique, une démonstration est un ensemble structuré d'étapes correctes de raisonnement. Dans une démonstration, chaque étape est soit un axiome (un fait acquis), soit l'application d'une règle qui permet d'affirmer qu'une proposition, la conclusion, est une conséquence logique d'une ou plusieurs autres propositions, les prémisses de la règle.
Raisonnement par disjonction de casProof by exhaustion, also known as proof by cases, proof by case analysis, complete induction or the brute force method, is a method of mathematical proof in which the statement to be proved is split into a finite number of cases or sets of equivalent cases, and where each type of case is checked to see if the proposition in question holds. This is a method of direct proof. A proof by exhaustion typically contains two stages: A proof that the set of cases is exhaustive; i.e.
Diode électroluminescente organiquevignette|droite|250px|Prototype de panneaux OLED. Une diode électroluminescente organique ou DELO — usuellement désignée par son acronyme anglais OLED, pour organic light-emitting diode — est un composant électronique qui permet de produire de la lumière. La structure de la diode est relativement simple puisque c'est une superposition de plusieurs couches semi-conductrices organiques entre deux électrodes dont l'une (au moins) est transparente.
Raisonnement par récurrencevignette|Le raisonnement par récurrence est comme une suite de dominos. Si la propriété est vraie au rang n0 (i. e. le premier domino de numéro 0 tombe) et si sa véracité au rang n implique celle au rang n + 1 (i. e. la chute du domino numéro n fait tomber le domino numéro n + 1) alors la propriété est vraie pour tout entier (i. e. tous les dominos tombent). En mathématiques, le raisonnement par récurrence (ou par induction, ou induction complète) est une forme de raisonnement visant à démontrer une propriété portant sur tous les entiers naturels.
Papier électroniqueLe papier électronique (en e-paper), également appelé papiel ou encore encre électronique (en e-ink), est une technique d'affichage sur support souple (papier, plastique), modifiable électroniquement, cherchant à imiter l'apparence d'une feuille imprimée et qui, comme le papier, ne nécessite pas d'énergie pour laisser un texte ou une image affiché. Contrairement aux techniques d'affichage classiques qui nécessitent un rétroéclairage ou l'émission de photons, le papier électronique est purement réflectif et utilise la lumière ambiante de la même manière que le papier classique.
Matière organiquevignette|Le bois est essentiellement composé de matière organique (lignine et cellulose principalement), très dense en carbone. La matière organique (parfois abrégée MO) est la matière fabriquée par les êtres vivants (végétaux, animaux, champignons et autres décomposeurs dont micro-organismes). La matière organique compose leurs tissus (tige, coquille, muscles, etc). Elle compose la biomasse vivante et morte (nécromasse) au sein d'un cycle décomposition/biosynthèse où une part de cette matière est fossilisée (charbon, pétrole, gaz naturel), minéralisée ou recyclée dans les écosystèmes et agro-écosystèmes.
Démonstration constructiveUne première vision d'une démonstration constructive est celle d'une démonstration mathématique qui respecte les contraintes des mathématiques intuitionnistes, c'est-à-dire qui ne fait pas appel à l'infini, ni au principe du tiers exclu. Ainsi, démontrer l'impossibilité de l'inexistence d'un objet ne constitue pas une démonstration constructive de son existence : il faut pour cela en exhiber un et expliquer comment le construire. Si une démonstration est constructive, on doit pouvoir lui associer un algorithme.
Semi-conducteur organiquevignette|Molécules de quinacridone (semi-conducteur organique) adsorbées sur une surface de graphite. Un semi-conducteur organique est un composé organique, sous la forme d'un cristal ou d'un polymère, qui montre des propriétés similaires aux semi-conducteurs inorganiques. Ses propriétés sont la conduction par les électrons et les trous, ainsi que la présence d'une bande interdite. Ces matériaux ont donné naissance à l'électronique organique, ou électronique des plastiques.
Cellule photovoltaïque organiquevignette|On peut apercevoir les cellules photovoltaïques organiques Les cellules photovoltaïques organiques sont des cellules photovoltaïques dont au moins la couche active est constituée de molécules organiques. Leur développement constitue une tentative de réduction du coût de l'électricité photovoltaïque, sans conteste la principale barrière pour cette technologie, mais on espère aussi qu'elles seront plus fines, flexibles, faciles et moins chères à produire, tout en étant résistantes.
Oxyde d'indium-étainL'oxyde d'indium-étain (ITO, pour l'anglais indium tin oxide), ou oxyde d'indium dopé à l'étain, est un mélange d'oxyde d'indium(III) et d'oxyde d'étain (IV) SnO, dans la proportion massique typique de 90 % du premier et 10 % du second. Ce composé est incolore et transparent en couches minces, de jaunâtre à gris sous forme massique. La caractéristique principale de l'oxyde d'indium-étain est sa combinaison de conductivité électrique et de transparence optique.
Droit des peuples à disposer d'eux-mêmesupright=0.6|vignette|Population algérienne en liesse après la proclamation officielle de l’indépendance (). Le droit des peuples à disposer d'eux-mêmes, ou droit à l’autodétermination, est le principe issu du droit international selon lequel chaque peuple dispose ou devrait disposer du choix libre et souverain de déterminer la forme de son régime politique, indépendamment de toute influence étrangère. L'exercice de ce droit est en général lié à l'existence d'un État spécifique au peuple en question, État dont la pleine souveraineté est souvent envisagée comme la manifestation de la plénitude de ce droit.
Physique du solideLa physique du solide est l'étude des propriétés fondamentales des matériaux solides, cristallins – par exemple la plupart des métaux –, ou amorphes – par exemple les verres – en partant autant que possible des propriétés à l'échelle atomique (par exemple la fonction d'onde électronique) pour remonter aux propriétés à l'échelle macroscopique. Bien que celles-ci présentent parfois de fortes réminiscences des propriétés microscopiques (par ex.
État solide (électronique)thumb|Comparaison entre un disque dur classique et un SSD (un dispositif à l'état solide). En électronique, le terme anglais Solid-state, peut être traduit en français par à l'état solide ou à l'état massif, ou encore statique. Il s'agit d'un circuit ou d'un dispositif construit entièrement de matériaux à l'état solide (non gazeux, ni liquide) et dans lequel les électrons, ou d'autres porteurs de charge, sont confinés dans un milieu à l'état solide. Les composants sont conçus spécialement pour commuter et amplifier ce courant électrique.
Transport en communvignette|Un tramway à Cracovie (2014). vignette|Gare de Paris-Nord, rencontre du Thalys et du métro parisien. Le transport en commun ou transport public est un mode de transport consistant à transporter plusieurs personnes ensemble sur un même trajet. Il est généralement accessible en contrepartie d'un titre de transport comme un billet, un ticket ou une carte. Néanmoins il peut être mis à disposition du public à titre gracieux dans certaines circonstances (pic de pollution par exemple).
Boîte quantiqueUne boîte quantique ou point quantique, aussi connu sous son appellation anglophone de quantum dot, est une nanostructure de semi-conducteurs. De par sa taille et ses caractéristiques, elle se comporte comme un puits de potentiel qui confine les électrons (et les trous) dans les trois dimensions de l'espace, dans une région d'une taille de l'ordre de la longueur d'onde des électrons (longueur d'onde de De Broglie), soit quelques dizaines de nanomètres dans un semi-conducteur.
High-level synthesisHigh-level synthesis (HLS), sometimes referred to as C synthesis, electronic system-level (ESL) synthesis, algorithmic synthesis, or behavioral synthesis, is an automated design process that takes an abstract behavioral specification of a digital system and finds a register-transfer level structure that realizes the given behavior. Synthesis begins with a high-level specification of the problem, where behavior is generally decoupled from low-level circuit mechanics such as clock-level timing.
Synthèse logiqueEn électronique, la synthèse logique (RTL synthesis) est la traduction d'une forme abstraite de description du comportement d'un circuit (voir Register Transfer Level) en sa réalisation concrète sous forme de portes logiques. Le point de départ peut être un langage de description de matériel comme VHDL ou Verilog, un schéma logique du circuit. D'autres sources sont venues s'additionner depuis les années 2010, comme l'utilisation de la programmation en OpenCL. Le point d'arrivée peut être un code objet pour un CPLD ou FPGA ou la création d'un ASIC.
Rail transportRail transport (also known as train transport) is a means of transport that transfers passengers and goods on wheeled vehicles running on rails, which are incorporated in tracks. In contrast to road transport, where the vehicles run on a prepared flat surface, rail vehicles (rolling stock) are directionally guided by the tracks on which they run. Tracks usually consist of steel rails.Rolling stock in a rail transport system generally encounters lower frictional resistance than rubber-tyred road vehicles, so passenger and freight cars (carriages and wagons) can be coupled into longer trains.
Film photovoltaïqueUn film photovoltaïque ou cellule solaire en couche mince ou encore couche mince photovoltaïque est une technologie de cellules photovoltaïques de deuxième génération, consistant à l'incorporation d'une ou plusieurs couches minces (ou TF pour ) de matériau photovoltaïque sur un substrat, tel que du verre, du plastique ou du métal. Les couches minces photovoltaïques commercialisées actuellement utilisent plusieurs matières, notamment le tellurure de cadmium (de formule CdTe), le diséléniure de cuivre-indium-gallium (CIGS) et le silicium amorphe (a-Si, TF-Si).
