Traduction de "topologie logique" à la langue anglaise:
Dictionnaire Français-Anglais
Logique - traduction : Logique - traduction : Logique - traduction : Topologie - traduction : Topologie logique - traduction : Logique - traduction : Logique - traduction :
Exemples (Sources externes, non examinées)
Ce mathématicien est passionné par les fondements des mathématiques, essentiellement la logique et la topologie. | This mathematician was inspired by the foundations of mathematics, especially mathematical logic and topology. |
Une topologie couramment employée est la topologie compacte ouverte. | A commonly used example is the compact open topology, e.g. |
Ne pas confondre avec la topologie combinatoire qui est une ancienne dénomination pour topologie algébrique. | It should not be confused with combinatorial topology which is an older name for algebraic topology. |
I Induite voir Topologie induite . | Infinite dimensional topology See Hilbert manifold and Q manifolds, i.e. |
OSPF crée une topologie d'aire logique en étoile, avec la dorsale constituée de l'aire 0, tandis que dans IS IS la dorsale est composée des routeurs Level 2 . | The logical view is that OSPF creates something of a spider web or star topology of many areas all attached directly to Area Zero and IS IS by contrast creates a logical topology of a backbone of Level 2 routers with branches of Level 1 2 and Level 1 routers forming the individual areas. |
En topologie Soit α un ordinal. | Topology and ordinals Any ordinal can be made into a topological space in a natural way by endowing it with the order topology. |
La topologie faible σ( E' , E ). | From this point of view, the weak topology is the coarsest polar topology see weak topology (polar topology) for details. |
Le théorème de Tychonoff est un théorème de topologie qui affirme qu'un produit d'espaces topologiques compacts est compact au sens de la topologie produit. | In mathematics, Tychonoff's theorem states that the product of any collection of compact topological spaces is compact with respect to the product topology. |
En tant qu'espace topologique, c'est cet ensemble (totalement) ordonné muni de la topologie de l'ordre (les intervalles ouverts forment une base de la topologie). | More rigorously, it can be defined as the order topology on the disjoint union of the reversed open long ray ( reversed means the order is reversed) and the (not reversed) closed long ray, totally ordered by letting the points of the latter be greater than the points of the former. |
En topologie générale, il introduit le concept d'espace uniforme. | He introduced the concept of a uniform space in general topology, as a by product of his collaboration with Nicolas Bourbaki (of which he was a Founding Father). |
Sa topologie est alors définie par une valeur absolue. | Given such a field, an absolute value can be defined on it. |
Branches de la topologie La topologie générale fournit un vocabulaire et un cadre général pour traiter des notions de limite, de continuité, et de voisinage. | If a continuous function is one to one and onto, and if the inverse of the function is also continuous, then the function is called a homeomorphism and the domain of the function is said to be homeomorphic to the range. |
Ceci est un glossaire de quelques termes utilisés en topologie. | This is a glossary of some terms used in the branch of mathematics known as topology. |
Les espaces vectoriels réels de dimension finie n'admettent qu'une telle topologie. | The metric topology on is called the Euclidean topology, and it is identical to the standard topology on . |
Il a effectué un travail pionnier en topologie en basses dimensions. | He was a pioneer in the field of low dimensional topology. |
Logiciel pour la topologie 3 variété et la théorie des surfaces normales | Software for 3 manifold topology and normal surface theory |
La suite (1 n ) converge vers 0 (pour la topologie de l'ordre). | ) By this definition, the rational function 1 x is positive but less than the rational function 1. |
Cette construction a été la première théorie cohomologique extraordinaire en topologie algébrique. | The theory was developed by R. W. Thomason in 1980s. |
1985 ISBN 3 11 008675 1 Ralph Stöcker, Heiner Zieschang Algebraische Topologie. | 1985 ISBN 3 11 008675 1 Ralph Stöcker Heiner Zischang Algebraische Topologie. |
Histoire L origine de la topologie est l étude de la géométrie dans les cultures antiques. | See also topology glossary for definitions of some of the terms used in topology, and topological space for a more technical treatment of the subject. |
En topologie, une boule est un type de voisinage particulier dans un espace métrique. | In mathematics, a ball is the space inside a sphere. |
En mathématiques, plus précisément en topologie, on appelle espace de Cantor l'espace produit formula_1. | In mathematics, a Cantor space, named for Georg Cantor, is a topological abstraction of the classical Cantor set a topological space is a Cantor space if it is homeomorphic to the Cantor set. |
En 1926, Hopf retourne à Berlin, où il donne un cours en topologie combinatoire. | In 1926 Hopf moved back to Berlin, where he gave a course in combinatorial topology. |
A cette étape, le programme peut comprendre le type de topologie de cette créature. | At this phase, the program has some understanding of the topology of this creature. |
Mais même si j'aimerais bien parler topologie avec vous, je ne vais pas le faire. | But although I would love to talk about topology with you, I'm not going to. |
La topologie, la géographie du Web est essentiellement faite de liens de texte à texte. | The topology, the geography of the Web is text to text links for the most part. |
À ce jour (2009), nous ne savons toujours pas quelle est la topologie de l'Univers. | For any given moment of coordinate time (assuming the Big Bang has ), the entire universe is bounded by a sphere of radius exactly . |
Il a travaillé également sur les logiques modales, la topologie et la théorie des catégories. | Additionally, he provided a foundation for the understanding of infinitary and continuous information through domain theory and his theory of information systems. |
En utilisant un système similaire, le motif structural en clé grecque a une topologie 4123. | In the same system, the Greek key motif described above has a 4123 topology. |
1947 Logique formelle, logique dialectique Vol. | 1947 Logique formelle, logique dialectique , Vol. |
Il soutient une thèse de docteur d'État en 1934 Sur la topologie de certains espaces homogènes . | He finished his PhD thesis Sur la topologie de certains espaces homogènes (French On the topology of certain homogeneous spaces) in 1934 under the supervision of Élie Cartan. |
Contributions en topologie Dans leurs hommages posthumes, Pavel Alexandrov et Hermann Weyl firent remarquer que les contributions de Noether à la topologie illustrent sa générosité en matière d'idées, et montrent comment ses intuitions pouvaient transformer des domaines mathématiques entiers. | Contributions to topology As noted by Pavel Alexandrov and Hermann Weyl in their obituaries, Noether's contributions to topology illustrate her generosity with ideas and how her insights could transform entire fields of mathematics. |
La logique féminine n'est pas toujours logique. | Feminine logic is not always logical. |
la logique, la logique, je m'en fiche ! | To hell with logic. |
Tout ouvert O pour d est ouvert pour la topologie produit soit a un point de O . | The image of every compact set under a continuous function is compact, and the image of every connected set under a continuous function is connected. |
Donc, à partir de là, j'avais toute la topologie nécessaire pour réaliser une réplique du Faucon Maltais. | So now, I had all the topology I needed to replicate the Maltese Falcon. |
On remarque que le choix du groupe externe (ici A ou C) modifie la topologie de l'arbre. | There is a danger of circular reasoning assumptions about the shape of a phylogenetic tree are used to justify decisions about character states, which are then used as evidence for the shape of the tree. |
On observe alors que la surface hérite de la topologie de la sphère et devient donc courbe. | In this simple example, we observe that the surface inherits the topology of a sphere and so receives a curvature. |
La logique temporelle est donc une logique modale. | Such a statement can conveniently be expressed in a temporal logic. |
Dans sa thèse Über Zusammenhänge zwischen Topologie und Metrik von Mannigfaltigkeiten ( Relations entre la topologie et la métrique des variétés ), il démontre que toute variété riemannienne de dimension 3 de courbure constante est globalement isométrique à un espace euclidien, sphérique ou hyperbolique. | In his dissertation, Connections between topology and metric of manifolds (German Über Zusammenhänge zwischen Topologie und Metrik von Mannigfaltigkeiten ), he proved that any simply connected complete Riemannian 3 manifold of constant sectional curvature is globally isometric to Euclidean, spherical, or hyperbolic space. |
Logique. | Makes sense. |
logique | logic |
Logique | Logic |
Logique. | Understandable. |
L'étude et la généralisation de cette formule, notamment par Cauchy et L'Huillier, est à l'origine de la topologie. | The study and generalization of this formula, specifically by Cauchy and L'Huillier, is at the origin of topology. |
Recherches associées : Topologie Boucle - Topologie Physique - Topologie Flyback - Topologie Buck - Topologie Circuit - Topologie Réseau - Topologie Linéaire - Topologie En Anneau