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é'.
Logique paracohérenteEn logique mathématique, une logique paracohérente (aussi appelé logique paraconsistante) est un système logique qui tolère les contradictions, contrairement au système de la logique classique. Les logiques tolérantes aux incohérences sont étudiées depuis au moins 1910, avec des esquisses remontant sans doute au temps d'Aristote. Le terme paracohérent - (à côté du cohérent, paraconsistent en anglais) - n'a été employé qu'après 1976 par le philosophe péruvien .
Motion simulatorA motion simulator or motion platform is a mechanism that creates the feelings of being in a real motion environment. In a simulator, the movement is synchronised with a visual display of the outside world (OTW) scene. Motion platforms can provide movement in all of the six degrees of freedom (DOF) that can be experienced by an object that is free to move, such as an aircraft or spacecraft:. These are the three rotational degrees of freedom (roll, pitch, yaw) and three translational or linear degrees of freedom (surge, heave, sway).
Transport collectif en site proprevignette|Le BHNS d'Aix, circulant en site propre (ici sa voie propre) à Aix-en-Provence Site (transports en commun) thumb|Contre-exemple de site partagé entre bus, taxis et deux-roues, véhicules d'urgence à Mannheim, en Allemagne. Un transport collectif en site propre (TCSP) est un transport en commun qui emprunte une voie ou un espace qui lui est réservé, de telle manière que ce mode de transport dispose de sa propre voie, son propre site, de façon à garantir une priorité sur le trafic automobile et permettre ainsi un gain de temps.
Logique de descriptionLes logiques de description aussi appelées logiques descriptives (LD) sont une famille de langages de représentation de connaissance qui peuvent être utilisés pour représenter la connaissance terminologique d'un domaine d'application d'une manière formelle et structurée. Le nom de logique de description se rapporte, d'une part à la description de concepts utilisée pour décrire un domaine et d'autre part à la sémantique basée sur la logique qui peut être donnée par une transcription en logique des prédicats du premier ordre.
Simulateur de volvignette|Poste de pilotage expérimental d'un simulateur NASA vignette|Simulateur dynamique monoplace. Un simulateur de vol est une application au domaine de l'aéronautique, du pilotage des aéronefs en particulier, des techniques de simulation de phénomènes physiques. Les simulateurs de vol du sont numériques : les données en provenance de l'interface pilote-aéronef (les commandes de vol) sont transmises à un ordinateur qui calcule les sorties (indications des instruments de bord, environnement visuel, etc.).
Gestion des donnéesLa gestion des données est une discipline de gestion qui tend à valoriser les données en tant que ressources numériques. La gestion des données permet d'envisager le développement d'architectures, de réglementations, de pratiques et de procédures qui gèrent correctement les besoins des organismes sur le plan de tout le cycle de vie des données. Les données sont, avec les traitements, l'un des deux aspects des systèmes d'information traditionnellement identifiés, et l'un ne peut aller sans l'autre pour un management du système d'information cohérent.
Arrêt de busUn arrêt de bus est un aménagement sur une voirie, placé sur les trottoirs, au niveau duquel les autobus intra-urbains et les autocars inter-urbains du transport public s'arrêtent pour permettre aux usagers de monter et de descendre du véhicule. L'arrêt de bus trouve des équivalents dans les autres formes de transport en commun : station de tramway, station de métro, gare ferroviaire et gare de funiculaire.
Consommation de carburant des véhicules automobilesLa consommation de carburant d’une automobile est le volume de carburant utilisé lors d'un trajet rapporté à la distance parcourue. L’unité utilisée pour la consommation de carburant est le « litre pour cent kilomètres » (noté ). En Europe, la consommation de carburant fait partie des données nécessaires pour l'homologation des véhicules automobiles. La réduction de consommation des véhicules automobiles constitue un enjeu important pour la société par ses effets sur le réchauffement climatique, la qualité de l'air et les économies des pays sous forte dépendance énergétique.
Ordinateur personnelL'ordinateur personnel (en anglais : personal computer ou PC) se confond aujourd'hui avec le micro-ordinateur ou ordinateur individuel : c'est un ordinateur destiné à l'usage d'une personne, de prix accessible et dont les dimensions sont assez réduites pour tenir sur un bureau. La première machine appelée micro-ordinateur est le Micral N, breveté en 1973 par le Français François Gernelle. Toutefois, à cette époque, on pouvait déjà considérer comme ordinateurs personnels les mini-ordinateurs diffusés au cours des années 1960, ainsi que le premier ordinateur de bureau Olivetti Programma 101 commercialisé en 1965.
