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 logique
Courbure de 1er ordre
Courbure de premier ordre
LPO
Logique d'ordre 2
Logique de 1er ordre
Logique de transformation des ordres en commandes
Logique des prédicats
Logique des prédicats du premier ordre
Logique du deuxième ordre
Logique du premier ordre
Ordre logique
Pliure de premier ordre
Point de triangulation de 1er ordre
Représentation logique du premier ordre

Translation of "logique de 1er ordre " (French → English) :

TERMINOLOGY
see also In-Context Translations below
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


logique d'ordre 2 | logique du deuxième ordre

second order logic | second-order predicate calculus | second-order predicate logic
IATE - Information technology and data processing
IATE - Information technology and data processing


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


courbure de premier ordre [ courbure de 1er ordre | pliure de premier ordre ]

first order bend [ 1st order bend ]
Orthodontie
Orthodontics


calcul logique [ logique du premier ordre ]

logical calculus
Intelligence artificielle
Artificial Intelligence


logique du premier ordre

first order logic [ first-order logics ]
Intelligence artificielle
Artificial Intelligence


représentation logique du premier ordre

first-order logical representation
intelligence artificielle
intelligence artificielle


point de triangulation de 1er ordre

first-order triangulation point
Géodésie (Terre et univers)
Earth and universe


logique de transformation des ordres en commandes

order-command transformation logic
IATE - Communications
IATE - Communications


ordre logique

logical order
science de l'information > bibliothéconomie
science de l'information > bibliothéconomie
IN-CONTEXT TRANSLATIONS
Dans la logique systémique, les obstacles sous-jacents à l'innovation sont dus à des différences d'ordre essentiellement culturel ou managérial entre les chercheurs du secteur public et ceux qui, dans le secteur privé, exploitent les résultats de ces travaux.

Under the "system" view, the underlying barriers to innovation arise from differences of a mainly cultural or managerial nature between the performers of research in the public sector and those who take up the results in the private sector.


Bien qu'il soit logique, à court terme, de présenter aux fins de subvention les projets de financement les mieux aboutis et les plus viables sur le plan économique, les pays candidats devront, à moyen et à long terme, classer systématiquement par ordre de priorité leurs besoins d'investissement et ils devront continuer de le faire bien après l'adhésion.

Although in the short term it makes sense to present for grant funding projects which are the most ready and financially viable, in the medium to long term the Candidate Countries need to prioritise their investment needs systematically.


Le sénateur Austin: J'ai des amendements à proposer en vue de la création d'un nouvel article 76.2, mais je propose que, pour suivre un ordre logique, sinon l'ordre chronologique du projet de loi, nous examinions d'abord l'article 77.1 pour revenir ensuite au 76.2.

Senator Austin: I do have amendments for a new clause 76.2, but I would suggest that logically, if not in terms of the chronology of the bill, we do 77.1 first and then go back and deal with 76.2.


La position est dérivée de l'unité administrative de 1er ordre correspondante.

Position derived from the related administrative unit of 1st order.


For more results, go to https://pro.wordscope.com to translate your documents with Wordscope Pro!
Question n 6 Mme Judy Wasylycia-Leis: En ce qui concerne les conventions et traités de l'Organisation des Nations Unies dont le Canada est signataire: a) quels sont les critères utilisés par le gouvernement fédéral pour évaluer l’approbation par chaque province et territoire de la ratification d'un traité ou d’une convention; b) au 1er novembre 2008, quels provinces et territoires s’étaient montrés, d'après ces critères, en faveur de la ratification de la Convention des Nations Unies sur les droits des personnes handicapées (la Convention); c) quelles mesures le gouvernement prendra-t-il pour assurer l'approbation des autres provinces et territoires; d) quand la prochaine réunion fédérale-provinciale-territoriale des ministres sur les dr ...[+++]

