Download
Translate Files
search close
    https://lingvanex.com/translate/ Translate Text https://app.lingvanex.com/ Translate Files

    Predicato (en. Predicate)

    Translation into Italian

    A predicate is a function that returns a boolean value.
    Un predicato è una funzione che ritorna un valore booleano.
    Example taken from data source: WikiMatrix_v1
    The approach led to development of a consistency proof for a strong validity predicate, satisfying principles previously thought impossible to satisfy.
    L’approccio ha portato allo sviluppo di una prova di coerenza per un forte predicato di validità, soddisfacendo principi ritenuti impossibili in precedenza.
    Example taken from data source: ELRC-1123-CORDIS_Results_Brief_v1
    Q laid the predicate in September.
    Q ha rilasciato il predicato a Settembre.
    Example taken from data source: ParaCrawl_v9
    To achieve its aims the project outlined quantitative predicate abstractions which combine finite state abstraction with quantitative information to further stability.
    Per raggiungere i propri obiettivi, il progetto ha delineato astrazioni di predicati che combinano astrazione a stati finiti e informazioni quantitative allo scopo di promuovere la stabilità.
    Example taken from data source: ELRC-1123-CORDIS_Results_Brief_v1
    But a determining predicate is a predicate which is added to the concept of the subject and enlarges it.
    Ma la determinazione è un predicato, che s’aggiunge al concetto del soggetto, e lo accresce.
    Example taken from data source: CCMatrix_v1
    Roaster form just means enumerating a list of elements and a set builder form essentially means giving a predicate which the elements of the set should satisfy.
    Forma Roaster significa solo enumerare una lista di elementi e di una forma set costruttore essenzialmente significa dare un predicato che gli elementi del set devono soddisfare.
    Example taken from data source: QED_v2.0a
    In 1922 Behmann proved that the monadic predicate calculus is decidable.
    Nel 1922 Behmann dimostrò che il calcolo monadico del predicato è decidibile.
    Example taken from data source: wikimedia_v20210402

    Synonyms