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.
Disquettethumb|Lecteur de disquette . Une disquette est un support de stockage de données informatiques amovible. La disquette est aussi appelée disque souple (floppy disk en anglais) en raison de la souplesse des premières générations () et par opposition au disque dur. Une disquette est composée d'un fin disque de plastique souple renforcé en son centre sur lequel est apposé un substrat magnétique. Ce disque est enveloppé d'une coque de protection en matière plastique comprenant une couche interne ouatée améliorant la rotation du disque et son nettoyage et une couche externe rigide ou semi-rigide.
Disque durUn disque dur (parfois abrégé DD ; en anglais, hard disk drive, HD ou HDD) est une mémoire de masse à disque tournant magnétique utilisée principalement dans les ordinateurs, mais également dans des baladeurs numériques, des caméscopes, des lecteurs/enregistreurs de DVD de salon, des consoles de jeux vidéo Inventé en 1956, le disque dur a fait l'objet d'évolutions de capacité et de performances considérables, tout en voyant son coût diminuer, ce qui a contribué à la généralisation de son utilisation, partic
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.
Appel téléphoniqueUn appel téléphonique (ou simplement appel) est l'opération de mise en connexion entre une personne qui utilise un téléphone et son ou ses destinataires. À la suite de la numérotation du numéro de téléphone de ce dernier sur le clavier de l'appareil émetteur, une sonnerie téléphonique retentit à destination jusqu'à ce que l'individu contacté accepte l'appel. La conversation téléphonique peut alors commencer, . Un appel téléphonique transite par un réseau téléphonique fixe ou un réseau cellulaire via des antennes-relais disposées quasiment partout dans le monde.
Disk utilityA disk utility is a utility program that allows a user to perform various functions on a computer disk, such as disk partitioning and logical volume management, as well as multiple smaller tasks such as changing drive letters and other mount points, renaming volumes, disk checking, and disk formatting, which are otherwise handled separately by multiple other built-in commands. Each operating system (OS) has its own basic disk utility, and there are also separate programs which can recognize and adjust the different s of multiple OSes.
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.
Canular téléphoniqueUn canular téléphonique est une blague réalisée par téléphone, parfois par un animateur de radio ou de télévision, afin d'en assurer une diffusion dans sa propre émission. Piégeant généralement des anonymes, certains canulars sont toutefois plus remarqués car ils sont parvenus à tromper des personnalités. L'article 222-16 du code pénal précise que L’interprétation généralement donnée par les tribunaux est de considérer le seuil de pendant une période de , ou lorsque sont proférées des menaces ou insultes.
Trajectoire paraboliquethumb|La ligne verte représente une trajectoire parabolique. En mécanique céleste et en mécanique spatiale, une trajectoire parabolique (ou orbite parabolique) est une orbite de Kepler dont l'excentricité est égale à 1. L'objet en orbite décrit alors, sur le plan de l'orbite, une parabole dont le foyer est l'objet plus massif. Le mouvement parabolique s'effectue lorsqu'un projectile est soumis à une vitesse initiale et à la seule accélération de la pesanteur. Un exemple courant de mouvement parabolique est l'obus tiré depuis un canon.
Radial trajectoryIn astrodynamics and celestial mechanics a radial trajectory is a Kepler orbit with zero angular momentum. Two objects in a radial trajectory move directly towards or away from each other in a straight line. There are three types of radial trajectories (orbits). Radial elliptic trajectory: an orbit corresponding to the part of a degenerate ellipse from the moment the bodies touch each other and move away from each other until they touch each other again. The relative speed of the two objects is less than the escape velocity.
Balance des paiementsLa balance des paiements est un document statistique élaboré sous forme comptable, élément de la comptabilité nationale recensant les flux de biens, de services, de revenus, de transferts de capitaux, et les flux financiers que les résidents d'un pays dans leur ensemble (particuliers, entreprises ou État) entretiennent avec ceux du reste du monde. Par construction, la balance des paiements est toujours équilibrée, aux erreurs et omissions près, car les opérations sont enregistrées selon le principe de la comptabilité en partie double.
Balance commercialeLa balance commerciale est la différence, en termes de valeur monétaire (en monnaie nationale), entre les exportations et les importations de biens ou de biens et services (dépend du pays) dans une économie sur une période donnée, généralement, l'année. On parle aussi de solde commercial. Si l'économie nationale est insérée dans une zone de libre-échange (type Zone euro en Europe, par exemple), l'évaluation du contenu de la balance commerciale peut être faite en monnaie supranationale.