Question No. 6 Ms. Judy Wasylycia-Leis: With respect to United Nations conventions and treaties to which Canada is a signatory: (a) what are the federal government’s criteria for assessing individual provincial and territorial endorsement for ratifying a treaty or convention; (b) as of November 1, 2008, which provinces and territories have, according to these criteria, endorsed ratification of the United Nations Convention on the Rights of Persons with Disabilities (the Convention); (c) what steps will be undertaken by the government to secure endorsement by the remaining provinces and territories; (d) when is the next federal-provincial-territorial ministerial meeting on human rights ...[+++]


2. Le calcul du volume d'échanges quotidien moyen, de la valeur moyenne des ordres exécutés et du nombre quotidien moyen de transactions doit prendre en compte tous les ordres relatifs à l'action concernée qui ont été exécutés dans la Communauté entre le 1er janvier et le 31 décembre de l'année précédente, ou, le cas échéant, dans la partie de l'année au cours de laquelle l'action était admise à la négociation sur un marché réglementé et sa négociation non suspendue sur un marché réglementé.

2. The calculation of the average daily turnover, average value of the orders executed and average daily number of transactions shall take into account all the orders executed in the Community in respect of the share in question between 1 January and 31 December of the preceding year, or, where applicable, that part of the year during which the share was admitted to trading on a regulated market and was not suspended from trading on a regulated market.


L'application, dès le 1er janvier 2006, de certaines des mesures arrêtées entraînerait, dans certains cas, des difficultés d'ordre pratique.

The application of some of these measures with immediate effect from 1 January 2006 would present practical difficulties in some cases.


Étant donné que le budget est du domaine public et a fait l'objet de discussions, les producteurs laitiers et les transformateurs de produits laitiers ont argué, avec logique, qu'il serait plus commode et plus rentable de réduire la subvention au début de février, non pas le 1er janvier, mais le 1er février, plutôt que le 1er août comme cela a été la tradition pendant des années.

Since the budget has been in the public domain and subject to public discussion, dairy producers and dairy processors have made the argument, which has behind it some considerable force of logic, that it would be more convenient and more economically efficient in our dairy system to consider any appropriate price changes at the beginning of February, not on January 1 but on February 1 as opposed to August 1 which has been the tradition over a number of years.


II. RECONNAISSANT - que le développement des petites et moyennes entreprises revêt une grande importance pour la compétitivité de l'économie européenne, pour le développement régional et pour la cohésion économique de l'Union européenne, - que les petites et moyennes entreprises, y compris les diverses activités de services, apportent une importante contribution à la croissance et à la création d'emplois, - que les atouts des petites et moyennes entreprises résident notamment dans leur flexibilité et dans leur capacité d'adaptation à l'évolution de l'environnement, (1) JO n° L 161 du 2.7.93, p. 68 (2) JO n° C 326 du 3.12.93, p. 1. - que ...[+++]

II. RECOGNIZING THAT - the development of small and medium-sized enterprises is of great importance for the competitiveness of the European economy, regional development and economic cohesion in the European Union, - small and medium-sized enterprises, including the various service activities, make an important contribution to growth and the creation of jobs, - the strengths of small and medium-sized enterprises lie in their flexibility and adaptability to changing circumstances, - this adaptability and flexibility is hampered by both internal (particularly financial and managerial) and external (particularly legal and administrative) hurdles, - a simple, logical and coher ...[+++]


En outre, le Conseil du Trésor a approuvé les éléments suivants: les deuxième et troisième augmentations, le 1er octobre 1997 et le 1er avril 1998, en vue d'assurer la comparabilité de la rémunération, une augmentation d'ordre économique de 2 p. 100, le 1er avril 1997, puis une autre de 2 p. 100, le 1er avril 1998.

In addition, Treasury Board also approved the following: the second and third instalments of the wage comparability schedule, effective October 1, 1997, and April 1, 1998, and economic increases of 2%, the first one for April 1, 1997, and a similar one for April 1, 1998.




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

logique de 1er ordre

Date index:2023-05-27 -

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)