Vertaling van "first-order predicate logic " (Engels → Frans) :

TERMINOLOGIE

first-order predicate calculus [ first order predicate logic | quantification theory ]
calcul des prédicats du premier ordre [ logique des prédicats du premier ordre ]

first-order logic | first-order predicate logic
logique du premier ordre | LPO | logique des prédicats du premier ordre

first order predicate logic
logique des prédicats du premier ordre

first-order predicate language | first-order language
langage des prédicats du premier ordre | LPPO | langage du premier ordre

first-order relation [ first-order predicate ]
relation du premier ordre [ prédicat du premier ordre ]

first-order predicate calculus
calcul des prédicats du premier ordre

IN-CONTEXT TRANSLATIONS

As with the first edition, in some instances, closely related Standing Orders have been grouped together for the sake of logic and cohesiveness — see specifically the Standing Orders governing financial procedures, committees, delegated legislation and Private Members’ Business.
Comme pour la première édition, en certains cas, des articles étroitement liés les uns aux autres ont été regroupés pour favoriser la logique et la cohérence de l’exposé historique — voir notamment les articles régissant la procédure financière, les comités, les décrets-lois et les affaires émanant des députés.

By order established through the logic of the witnesses, I am going to start first with Dr. Anne Rowan-Legg, who is a member of the Community Paediatrics Committee of the Canadian Paediatric Society.
Selon l'ordre logique des témoins, je vais laisser la parole en premier à la Dre Anne Rowan-Legg, qui est membre du Comité de la pédiatrie communautaire de la Société canadienne de pédiatrie.

Surely the logical place for this compensation is: first, for the government to finally put in enough money for victim compensation; second, to assist the court in ordering restorative justice, actual work in the community or whatever is appropriate; and third, providing assistance for victims to go to civil courts.
Ce pouvoir semble d'autant plus pertinent lorsqu'on sait qu'un grand nombre de prisonniers souffrent de troubles de santé mentale. Les mesures d'indemnisation ont logiquement pour but, premièrement, de veiller à ce que le gouvernement finance suffisamment les mesures d'indemnisation des victimes, deuxièmement, d'aider les tribunaux à imposer des mesures de justice réparatrice, notamment par le travail communautaire, et, troisièmement, d'aider les victimes à intenter des poursuites au civil.

As to the proposed amendments to the Shipping Conferences Exemption Act, SCEA, these appear to be in order and the logical extension of a process which has been ongoing in this country since at least 1971 when Canada's first SCEA was enacted to exempt international shipping conferences from the applications of certain provisions of Canada's then antitrust legislation.
En ce qui concerne les modifications à la Loi dérogatoire sur les conférences maritimes, elles semblent s'inscrire dans le droit fil du processus amorcé en 1971, voire avant, lorsque le Canada a adopté la première Loi dérogatoire sur les conférences maritimes en vue de soustraire les conférences maritimes internationales à certaines dispositions des lois antitrust en vigueur au Canada à l'époque.

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.
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.