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.
Radiotélescopethumb|Le Radiotélescope Very Large Array en configuration D. thumb|Le Radiotélescope Ryle à l'Université de Cambridge. thumb|RT-70. Un radiotélescope est un télescope spécifique utilisé en radioastronomie pour capter les ondes radioélectriques émises par les astres. Ces ondes radio, bien que plus ou moins prédites par certains physiciens comme Thomas Edison et Oliver Lodge, ne sont véritablement découvertes qu'au début des années 1930 par Karl Jansky lorsqu'il cherche l'origine de certaines interférences avec les transmissions radio terrestres.
Décibel AUne valeur exprimée en dB (A) est l'évaluation en décibels d'un niveau sonore avec la pondération A de la norme CEI 61672-1 « Électroacoustique – Sonomètres », établie pour tenir compte de la sensibilité moyenne, à un faible volume sonore, des personnes ayant une audition considérée comme normale, pour chaque bande de fréquences. La pondération A sert fréquemment pour l'évaluation de la sonie des bruits environnementaux. vignette|100px|Sonomètre intégrateur en dB(A) Le décibel SPL repère le niveau sonore par rapport à une valeur de référence, donnant le niveau .
Filtre (optique)vignette|Filtre optique pour la photographie. En optique, un filtre est un dispositif qui laisse passer une partie du rayonnement lumineux, sans autrement affecter son cheminement. Les filtres sont utilisés en photographie, dans de nombreux instruments d'optique comme ceux utilisés en astronomie, ainsi que pour l'éclairage de scène de spectacle. On distingue trois procédés de filtrage : le filtrage par absorption transmet ou absorbe le rayonnement selon sa longueur d'onde dans le vide.
Interférométrievignette|Le trajet de la lumière à travers un interféromètre de Michelson. Les deux rayons lumineux avec une source commune se combinent au miroir semi-argenté pour atteindre le détecteur. Ils peuvent interférer de manière constructive (renforcement de l'intensité) si leurs ondes lumineuses arrivent en phase, ou interférer de manière destructive (affaiblissement de l'intensité) s'ils arrivent en déphasage, en fonction des distances exactes entre les trois miroirs.
Noise (signal processing)In signal processing, noise is a general term for unwanted (and, in general, unknown) modifications that a signal may suffer during capture, storage, transmission, processing, or conversion. Sometimes the word is also used to mean signals that are random (unpredictable) and carry no useful information; even if they are not interfering with other signals or may have been introduced intentionally, as in comfort noise. Noise reduction, the recovery of the original signal from the noise-corrupted one, is a very common goal in the design of signal processing systems, especially filters.
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.
Facteur de bruitLe facteur de bruit (noise figure ou noise factor en anglais) d'un dispositif électronique quelconque, actif ou passif, quantifie la dégradation relative du rapport signal sur bruit entre sa sortie et son entrée, et ce en prenant comme hypothèse que la température ambiante est de , donc que le bruit de fond en entrée est un bruit thermique correspondant à cette température de référence de . Autrement dit, le facteur de bruit est défini comme le quotient des rapports signal sur bruit en entrée et en sortie de ce même dispositif quand le bruit en entrée est un bruit thermique à la température normalisée To=.
Frequency driftIn electrical engineering, and particularly in telecommunications, frequency drift is an unintended and generally arbitrary offset of an oscillator from its nominal frequency. Causes may include component aging, changes in temperature that alter the piezoelectric effect in a crystal oscillator, or problems with a voltage regulator which controls the bias voltage to the oscillator. Frequency drift is traditionally measured in Hz/s. Frequency stability can be regarded as the absence (or a very low level) of frequency drift.
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.
