Boost Your Productivity!Translate documents (Ms-Word, Ms-Excel, ...) faster and better thanks to artificial intelligence!
https://pro.wordscope.com
https://blog. wordscope .com
Calcul des prédicats du premier ordre
Calcul logique
LPO
Logique des prédicats du premier ordre
Logique du premier ordre
Logique temporelle du premier ordre
Multiplexeur temporel MIC du premier ordre
Représentation logique du premier ordre
TNE1
Terminal numérique d'extrémité du premier ordre

Traduction de «Logique temporelle du premier ordre » (Français → Anglais) :

TERMINOLOGIE
voir aussi les traductions en contexte ci-dessous
logique temporelle du premier ordre

first-order temporal logic


multiplexeur temporel MIC du premier ordre | terminal numérique d'extrémité du premier ordre | TNE1 [Abbr.]

first order time-division PCM multiplexing unit


logique du premier ordre | LPO | logique des prédicats du premier ordre

first-order logic | first-order predicate logic


calcul des prédicats du premier ordre [ logique des prédicats du premier ordre ]

first-order predicate calculus [ first order predicate logic | quantification theory ]


calcul logique [ logique du premier ordre ]

logical calculus


représentation logique du premier ordre

first-order logical representation
TRADUCTIONS EN CONTEXTE
Il n'est certainement pas logique de consacrer trois ans et demi à former des jeunes chefs de premier ordre, pour qu'ils se brisent ensuite un genou dans un accident de karaté et se retrouvent sur le marché de la population civile, alors que nous pourrions les employer de façon parfaitement satisfaisante dans presque n'importe quel ministère gouvernemental autre que le ministère de la Défen ...[+++]

It certainly does not make sense to spend three and a half years developing first-class young leaders, have them break their knees in a karate accident and then throw them back on the civilian market when we could employ them perfectly adequately in almost any other government department other than the Department of National Defence.


F. considérant que l'OCDE prévoit une augmentation de la demande mondiale d'acier de 1,5 à 2,3 milliards de tonnes d'ici 2025, ces prévisions donnant à l'industrie sidérurgique de solides perspectives; considérant que l'Union européenne dispose de compétences, de savoir-faire, d'infrastructures, d'installations industrielles de premier ordre qu'il faut adapter aux demandes futures et non réduire ou abandonner pour des logiques de rentabilité à court terme ou à la faveur de l'ouverture d'autre ...[+++]

F. whereas the OECD forecasts that world demand for steel will rise from 1.5 billion to 2.3 billion tonnes by 2025, figures which represent a healthy prospect for the steel industry; whereas the EU possesses first-class skills, know-how, infrastructure and industrial plant, and these should be adapted to meet future demand rather than pruned or abandoned in pursuit of short-term gain or to facilitate the opening up of hypothetical other markets;


C’est l’Act of Supremacy adopté en 1563 sous le règne de la Reine Elizabeth I qui imposa le premier serment aux députés. Cette loi désignait la souveraine chef de l’Église : avant d’occuper leur siège dans la Chambre des communes, les députés étaient tenus d’affirmer que la souveraine détenait le pouvoir suprême dans tout le royaume pour toutes les affaires d’ordre ecclésiastique et temporel .

The first oath was imposed upon Members in 1563 following the adoption of the Act of Supremacy during the reign of Queen Elizabeth I. The Act of Supremacy appointed the Sovereign the head of the Church: before taking their seat in the House of Commons, Members of Parliament were required to testify to their belief that the Sovereign was the only supreme governor of the realm, both in ecclesiastical and in temporal matters.


Par exemple, étant donné que les prix des grains et des oléagineux sont des facteurs de premier ordre dans le profit que peut rapporter une parcelle donnée de terre agricole, il est logique qu’une hausse du prix des terres accompagne celle des prix des grains et des oléagineux.

For example, since grain and oilseed prices are primary factors in the potential profit generated by a given parcel of agricultural land, it follows that land prices would increase in conjunction with the rise in grain and oilseed prices.


