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 de prédicats
Calcul des prédicats
Calcul des prédicats du premier ordre
LPO
LPPO
Langage des prédicats du premier ordre
Langage du premier ordre
Logique de 1er ordre
Logique des prédicats
Logique des prédicats du premier ordre
Logique du premier ordre
Prédicat du premier ordre
Relation du premier ordre

Translation of "Logique des prédicats du premier ordre " (French → English) :

TERMINOLOGY
see also In-Context Translations below
logique des prédicats du premier ordre

first order predicate logic
Intelligence artificielle
Artificial Intelligence


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

first-order predicate calculus [ first order predicate logic | quantification theory ]
Intelligence artificielle
Artificial Intelligence


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

first-order logic | first-order predicate logic
philosophie > théorie de la connaissance | intelligence artificielle
philosophie > théorie de la connaissance | intelligence artificielle


relation du premier ordre [ prédicat du premier ordre ]

first-order relation [ first-order predicate ]
Intelligence artificielle
Artificial Intelligence


langage des prédicats du premier ordre | LPPO | langage du premier ordre

first-order predicate language | first-order language
intelligence artificielle
intelligence artificielle


calcul des prédicats du premier ordre

first-order predicate calculus
intelligence artificielle
intelligence artificielle


calcul de prédicats | calcul des prédicats | logique de 1er ordre | logique des prédicats

first order logic | first-order predicate calculus | first-order predicate logic | predicate calculus | predicate logic | FOPL,FOPC [Abbr.]
IATE - Information technology and data processing
IATE - Information technology and data processing
IN-CONTEXT TRANSLATIONS
Les éléments qu'il serait logique d'inscrire à l'ordre du jour des premiers ministres et qui suffiraient à les amener à donner un mandat aux ministres comprennent plusieurs de ceux dont nous avons parlé il y a une minute, c'est-à-dire ceux qui représentent les chemins les moins cahoteux, en ce sens qu'il faut viser quelques succès politiques.

The components that would make sense to be included in an agenda item of the premiers that would be sufficient to get them to mandate something to the ministers would include several of the substantial items that we talked about a minute ago, and those that lend themselves to the least controversial routes in that you want some policy successes.


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éfense nationale.

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 rentab ...[+++]

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;


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.


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 ...[+++]

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 ...[+++]


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.


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.




www.wordscope.com (v4.0.br.77)

Logique des prédicats du premier ordre

Date index:2023-05-02 -

Pour agences de traduction et traducteurs - For translation agencies & translators

Paris - Brussels - Montreal - Genève - Luxembourg - Madrid

Wordscope - Professional computer-assisted translation tools (CAT tools)