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.
Tensioactifvignette|Le rôle du tensioactif dans la liaison entre particules magnétiques et solvant. Un tensioactif ou agent de surface ou surfactant (mot emprunté à l'anglais) est un composé qui modifie la tension superficielle entre deux surfaces. Les composés tensioactifs sont des molécules amphiphiles, c'est-à-dire qu'elles présentent deux parties de polarité différente, l'une lipophile (qui retient les matières grasses) est apolaire, l'autre hydrophile (miscible dans l'eau) est polaire.
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 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.
File Transfer ProtocolFile Transfer Protocol (protocole de transfert de fichier), ou FTP, est un protocole de communication destiné au partage de fichiers sur un réseau TCP/IP. Il permet, depuis un ordinateur, de copier des fichiers vers un autre ordinateur du réseau, ou encore de supprimer ou de modifier des fichiers sur cet ordinateur. Ce mécanisme de copie est souvent utilisé pour alimenter un site web hébergé chez un tiers. La variante de FTP protégée par les protocoles SSL ou TLS (SSL étant le prédécesseur de TLS) s'appelle .
Foievignette|Le foie est en rouge sur cette représentation du système digestif humain. Le foie est le plus gros organe abdominal et fait partie de l'appareil digestif sécrétant la bile et remplissant plus de vitales, notamment les trois suivantes : une fonction d'épuration, une fonction de synthèse et une fonction de stockage. Il s'agit d'une glande amphicrine permettant la synthèse de la bile (rôle exocrine) ainsi que celle de plusieurs glucides et lipides (rôle endocrine). Il joue aussi un rôle important dans l'hémostase.
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.
Avantage comparatifEn économie, l'avantage comparatif est le concept principal de la théorie traditionnelle du commerce international. Il a été approché par Robert Torrens en 1815 et démontré pour la première fois par l’économiste britannique David Ricardo en 1817 dans ses Principes de l’économie politique et de l’impôt. La théorie associée à l’avantage comparatif explique que, dans un contexte de libre-échange, chaque pays a intérêt à se spécialiser dans la production pour laquelle il dispose de l'écart de productivité (ou du coût) le plus fort en sa faveur, ou le plus faible en sa défaveur, comparativement à ses partenaires.
Avantage absoluLa théorie des avantages absolus est un concept d'économie internationale. Il s'agit, pour un pays, de l'avantage qu'il détient sur un autre lorsque, pour un bien ou un service, sa production par unité de facteur, ou productivité, est supérieure aux autres pays. Le terme est utilisé au sujet d'un individu, pour désigner l'avantage qu'il détient sur un autre lorsque, avec la même quantité de facteurs de production, sa production est supérieure.
Cycle du dioxyde de siliciumLe cycle du dioxyde de silicium est le cycle biogéochimique dans lequel le dioxyde de silicium (ou silice) est transféré entre les différents systèmes terrestres. Le silicium est un élément bioessentiel et c'est aussi l'un des éléments les plus abondants sur Terre. Le cycle du dioxyde de silicium a un chevauchement significatif avec le cycle du carbone (cycle carbonate-silicate) et joue un rôle important dans l'enfermement du carbone par le biais de l'altération continentale, de l'exportation biogénique et de l'enfouissement sous forme de limons à l'échelle des temps géologiques.
