logique mathématique oor Nederlands

logique mathématique

Sous-ensemble des mathématiques étroitement lié à l'informatique et à la philosophie logique.

Vertalings in die woordeboek Frans - Nederlands

wiskundige logica

sous-discipline des mathématiques

P 110 Logique mathématique, théorie des ensembles, analyse combinatoire
P 110 Wiskundige logica, verzamelingenleer, combinatoriek

voorbeelde

Est- ce que ça n'a pas une logique mathématique?
Dat klinkt logisch, toch?

Logique mathématique: voir P 110
Wiskundige logica: zie P 110

– La logique mathématique, ou logique pure, est essentiellement une conversation entre vérité et fausseté.
‘Mathematische logica, of zuivere logica, is in feite een gesprek tussen waarheden en onwaarheden.

Complètement à l'opposé de son illustre homonyme et de sa logique mathématique.
Een absolute tegenpool van zijn beroemde naamgenoot met zijn mathematische logica.

Ce résultat négatif n'a toutefois pas arrêté l'essor de la logique mathématique.
Deze tegenslag verhinderde de stijgende bekendheid van de wiskundige niet.

— Dois-je en déduire que vous appliquerez une logique mathématique aux problèmes de la Chambre ?
'Wilt u daarmee zeggen dat u mathematische logica gaat toepassen op onze problemen in de Raad?'

C'est d'une logique mathématique : confusion égale doute égale verdict de relaxe
Het was een eenvoudig wiskundig stelsel: verwarring staat gelijk aan gerede twijfel staat gelijk aan vrijspraak.

Il y a quelque chose d'attrayant dans l'apparente logique mathématique de la méthode Tessili, dans sa formulation abstraite.
Er schuilt iets aantrekkelijks in de schijnbaar wiskundige logica van de rechtspraak Tessili, in haar abstracte formulering.

N’y avait-il pas une logique mathématique là-dedans?
Was daar niet een wiskundige formule voor?

Elle s’apparente à la logique mathématique, sans y ressembler tout à fait.
Vergelijkbaar met de logica van de wiskunde, maar in sommige opzichten heel anders.

En logique mathématique, l'indépendance se réfère à la non-prouvabilité d'une proposition d'autres propositions.
In de wiskundige logica verwijst onafhankelijkheid naar de onbewijsbaarheid van een propositie uit andere proposities.

P 110 Logique mathématique, théorie des ensembles, analyse combinatoire
P 110 Wiskundige logica, verzamelingenleer, combinatoriek

Ils ne paraissent répondre à aucune logique mathématique, on dirait une sorte de code... Un code, oui, c’est ça.
Ze lijken volslagen willekeurig, als een code of zoiets.

Les lignes directrices, les règlements d’exemption et la logique mathématique vont en faveur de la solution défendue par Lodato
De richtsnoeren, de vrijstellingsverordeningen en de wiskundige logica spreken voor de door Lodato verdedigde oplossing

En logique mathématique, un littéral est un atome (aussi appelé littéral positif) ou la négation d'un atome (aussi appelé littéral négatif).
In de wiskundige logica is een literaal (Engels: literal) een atomaire formule (ook wel atoom genoemd) of de negatie ervan.

Dans le futur, la maîtrise du système de frappe à dix doigts et la pensée logique-mathématique seront des éléments importants.
Beheersing van het tienvingersysteem en mathematisch-logisch denken zijn belangrijke aspecten in de toekomst.

En logique mathématique et en philosophie analytique, le paradoxe de Skolem est une conséquence troublante du théorème de Löwenheim-Skolem en théorie des ensembles.
In de wiskundige logica en filosofie, is de paradox van Skolem een schijnbare tegenstrijdigheid die voortvloeit uit de neerwaartse stelling van Löwenheim-Skolem.

Personne en fait n'est favorable aux quotas pour en faire un absolu. Il s'agit, comme on dit en logique mathématique, d'une condition nécessaire et non suffisante.
In wezen is niemand voorstander van quota's als absolute waarde. Het gaat hier, in wiskundige begrippen, om een noodzakelijke en niet-voldoende voorwaarde.

Skolem a publié environ 180 articles sur les équations diophantiennes, la théorie des groupes, la théorie des treillis et, surtout, en théorie des ensembles et en logique mathématique.
Skolem publiceerde ongeveer 180 artikelen over diofantische vergelijkingen, groepentheorie, roostertheorie, maar vooral de verzamelingenleer en de wiskundige logica.

En mathématiques, et plus précisément en logique mathématique, le forcing est une technique inventée par Paul Cohen pour prouver des résultats de cohérence et d'indépendance en théorie des ensembles.
In de wiskundige discipline van de verzamelingenleer is forcing een techniek, die door Paul Cohen is geconstrueerd om consistentie en de onafhankelijkheidsresultaten te bewijzen.

Les modèles macro-économiques peuvent être logique, mathématique, et/ou de calcul; les différents types de modèles macro-économiques servent à des fins différentes et ont différents avantages et inconvénients.
Macro-economische modellen kunnen logisch, wiskundig of computationeel zijn; de verschillende typen van macro-economische modellen worden voor verschillende doeleinden gebruikt en kennen elk verschillende voor- en nadelen.

Il a passé le semestre d'hiver 1915 à l'Université de Göttingen, à l'époque le centre de recherche d'excellence en logique mathématique, méta-mathématique et d'algèbre abstraite, dans lesquels Skolem a finalement excellé.
Het wintersemester van 1915 bracht hij door aan de Universiteit van Göttingen, op dat moment in de wereld het toonaangevende onderzoekscentrum in de wiskundige logica, de metawiskunde en de abstracte algebra, gebieden waarop Skolem later in zou uitblinken.

Il a obtenu une licence de mathématiques au Wadham College d'Oxford puis, en 1966, une maîtrise en sciences (Econ) en logique mathématique et en philosophie des sciences à la London School of Economics.
Hij behaalde zijn Bachelor diploma als student wiskunde aan het Wadham College van de Universiteit van Oxford, waarna hij aan de London School of Economics in 1966 een Master of Science (Econ) in de wiskundige logica en de wetenschapsfilosofie behaalde.

La formule adoptée pour calculer le TAEG répond à une logique mathématique et économique précise et, pour le législateur, doit satisfaire également à des exigences en matière d'information, de transparence et de possibilité de comparaison.
De formule die is gekozen om het APR te berekenen, zit wiskundig en economisch gezien uiterst logisch in elkaar en zou, zo was althans de bedoeling van de wetgever, ook moeten beantwoorden aan een aantal criteria op het vlak van voorlichting, transparantie en vergelijkingsmogelijkheden.

C'est un personnage majeur de l'histoire de la logique mathématique, car il fit une synthèse des œuvres de George Boole, Augustus De Morgan, Hugh MacColl (en), et particulièrement Charles Sanders Peirce, et poursuivit leurs travaux.
Hij is een belangrijk figuur in de geschiedenis van de wiskundige logica (een term die hij mogelijk voor het eerst heeft gebruikt), omdat hij het werk van George Boole, Augustus De Morgan, Hugh MacColl en vooral Charles Peirce samenvatte en uitbreidde.