Intégrale de DirichletL'intégrale de Dirichlet est l'intégrale de la fonction sinus cardinal sur la demi-droite des réels positifs Il s'agit d'une intégrale impropre semi-convergente, c'est-à-dire qu'elle n'est pas absolument convergente () mais existe et est finie. On considère la fonctionEn 0, sa limite à droite vaut 1, donc f est prolongeable en une application continue sur [0, +∞[, si bien qu'elle est intégrable sur [0, a] pour tout a > 0.Mais elle n'est pas intégrable en +∞, c'est-à-dire que.
Gestionnaire de fenêtresUn système de fenêtrage ou « gestionnaire de fenêtres » (« window manager » en anglais) est un logiciel chargé de l'affichage et du placement des fenêtres d'applications. Les plus connus sont ceux utilisés par le système de fenêtrage X (sur les systèmes Unix, Linux et BSD). Il en existe aussi sous Windows (comme LiteStep) et sous OS/2 (le Presentation Manager pouvant être remplacé), mais ces cas sont beaucoup moins répandus du fait, entre autres, de la gratuité de X et de ses spécifications ouvertes.
Intégrale non élémentaireEn mathématiques, une intégrale non élémentaire est une intégrale qui n'a aucune formule en termes de fonctions élémentaires. L'existence de telles fonctions a été démontrée par Joseph Liouville en 1835. Parmi les intégrales non élémentaires, on peut citer où R est une fonction rationnelle à deux variables, P est une fonction polynomiale de degré 3 ou 4 avec des racines simples, qui donnent les intégrales elliptiques ; qui donne le logarithme intégral ; à l'origine de la loi normale. Théorème de Liouvill
Intégrale impropreEn mathématiques, lintégrale impropre (ou intégrale généralisée) désigne une extension de l'intégrale usuelle, définie par une forme de passage à la limite dans des intégrales. On note en général les intégrales impropres sans les distinguer des véritables intégrales ou intégrales définies, ainsi : est un exemple classique d'intégrale impropre convergente, mais qui n'est pas définie au sens des théories de l'intégration usuelles (que ce soit l'intégration des fonctions continues par morceaux, l'intégrale de Riemann ou celle de Lebesgue ; une exception notable est la théorie de l'intégration de Kurzweil-Henstock).
Exponentielle intégraleEn mathématiques, la fonction exponentielle intégrale, habituellement notée Ei, est définie par : Comme l'intégrale de la fonction inverse () diverge en 0, cette définition doit être comprise, si x > 0, comme une valeur principale de Cauchy. vignette|Représentation graphique de la fonction exponentielle intégrale. La fonction Ei est liée à la fonction li (logarithme intégral) par : vignette|upright=1.5|Représentation graphique des fonctions E (en haut) et Ei (en bas), pour x > 0.
Fenêtrevignette|200px|Un ensemble de fenêtres parisiennes sur un immeuble haussmannien. En architecture et construction, une fenêtre, châssis en français louisianais, est une baie, une ouverture dans un mur ou un pan incliné de toiture, avec passage de l'éclairement et peut-être de l'air. Sur un mur, sa différence rudimentaire avec la porte réside dans le fait qu'elle ne descend pas jusqu'au sol (sinon c'est une porte-fenêtre, un élément créé au traité ici aussi).
Intégrale multiplevignette|Fig. 2. Intégrale double comme volume du solide situé entre un domaine du plan xy et la surface image de ce domaine par une fonction. En analyse mathématique, l'intégrale multiple est une forme d'intégrale qui s'applique aux fonctions de plusieurs variables réelles. Les deux principaux outils de calcul sont le changement de variables et le théorème de Fubini. Ce dernier permet de ramener de proche en proche un calcul d'intégrale multiple à des calculs d'intégrales simples, et d'interpréter le « volume » d'un domaine « simple » de dimension n (ou son hypervolume si n > 3) comme l'intégrale d'une fonction de n – 1 variables (Fig.
Théorie de la démonstrationLa théorie de la démonstration, aussi connue sous le nom de théorie de la preuve (de l'anglais proof theory), est une branche de la logique mathématique. Elle a été fondée par David Hilbert au début du . Hilbert a proposé cette nouvelle discipline mathématique lors de son célèbre exposé au congrès international des mathématiciens en 1900 avec pour objectif de démontrer la cohérence des mathématiques.
FenêtrageEn traitement du signal, le fenêtrage est utilisé dès que l'on s'intéresse à un signal de longueur volontairement limitée. En effet, un signal réel ne peut qu'avoir une durée limitée dans le temps ; de plus, un calcul ne peut se faire que sur un nombre fini de points. Pour observer un signal sur une durée finie, on le multiplie par une fonction fenêtre d'observation (également appelée fenêtre de pondération ou d'apodisation).
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.
Fenêtre (informatique)En informatique, une fenêtre est un élément d'un système de fenêtrage. C'est une zone rectangulaire de l'écran affectée à l'affichage de tout ou partie d'un logiciel. Les fenêtres sont parfois appelées feuilles, la notion de feuille étant plus représentative. En effet les fenêtres peuvent être placées les unes sur les autres, à la manière de feuilles de papier. L'intérieur de la fenêtre appartient au logiciel, tandis que la bordure et le bandeau supérieur appartient à l'environnement (gestionnaire de fenêtres).
Quantification existentielleEn mathématiques et en logique, plus précisément en calcul des prédicats, l'existence d'un objet x satisfaisant une certaine propriété, ou prédicat, P se note ∃x P(x), où le symbole mathématique ∃, lu « il existe », est le quantificateur existentiel, et P(x) le fait pour l'objet x d'avoir la propriété P. L'objet x a la propriété P(x) s'exprime par une formule du calcul des prédicats.
