Entrez un mot ou une phrase dans n'importe quelle langue 👆
Langue:
Traduction et analyse de mots par intelligence artificielle ChatGPT
Sur cette page, vous pouvez obtenir une analyse détaillée d'un mot ou d'une phrase, réalisée à l'aide de la meilleure technologie d'intelligence artificielle à ce jour:
- comment le mot est utilisé
- fréquence d'utilisation
- il est utilisé plus souvent dans le discours oral ou écrit
- options de traduction de mots
- exemples d'utilisation (plusieurs phrases avec traduction)
- étymologie
Qu'est-ce (qui) est Gabbay's separation theorem - définition
Gabbay's separation theorem
ANY TEMPORAL LOGIC FORMULA CAN BE REWRITTEN IN AN EQUIVALENT "PAST → FUTURE" FORM
In mathematical logic and computer science, Gabbay's separation theorem, named after Dov Gabbay, states that any arbitrary temporal logic formula can be rewritten in a logically equivalent "past → future" form. I.
Andreotti–Vesentini theorem
CERTAIN COHOMOLOGY GROUPS OF COHERENT SHEAVES ARE SEPARATED
Andreotti-Vesentini theorem; Andreotti–Vesentini separation theorem; Andreotti-Vesentini separation theorem
In mathematics, the Andreotti–Vesentini separation theorem, introduced by states that certain cohomology groups of coherent sheaves are separated.
Separation (aeronautics)
CONCEPT OF KEEPING AIRCRAFT AT LEAST A MINIMUM DISTANCE APART TO REDUCE THE RISK OF COLLISION OR WAKE TURBULENCE
Conflict (air traffic control); Separation (Air Traffic Control); Loss of separation; Lateral seperation; Lateral separation; Separation (air traffic control); Vertical separation (aeronautics); Vertical separation (aviation)
In air traffic control, separation is the name for the concept of keeping an aircraft outside a minimum distance from another aircraft to reduce the risk of those aircraft colliding, as well as prevent accidents due to secondary factors, such as wake turbulence. Separation can also apply to terrain, obstacles, and controlled airspace, wherein an aircraft must stay at a minimum distance from a block of airspace; as an example, all aircraft must be approved by the controller who "owns" the airspace before the aircraft is approved to enter that sector.