For more results, go to https://pro.wordscope.com to translate your documents with Wordscope Pro!
Ces amendements ont été regroupés pour deux raisons: la première est de préciser à un seul endroit et dans un ordre logique les obligations liées au système de diligence raisonnable ainsi que les interdictions; la deuxième est de regrouper la notion de diligence raisonnable et l'interdiction avec l'expression "respect de la législation", qui concrétise la relation entre ces deux éléments complémentaires, mais distincts, du règlement.

The reason for combining these amendments into a single recital are two-fold; firstly, it allows the obligations of due diligence and the prohibition to be clearly stated, in one place and in a logical order; in addition, it brings together due diligence and the prohibition with the phrase 'to facilitate compliance', which accurately embodies the relationship between these two complementary, but separate, components of the regulation.


Il est évident que le Bloc québécois, avec les pouvoirs qu'il peut exercer en cette Chambre, notamment celui de décider de l'agenda lors d'une journée d'opposition comme celle-ci, veut ramener à l'ordre le premier ministre et lui dire que lorsque son parti a accepté de modifier le discours du Trône, cela ne devait pas être que des mots, mais qu'il fallait qu'il adopte un comportement suivant cette logique et qu'on retrouve en bout de ligne des façons de faire qui seraient satisfaisantes.

Obviously, the Bloc Québécois, with the power it wields in this House, particularly the power to set the agenda on an opposition day such as today, wants to bring the Prime Minister back in line and tell him that when his party agreed to amend the throne speech, more than empty words were required. He needed to adopt a behaviour to reflect them, and in the end we need to see some approaches adopted that we will find satisfactory.


Si je suis la logique de M. Schulz et qu’il est vaincu, et que le rapport Wuermeling devient alors le premier point de l’ordre du jour, cela chamboulerait totalement le rythme des travaux prévus pour aujourd’hui. Je ne suivrai pas cette suggestion.

If I follow the logic of Mr Schulz and he is defeated, and the Wuermeling report thus becomes the first item on the agenda, that would completely upset the rhythm of the work planned for today. I shall not follow that suggestion.


Comment peut-on considérer qu'il s'agit là d'une façon correcte de légiférer, alors que le Conseil de l'Union lui-même, dans un document intitulé "Évaluation des conclusions du Conseil européen de Tampere" daté du 14 novembre 2001, a établi un calendrier pour l'adoption des quatre directives qui doivent constituer la première phase du régime d'asile européen commun, calendrier qui prévoit l'adoption de la directive concernant les conditions d'accueil des demandeurs d'asile en juin 2002, celle concernant les procédures d'asile en juin 2003, et celle relative à la définition de la notion de réfugié en décembre 2003, alors qu'i ...[+++]

How can we accept that the legislative process is working properly when the Council itself, in a document of 14 November 2001 in which the conclusions of the Tampere European Council are assessed, has established a timetable for the adoption of the four directives which are to constitute the first stage in the common European asylum scheme, pursuant to which the directive on reception conditions for asylum applicants is to be adopted in June 2002, the directive on asylum procedures in June 2003 and the directive defining the concept of refugee in December 2003, when it would be more logical ...[+++]


Le premier est d'ordre logique : la clause s'applique sur la base du nombre de transits, indépendamment des prestations écologiques des véhicules. Des véhicules plus écologiques signifient donc plus d'écopoints épargnés, plus de transits accumulés et un risque plus élevé de dépasser le seuil des 108 %.

The first is a matter of logic: the clause operates on the number of transit journeys, regardless of the ecological performance of the vehicle, and therefore more ecologically friendly vehicles mean more ecopoints saved, more journeys accumulated and a greater risk of going over the 108% quota.


N?anmoins, ce que le s?nateur Murray a fait valoir est logique : tout s?nateur qui estime qu'un point de l'ordre du jour n'est pas correct sur le plan de la proc?dure devrait demander que l'on tranche la question en premier lieu avant de discuter du bien-fond? de la motion.

Nonetheless, Senator Murray's point is logical: any Honourable Senator, being of the opinion that an item on the Order Paper is not procedurally correct, should ask that the matter be resolved first, before entering into debate on the merits of the motion.




datacenter (12): www.wordscope.fr (v4.0.br)

Logique temporelle du premier ordre ->

Date index: 2022-11-22
w