Logique mathématiqueLa logique mathématique ou métamathématique est une discipline des mathématiques introduite à la fin du , qui s'est donné comme objet l'étude des mathématiques en tant que langage. Les objets fondamentaux de la logique mathématique sont les formules représentant les énoncés mathématiques, les dérivations ou démonstrations formelles représentant les raisonnements mathématiques et les sémantiques ou modèles ou interprétations dans des structures qui donnent un « sens » mathématique générique aux formules (et parfois même aux démonstrations) comme certains invariants : par exemple l'interprétation des formules du calcul des prédicats permet de leur affecter une valeur de vérité'.
Méthode d'EulerEn mathématiques, la méthode d'Euler, nommée ainsi en l'honneur du mathématicien Leonhard Euler (1707 — 1783), est une procédure numérique pour résoudre par approximation des équations différentielles du premier ordre avec une condition initiale. C'est la plus simple des méthodes de résolution numérique des équations différentielles. thumb|Illustration de la méthode d'Euler explicite : l'avancée se fait par approximation sur la tangente au point initial.
Méthode itérativeEn analyse numérique, une méthode itérative est un procédé algorithmique utilisé pour résoudre un problème, par exemple la recherche d’une solution d’un système d'équations ou d’un problème d’optimisation. En débutant par le choix d’un point initial considéré comme une première ébauche de solution, la méthode procède par itérations au cours desquelles elle détermine une succession de solutions approximatives raffinées qui se rapprochent graduellement de la solution cherchée. Les points générés sont appelés des itérés.
Super gridA super grid or supergrid is a wide-area transmission network, generally trans-continental or multinational, that is intended to make possible the trade of high volumes of electricity across great distances. It is sometimes also referred to as a "mega grid". Super grids typically are proposed to use high-voltage direct current (HVDC) to transmit electricity long distances. The latest generation of HVDC power lines can transmit energy with losses of only 1.6% per 1,000 km.
Ressource renouvelablethumb|Déforestation en Europe Une ressource renouvelable est une ressource naturelle dont le stock peut se reconstituer sur une période courte à l'échelle humaine de temps, en se renouvelant au moins aussi vite qu'elle est consommée. C'est le cas par exemple de diverses ressources animales d'élevage ou végétales cultivées (biomasse), l'eau d'une nappe d'eau souterraine dont le niveau reste stable, de l'énergie éolienne et de l'énergie solaire. En ce qui concerne les ressources vivantes naturelles (gibiers, poissons, mais aussi humus, forêts primaires.
Fondements des mathématiquesLes fondements des mathématiques sont les principes de la philosophie des mathématiques sur lesquels est établie cette science. Le logicisme a été prôné notamment par Gottlob Frege et Bertrand Russell. La mathématique pure présente deux caractéristiques : la généralité de son discours et la déductibilité du discours mathématique . En ce que le discours mathématique ne prétend qu’à une vérité formelle, il est possible de réduire les mathématiques à la logique, les lois logiques étant les lois du « vrai ».
Stockage intersaisonnier de chaleurLe stockage saisonnier d'énergie thermique, stockage thermique intersaisonnier (ou STES pour seasonal thermal energy storage) est le stockage de chaleur ou de froid pour des périodes pouvant aller jusqu'à quelques mois. L'énergie thermique peut être recueillie partout où elle est disponible et être utilisée quand on en a besoin. Ainsi, la chaleur des capteurs solaires, la chaleur perdue des équipements d'air conditionné ou des processus industriels peut être collectée pendant la saison chaude et utilisée pour le chauffage quand elle est nécessaire, y compris pendant les mois d'hiver.
Mathématiquesthumb|upright|Raisonnement mathématique sur un tableau. Les mathématiques (ou la mathématique) sont un ensemble de connaissances abstraites résultant de raisonnements logiques appliqués à des objets divers tels que les ensembles mathématiques, les nombres, les formes, les structures, les transformations ; ainsi qu'aux relations et opérations mathématiques qui existent entre ces objets. Elles sont aussi le domaine de recherche développant ces connaissances, ainsi que la discipline qui les enseigne.
Investment managementInvestment management (sometimes referred to more generally as asset management) is the professional asset management of various securities, including shareholdings, bonds, and other assets, such as real estate, to meet specified investment goals for the benefit of investors. Investors may be institutions, such as insurance companies, pension funds, corporations, charities, educational establishments, or private investors, either directly via investment contracts/mandates or via collective investment schemes like mutual funds, exchange-traded funds, or REITs.
Marché (économie)Un marché est l'institution sociale abstraite où se rencontrent l'offre et la demande de biens ou de services. Le marché est ainsi le lieu, physique ou virtuel, où les échanges commerciaux ont lieu. Dans son acception la plus ancienne, un marché est une institution qui accueille un commerce localisé précisément dans l'espace et le temps mais de dimension variable, par exemple les marchés traditionnels, les marchés aux puces et Lloyd's of London.
Méthode scientifiqueLa méthode scientifique désigne l'ensemble des canons guidant ou devant guider le processus de production des connaissances scientifiques, qu'il s'agisse d'observations, d'expériences, de raisonnements, ou de calculs théoriques. Très souvent, le terme de « méthode » engage l'idée implicite de son unicité, tant auprès du grand public que de certains chercheurs, qui de surcroît la confondent parfois avec la seule méthode hypothético-déductive.
Flywheel energy storageFlywheel energy storage (FES) works by accelerating a rotor (flywheel) to a very high speed and maintaining the energy in the system as rotational energy. When energy is extracted from the system, the flywheel's rotational speed is reduced as a consequence of the principle of conservation of energy; adding energy to the system correspondingly results in an increase in the speed of the flywheel. Most FES systems use electricity to accelerate and decelerate the flywheel, but devices that directly use mechanical energy are being developed.
