axiomatique oor Grieks

axiomatique

adjektief manlike

Vertalings in die woordeboek Frans - Grieks

αξιωματικός

adjektief

που απορρέει από ένα μαθηματικό αξίωμα

προφανώς

bywoord

Soortgelyke frases

sémantique axiomatique
Αξιωματική σημασιολογία

voorbeelde

Aujourd'hui, pour les chercheurs en mathématiques, « théorie des ensembles » signifie usuellement théorie axiomatique des ensembles.
Σήμερα, όταν οι μαθηματικοί μιλούν για "θεωρία συνόλων" ως τομέα των μαθηματικών, συνήθως εννοούν την αξιωματική θεωρία συνόλων.

Je crains que ceci, Monsieur le Président, soit davantage axiomatique que prouvé.
Φοβούμαι οτι αυτό, κύριε Πρόεδρε, είναι μία δήλωση μάλλον αξιωματική παρά αποδεδειγμένη.

En informatique, la sémantique algébrique est une forme de sémantique axiomatique basée sur des principes algébriques pour décrire et raisonner sur la sémantique des langages de programmation de manière formelle.
Στη θεωρία των γλωσσών προγραμματισμού, η αλγεβρική σημασιολογία (algebraic semantics) μιας γλώσσας προγραμματισμού είναι μια μορφή αξιωματικής σημασιολογίας, βασισμένης σε αλγεβρικούς κανόνες που περιγράφουν και χειρίζονται τη σημασιολογία του προγράμματος με τυπικό τρόπο.

Il s’agit d’un argument axiomatique, mais aussi, à mon sens, d’un argument qu’il n’y a pas lieu de suivre aveuglément.
Αυτό είναι ένα αυτονόητο επιχείρημα, πλην όμως, φρονώ ότι δεν πρέπει να υιοθετηθεί αδιακρίτως.

Ou bien c'était une axiomatique, car l'axiomatique concernait essentiellement la stratification .
Ή ήταν μια αξιωματική, διότι η αξιωματική αφορούσε κυρίως στη στρω- μάτωση.

C’est comme une puissance du continu, liée à l’axiomatique, et pourtant qui la déborde.
Είναι σαν μια ισχύς του συνεχούς, συνδεδεμένη με την αξιω¬ ματική, που παρά ταύτα την ξεπερνά.

Soit le beau livre de Robert Blanché, L’axiomatique, P.U.F.
Όπως το θαυμάσιο βιβλίο του Robert Blanche, V axiomatique, P.U.F.

Mais une axiomatisation, une sémiotisation, une physicalisation ne sont pas un diagramme, c’en est même le contraire.
Αλλά μια αξιωματοποίηση, μια σημειωτικοποίηση, μια φυσικοποίηση δεν είναι διάγραμμα, είναι ακριβώς το αντίθετο.

Ce sont tous ces aspects qui fondent la confrontation de la politique avec une axiomatique
Όλες αυτές οι όψεις θεμελιώνουν την αντιπαραβολή της πολιτικής με μιαν αξιωματική.

La question importante, là encore, c'est celle de l'isomorphie par rapport à l'axiomatique mondiale.
Το σημαντικό ζήτημα, κι εδώ ακόμη, είναι το ζήτημα της ισομορφίας σε σχέση με μια παγκόσμια αξιωματική.

Un système axiomatique est dit complet si toute proposition, ou sa négation, est dérivable.
Μια θεωρία είναι πλήρης όταν περιέχει κάθε πρόταση ή την άρνησή της.

C'est axiomatique.
Αυτό είναι αξίωμα.

S'accentue d'autant plus l'opposition entre l'axiomatique et les flux qu'elle n 'arrive pas à maîtriser . 6.
Η αν¬ τίθεση μεταξύ αξιωματικής και ροών οξύνεται σε τέτοιον βαθμό ώστε γίνεται δύσκολο να ελεγχθεί. 6.

Sa thèse de doctorat, intitulée Contributions aux fondements axiomatiques de la théorie des ensembles, contient la première preuve que toutes les axiomatisations possibles de la théorie des ensembles la plus courante (dite ZFC) doivent contenir un nombre infini d'axiomes.
Η διδακτορική του διατριβή με τίτλο Contributions to the Axiomatic Foundations of Set Theory (Προσφορά στις Αξιωματικές Βάσεις της Θεωρίας Συνόλων), περιείχε την πρώτη απόδειξη ότι όλες οι πιθανές αξιωματικοποιήσεις (axiomatizations) της κλασικής αξιωματικής θεωρίας συνόλων ZFC πρέπει να περιέχουν άπειρα το πλήθος αξιώματα.

Le capitalisme est bien une axiomatique parce qu'il n'a d'autres lois qu'immanentes.
Ο καπιταλισμός είναι μια αξιωματική διότι οι νόμοι του είναι μόνο εμμενείς.

Les livres d’introduction à la méthode axiomatique soulignent un certain nombre de problèmes.
Τα βιβλία εισαγωγής στην αξιωματική μέθοδο υπογραμμίζουν ορισμένα προβλήματα.

Or l’axiomatique immanente, en ce sens, trouve dans les domaines qu’elle traverse autant de modèles dits de réalisation.
Υπ’ αυτήν την έννοια, η εμμενής αξιωμα¬ τική βρίσκει στις επικράτειες που διασχίζει τα λεγάμενα μοντέλα υλοποίησης.

Certaines approches définissent explicitement les nombres réels comme étant des structures basées sur les nombres rationnels, en utilisant la théorie axiomatique des ensembles.
Ορισμένες προσεγγίσεις ορίζουν ρητά πραγματικούς αριθμούς δομές που δημιουργήθηκαν κατά την αριθμιτική ορθολογική, με αξιωματική θεωρία συνόλων.

Autant dire que le capitalisme se forme avec une axiomatique générale des flux décodés.
Αυτό σημαίνει ότι ο καπιταλισμός σχηματίζεται με μια γενική αξιωμα¬ τική των αποκωδικοποιημένων ροών.

Notamment, on ne confondra pas le diagrammatisme avec une opération du type axiomatique.
Προπάντων, δεν θα μπερδέψουμε τον διαγραμματισμό με μια διεργασία αξιω¬ ματικού τύπου.

Ce fait est à présent axiomatique.
Τούτο τώρα είναι αξίωμα.

Et puis, encore, la question des « propositions indécidables » auxquelles se heurte une axIomatique (§ 20).
Επειτα, υπάρχει το ζήτημα των «αδύνατων προτάσεων» στο οποίο προσκρούει μια αξιωματική (§ 20).

Les démonstrations de 0,999... = 1 qui utilisent directement ces constructions ne se trouvent pas dans les manuels d'analyse réelle, où la tendance dans les dernières décennies a été d'utiliser l'analyse axiomatique.
Αποδείξεις ότι 0.999 ... = 1 που χρησιμοποιούν άμεσα αυτές τις κατασκευές δεν βρίσκονται στα σχολικά βιβλία για την πραγματική ανάλυση, όπου η σύγχρονη τάση για τις τελευταίες δεκαετίες ήταν να χρησιμοποιήθει μια αξιωματική ανάλυση.