TERMIUM Plus^®

Fiche 1,  Justifications,  Anglais

Record number: 1, Textual support number: 1 CONT

Theory developed by Einstein based on the hypothesis that the velocity of light is the same as measured by any one of a set of observers moving with constant relative velocity. According to Newtonian theory and the Galilean transformation, the mechanical motion of an object with respect to an inertial system could be predicted from a knowledge of the forces acting on it and the initial conditions, independently of any knowledge of the motion of the inertial system itself.  3, fiche 1, Anglais, - special%20relativity

Fiche 1,  Justifications,  Français

Record number: 1, Textual support number: 1 DEF

Théorie selon laquelle les lois de la physique restent invariantes quel que soit le repère en translation uniforme dans lequel elles sont observées et selon laquelle la vitesse de la lumière reste constante, une des conséquences de cette théorie étant que l'énergie est liée à la masse par la relation E = mc[exposant2].  2, fiche 1, Français, - relativit%C3%A9%20restreinte

Record number: 1, Textual support number: 1 CONT

Selon le principe de la relativité restreinte, toutes les lois physiques doivent rester inchangées quand on passe d'un observateur lié à un référentiel d'inertie à un autre en mouvement relatif de translation uniforme.  3, fiche 1, Français, - relativit%C3%A9%20restreinte

Fiche 1,  Justifications,  Espagnol

Fiche 2,  Justifications,  Anglais

Record number: 2, Textual support number: 1 CONT

The requirement for completeness and consistency follows from the assumption that the hypothesis should imply the initial examples.  1, fiche 2, Anglais, - completeness%20requirement

Fiche 2,  Justifications,  Français

Record number: 2, Textual support number: 1 CONT

Le critère de consistance peut être décomposé en deux sous-propriétés, la consistance faible et la complétude, la complétude fournit un lien sémantique entre instances et généralisations.  2, fiche 2, Français, - condition%20de%20compl%C3%A9tude

Fiche 2,  Justifications,  Espagnol

Fiche 3,  Justifications,  Anglais

Record number: 3, Textual support number: 1 CONT

To make the search computationally tractable, DEBUGGY assumes that the simple bugs that interact to form multiple ones can also be detected individually. This means that there exists at least one problem in which either the simple bugs appear in isolation or the complex bug is consistent with their individual manifestations. On this assumption, the generate-and-test method is first used to construct an initial hypothesis space. Every primitive bug is tested, plus a few very common combinations, and only those for which there is evidence in the data are kept. The initial hypothesis space is further reduced by eliminations of certain overlaps in coverage, with preference for multiple over single evidence. Next, the bugs in this initial hypothesis space are combined, and every combination that explains more than its parts is retained in the set of hypotheses.  1, fiche 3, Anglais, - initial%20hypothesis%20space

Fiche 3,  Justifications,  Français

Record number: 3, Textual support number: 1 OBS

Voir espace de recherche, hypothèse initiale.  1, fiche 3, Français, - espace%20d%27hypoth%C3%A8se%20initiale

Fiche 3,  Justifications,  Espagnol