Traduction de «Mathematical reasoning » (Anglais → Français) :

TERMINOLOGIE

mathematical reasoning capacity
capacité de raisonnement mathématique

mathematical reasoning
raisonnement mathématique

handle mathematical tools for managing vehicles | use mathematical tools for managing a vehicle | adopt mathematical tools for managing vehicles | use mathematical tools for managing vehicles
utiliser des outils mathématiques pour la gestion de véhicules

implement mathematics | use mathematical software | exercise mathematics | use mathematical tools and equipment
utiliser des outils et équipements mathématiques

mathematical subjects | study of mathematics | calculation | mathematics
mathématiques

backchaining | backward chaining | backward reasoning | goal directed reasoning | goal-directed searching | reasoning backward
chaînage arrière | mode en arrière | mode régressif | raisonnement inductif | raisonnement orienté par les buts

operating reasons | pressing reasons | urgent reasons
raisons impérieuses

defence of reasonable use [ reasonable user defence | defence of reasonable user | reasonable use defence ]
défense de l'usage raisonnable

analogy-based reasoning [ reasoning by analogy | analogical reasoning | analogous reasoning ]
raisonnement analogique [ raisonnement par analogie | raisonnement analogue ]

Mathematical sign
symbole mathématique

TRADUCTIONS EN CONTEXTE

In these second-generation models, the use of telematic tools and assistance from artificial intelligence based on mathematical models facilitate rulings on disputes through the systematic evaluation of the parties' proposals, in turn supported by IT specialists with equal capacity (‘intelligent interfaces’) in a interactive process based on standard negotiating patterns such as BATNA (Best Alternative to a Negotiated Agreement), WATNA (Worst Alternative to a Negotiated Agreement) and finally ZOPA (Zone of Possible Agreement). Examples of decision support systems include expert systems, systems of information based on previous cases, computer database access systems (case-based reasoning or ‘CBR’ in international literature) and online dispute resolution based on the parties' different approaches to dispute resolution.
Dans ces modèles de deuxième génération, l'utilisation d'outils télématiques et l'aide apportée par l'intelligence artificielle fondée sur des modèles mathématiques facilitent l'élaboration de décisions réglant des litiges grâce à l'évaluation systématique des propositions des parties, celles-ci étant à leur tour soutenues par des agents électroniques dotés d'une égale capacité (des «interfaces intelligentes») dans le cadre d'un processus interactif s'appuyant sur des modèles normalisés de négociation, tels que BATNA («Best Alternative to a Negotiated Agreement»: meilleure solution autre qu'un accord négocié) ou WATNA («Worst Alternative to a Negotiated Agreement»: pire solution autre qu'un accord négocié), et enfin ZOPA («Zone of Possible Agreement»: zone d'accord possible) – comme exemples de systèmes d'aide à la décision, l'on peut citer notamment les systèmes experts, les systèmes d'information fondés sur des affaires passées, les systèmes d'accès à des bases de données informatisées (le raisonnement analogique ou à base de cas dans la littérature technique internationale) et le règlement en ligne des litiges qui se base sur les démarches différentes des parties vis-à-vis du règlement des litiges.

To be precise, if a merely mathematical approach is taken, then it is very difficult for a State with a small fleet of just a few ships that is included in the grey area of all these lists to be removed from that area; what reason do the ships have to become part of the grey list fleet if, in that event, they cannot improve the mathematical proportion?
Pour être plus précis, si l’on se contente d’une approche mathématique, il sera alors très difficile pour un État disposant d’une flotte réduite composée seulement de quelques navires et incluse dans la zone grise de chacune des listes de sortir de cette zone. Pourquoi placer les navires dans la liste grise si cela ne sert pas à améliorer la proportion mathématique?

In fact, for mathematical reasons, under equal conditions of growth and deficit reduction, a larger debt falls more rapidly, and so it is appropriate as well as fair to punish not the accumulated errors of the past but, if anything, the laxity in remedying them.
En fait, dans des conditions de croissance et de réduction des déficits identiques, une dette plus élevée baisse plus rapidement, et ce pour des raisons mathématiques. Il est donc approprié et juste de sanctionner non pas l’accumulation des erreurs du passé, mais bien le laxisme constaté lorsqu’il s’agit d’y remédier.

An individual should be able to reason mathematically, understand mathematical proof and communicate in mathematical language, and to use appropriate aids.
Un individu devrait être en mesure d'adopter un raisonnement mathématique, de comprendre une démonstration mathématique et de communiquer en langage mathématique, ainsi que d'employer des aides appropriées.

A positive attitude in mathematics is based on the respect of truth and willingness to look for reasons and to assess their validity.
Une attitude positive en mathématique repose sur le respect de la vérité et sur la volonté de trouver des arguments et d'en évaluer la validité.

Software is excluded from patentability for a very specific reason, for the same reason that mathematic formulae are excluded, for the same reason that theorems are excluded, for the same reason that musical formulae and symphonies are excluded: these are all part of the field of ideas, of the organisation and transformation of ideas.
Les logiciels sont exclus du champ du brevetable pour une raison tout à fait précise, pour la même raison qui justifie l’exclusion des formules mathématiques, des théorèmes, des formules musicales et des symphonies: tous ces concepts font partie du domaine des idées, de l’organisation et de la transformation des idées.