Intuitionistic type theoryIntuitionistic type theory (also known as constructive type theory, or Martin-Löf type theory) is a type theory and an alternative foundation of mathematics. Intuitionistic type theory was created by Per Martin-Löf, a Swedish mathematician and philosopher, who first published it in 1972. There are multiple versions of the type theory: Martin-Löf proposed both intensional and extensional variants of the theory and early impredicative versions, shown to be inconsistent by Girard's paradox, gave way to predicative versions.
NombreUn nombre est un concept permettant d’évaluer et de comparer des quantités ou des rapports de grandeurs, mais aussi d’ordonner des éléments en indiquant leur rang. Souvent écrits à l’aide d’un ou plusieurs chiffres, les nombres interagissent par le biais d’opérations qui sont résumées par des règles de calcul. Les propriétés de ces relations entre les nombres sont l’objet d’étude de l’arithmétique, qui se prolonge avec la théorie des nombres.
Adobe AcrobatAdobe Acrobat est une famille de logiciels mis au point par Adobe Systems, pour manipuler des documents électroniques au format PDF. Le programme Adobe Acrobat Reader DC (auparavant appelé Adobe Acrobat Reader, puis Adobe Reader) est disponible gratuitement sur le site Web d'Adobe et permet l' et l'impression des fichiers PDF. Les nombreux programmes commerciaux de la gamme Acrobat permettent d'effectuer quelques modifications minimales et d'ajouter des fonctionnalités aux documents PDF (formulaire PDF par exemple).
Arbre couvrantDans le domaine mathématique de la théorie des graphes, un arbre couvrant d'un graphe non orienté et connexe est un arbre inclus dans ce graphe et qui connecte tous les sommets du graphe. De façon équivalente, c'est un sous-graphe acyclique maximal, ou encore, un sous-graphe couvrant connexe minimal. Dans certains cas, le nombre d'arbres couvrants d'un graphe connexe est facilement calculable. Par exemple, si lui-même est un arbre, alors , tandis que si est un n-cycle, alors .
Sustainability measurementSustainability measurement is a set of frameworks or indicators to measure how sustainable something is. This includes processes, products, services and businesses. Sustainability is difficult to quantify. It may even be impossible to measure. To measure sustainability, the indicators consider environmental, social and economic domains. The metrics are still evolving. They include indicators, benchmarks and audits. They include sustainability standards and certification systems like Fairtrade and Organic.
Nombre de masse441px|droite Le nombre de masse (A) est le terme employé en chimie et en physique pour représenter le nombre de nucléons, c'est-à-dire la somme du nombre de protons (numéro atomique Z) et du nombre de neutrons (N) constituant le noyau d'un atome. Par exemple, le noyau du carbone 12 (12C) compte 6 protons et 6 neutrons, son nombre de masse est donc 12 (6 + 6). C'est ce nombre qui détermine la variété isotopique d'un élément chimique. On appelle isotopes des éléments chimiques ayant un même numéro atomique, mais un nombre de neutrons et donc un nombre de masse différents.
Théorie des nombresTraditionnellement, la théorie des nombres est une branche des mathématiques qui s'occupe des propriétés des nombres entiers (qu'ils soient entiers naturels ou entiers relatifs). Plus généralement, le champ d'étude de cette théorie concerne une large classe de problèmes qui proviennent naturellement de l'étude des entiers. La théorie des nombres occupe une place particulière en mathématiques, à la fois par ses connexions avec de nombreux autres domaines, et par la fascination qu'exercent ses théorèmes et ses problèmes ouverts, dont les énoncés sont souvent faciles à comprendre, même pour les non-mathématiciens.
Presentation slideA slide is a single page of a presentation. Collectively, a group of slides may be known as a slide deck. A slide show is an exposition of a series of slides or images in an electronic device or in a projection screen. Before the advent of the personal computer, a presentation slide could be a 35 mm slide viewed with a slide projector or a transparency viewed with an overhead projector. In the digital age, a slide most commonly refers to a single page developed using a presentation program such as MS PowerPoint, Apple Keynote, Google Slides, Apache OpenOffice or LibreOffice.
Nombre baryoniqueLe est, en physique des particules, un nombre quantique additif invariant. Il peut être défini comme le tiers de la différence entre le nombre de quarks et le nombre d'antiquarks dans le système : où est le nombre de quarks, et est le nombre d'antiquarks. D'un point de vue pratique, on divise par trois afin de faire correspondre le nombre baryonique au nombre de nucléons (protons et neutrons, tous deux constitués de trois quarks). Or, ces particules ont été connues bien avant, et sont plus familières que les quarks.
Câblierthumb|Un câblier à Astoria, Oregon aux États-Unis. Un câblier est un navire spécialisé dans la pose, le relevage et l’entretien des câbles sous-marin pour l'acheminement de télécommunications ou le transport de l'énergie électrique. Il peut être équipé d’engins spéciaux ou robots sous-marins pour mener les interventions sur les câbles. Le premier câble sous-marin international fut posé dans la Manche en 1851 par un remorqueur à vapeur transformé en câblier : le Goliath. Le premier câblier français fut l'Ampère, lancé en 1864.
Microsoft Office 2007Microsoft Office 2007, anciennement nommé Office 12, est une évolution de la suite bureautique de Microsoft depuis sa création sortie le en remplacement de Microsoft Office 2003. Parmi les nouveautés, les applications globales restent les mêmes et vient s’ajouter Office « 12 » Server et Microsoft Expression Web (succédant à FrontPage). La gamme Groove fait également son entrée dans Office 2007 avec une composante « client », Microsoft Office Groove, et une gamme « Serveurs » contenant Groove Management Server, Groove DataBridge, et Groove Relay Server.
Numéro atomique400px|droite Le numéro atomique (Z) représente, en chimie et en physique, le nombre de protons d'un atome. Ce dernier peut être schématisé, en première approche, par une agglomération compacte (noyau atomique) de protons (p+) et de neutrons (n), autour de laquelle circulent des électrons (e−). Dans un atome de charge électrique neutre, le nombre d'électrons est égal au numéro atomique. Comme les protons sont les seuls éléments du noyau avec une charge, le nombre de protons est égal au nombre d'électrons.
