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.
Proof (truth)A proof is sufficient evidence or a sufficient argument for the truth of a proposition. The concept applies in a variety of disciplines, with both the nature of the evidence or justification and the criteria for sufficiency being area-dependent. In the area of oral and written communication such as conversation, dialog, rhetoric, etc., a proof is a persuasive perlocutionary speech act, which demonstrates the truth of a proposition.
Proof calculusIn mathematical logic, a proof calculus or a proof system is built to prove statements. A proof system includes the components: Language: The set L of formulas admitted by the system, for example, propositional logic or first-order logic. Rules of inference: List of rules that can be employed to prove theorems from axioms and theorems. Axioms: Formulas in L assumed to be valid. All theorems are derived from axioms. Usually a given proof calculus encompasses more than a single particular formal system, since many proof calculi are under-determined and can be used for radically different logics.
Démonstration formelleUne démonstration formelle est une séquence finie de propositions (appelées formules bien formées dans le cas d'un langage formel) dont chacun est un axiome, une hypothèse, ou résulte des propositions précédentes dans la séquence par une règle d'inférence. La dernière proposition de la séquence est un théorème d'un système formel. La notion de théorème n'est en général pas effective, donc n'existe pas de méthode par laquelle nous pouvons à chaque fois trouver une démonstration d'une proposition donnée ou de déterminer s'il y en a une.
Proof of spaceProof of space (PoS) is a type of consensus algorithm achieved by demonstrating one's legitimate interest in a service (such as sending an email) by allocating a non-trivial amount of memory or disk space to solve a challenge presented by the service provider. The concept was formulated in 2013 by Dziembowski et al. and (with a different formulation) by Ateniese et al.. Proofs of space are very similar to proofs of work (PoW), except that instead of computation, storage is used to earn cryptocurrency.
Couche physiquevignette|Exemple d'interconnexions en niveau de couche physique Dans le domaine des réseaux informatiques, la couche physique est la première couche du modèle OSI (de l'anglais Open Systems Interconnection, « Interconnexion de systèmes ouverts »). La couche physique est chargée de la transmission effective des signaux électriques, radiofréquences ou optiques entre les interlocuteurs. Son service est généralement limité à l'émission et la réception d'un bit ou d'un train de bits continu (notamment pour les supports synchrones comme la fibre optique).
Preuve de travailUn système de validation par preuve de travail (en anglais : proof of work, PoW) est, en informatique, un protocole permettant de repousser, sur un environnement client-serveur, des attaques par déni de service ou d'autres abus de service tels que les spams. Ce système de preuve de travail est utilisé dans des cadres beaucoup plus complexes, pour la validation des transactions de la blockchain de certaines crypto-monnaies comme le Bitcoin. Cette vérification par les mineurs de bitcoins est récompensée par l'émission de nouveaux bitcoins au bénéfice des vérificateurs.
Sinusoidal plane-wave solutions of the electromagnetic wave equationSinusoidal plane-wave solutions are particular solutions to the electromagnetic wave equation. The general solution of the electromagnetic wave equation in homogeneous, linear, time-independent media can be written as a linear superposition of plane-waves of different frequencies and polarizations. The treatment in this article is classical but, because of the generality of Maxwell's equations for electrodynamics, the treatment can be converted into the quantum mechanical treatment with only a reinterpretation of classical quantities (aside from the quantum mechanical treatment needed for charge and current densities).
Couche transportthumb|Position de la couche transport dans le modèle ISO et dans TCP-IP En réseaux, la couche dite de transport constitue la quatrième couche du modèle OSI. Cette couche regroupe l'ensemble des protocoles chargés de la gestion des erreurs et du contrôle des flux réseaux. Les deux principaux protocoles utilisés sont les protocoles TCP et UDP. Modèle OSI La couche transport gère les communications de bout en bout entre processus. Cette couche est souvent la plus haute couche où on se préoccupe de la correction des erreurs.
Photon polarizationPhoton polarization is the quantum mechanical description of the classical polarized sinusoidal plane electromagnetic wave. An individual photon can be described as having right or left circular polarization, or a superposition of the two. Equivalently, a photon can be described as having horizontal or vertical linear polarization, or a superposition of the two. The description of photon polarization contains many of the physical concepts and much of the mathematical machinery of more involved quantum descriptions, such as the quantum mechanics of an electron in a potential well.
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.
Couche liaison de donnéesvignette|Modèle OSI complet avec la couche liaison en deuxième position en partant du bas Dans le domaine des réseaux informatiques, la couche de liaison de données est la seconde couche des sept couches du modèle OSI. La couche de liaison de données est la couche de protocole qui transfère des données entre les nœuds adjacents d'un réseau étendu (WAN) ou entre des nœuds sur le même segment d'un réseau local (LAN).
PolariseurUn polariseur est un instrument d'optique qui sélectionne dans une onde lumineuse incidente une direction de polarisation préférentielle : la plupart des polariseurs permettent d'obtenir une lumière polarisée rectilignement dans une certaine direction. Dans ce cas, cette direction est appelée l’axe du polariseur. Mis en fin de système optique, le polariseur est appelé « analyseur ». Les polariseurs sont présents dans de nombreuses expériences d'optique et sont donc utilisés dans des instruments d'optique.
Couche applicationLa couche application est la du modèle OSI. La couche application est surtout, du point de vue du modèle, le point d'accès aux services réseaux. Comme le modèle n'a pas pour rôle de spécifier les applications, il ne spécifie pas de service à ce niveau. La couche d'application représente des données pour l'utilisateur ainsi que du codage et un contrôle du dialogue : des mécanismes de communication offerts aux applications de l'utilisateur.
Pile à combustibleUne pile à combustible est un générateur électrochimique produisant une tension électrique grâce à l'oxydation sur une électrode d'un combustible réducteur (par exemple le dihydrogène) couplée à la réduction sur l'autre électrode d'un oxydant, tel que l'oxygène de l'air. Elle est distincte de la pile électrique, qui fonctionne également par réaction d'oxydoréduction, mais qui est constituée d'empilements de métaux. vignette|Pile à combustible de la NASA au méthanol.
Biréfringencedroite|vignette|400px|Le texte apparait en double après avoir traversé le cristal de calcite. C'est la double réfraction, un phénomène caractéristique des milieux biréfringents. La biréfringence est la propriété physique d'un matériau dans lequel la lumière se propage de façon anisotrope. Dans un milieu biréfringent, l'indice de réfraction n'est pas unique, il dépend de la direction de polarisation de l'onde lumineuse. Un effet spectaculaire de la biréfringence est la double réfraction par laquelle un rayon lumineux pénétrant dans le cristal est divisé en deux.
Véhicule à pile à combustibleUn véhicule à pile à combustible (VPC) ou véhicule électrique à pile à combustible est un véhicule électrique qui utilise une pile à combustible, parfois en combinaison avec une petite batterie ou un supercondensateur, pour alimenter son moteur électrique embarqué. Les piles à combustible sont alimentées par un carburant qui peut être en particulier l'hydrogène, le méthanol, l'éthanol ou l'acide formique. Ces véhicules ont un bilan carbone faible par rapport aux véhicules à moteur à combustion interne, en particulier suivant le mode de production du carburant alimentant la pile.
