Hai cercato la traduzione di predicate logic da Inglese a Greco

Inglese

Traduttore

predicate logic

Traduttore

Greco

Traduttore
Traduttore

Traduci istantaneamente testi, documenti e voce con Lara

Traduci ora

Contributi umani

Da traduttori professionisti, imprese, pagine web e archivi di traduzione disponibili gratuitamente al pubblico.

Aggiungi una traduzione

Inglese

Greco

Informazioni

Inglese

predicate logic

Greco

κατηγορηματικός λογισμός

Ultimo aggiornamento 2014-11-14
Frequenza di utilizzo: 3
Qualità:

Riferimento: IATE

Inglese

logic

Greco

Λογική

Ultimo aggiornamento 2020-04-20
Frequenza di utilizzo: 24
Qualità:

Riferimento: IATE

Inglese

second-order predicate logic

Greco

λογική δευτέρου βαθμού

Ultimo aggiornamento 2014-11-14
Frequenza di utilizzo: 3
Qualità:

Riferimento: IATE

Inglese

predicate offence

Greco

κύριο αδίκημα

Ultimo aggiornamento 2014-11-14
Frequenza di utilizzo: 5
Qualità:

Riferimento: IATE

Inglese

invalid predicate `'

Greco

το κατηγόρημα «» δεν είναι έγκυρο

Ultimo aggiornamento 2020-04-20
Frequenza di utilizzo: 1
Qualità:

Riferimento: IATE

Inglese

predicate calculus language

Greco

μη διαδικασιακή γλώσσα

Ultimo aggiornamento 2014-11-14
Frequenza di utilizzo: 5
Qualità:

Riferimento: IATE

Inglese

unexpected extra predicate ''

Greco

μη αναμενόμενο extra κατηγόρημα «»

Ultimo aggiornamento 2020-04-20
Frequenza di utilizzo: 1
Qualità:

Riferimento: IATE

Inglese

the predicate null tests for the value nil.

Greco

Το κατηγόρημα null ελέγχει για την τιμή nil.

Ultimo aggiornamento 2016-03-03
Frequenza di utilizzo: 1
Qualità:

Riferimento: IATE

Inglese

offence predicate to illegal money laundering activities

Greco

κύριο έγκλημα από το οποίο προέρχονται οι νομιμοποιούμενες πρόσοδοι

Ultimo aggiornamento 2014-11-14
Frequenza di utilizzo: 5
Qualità:

Riferimento: IATE

Inglese

invalid predicate -context: selinux is not enabled.

Greco

μη έγκυρο κατηγόρημα -context: selinux δεν είναι ενεργοποιημένο.

Ultimo aggiornamento 2020-04-20
Frequenza di utilizzo: 1
Qualità:

Riferimento: IATE

Inglese

a positional predicate must evaluate to a single numeric value.

Greco

Ένα κατηγορηματικό κατά θέση πρέπει να αναλύεται σε μια αριθμητική τιμή.

Ultimo aggiornamento 2011-10-23
Frequenza di utilizzo: 1
Qualità:

Riferimento: IATE

Inglese

* formal predicate calculus, contains a systematic formal development along the lines of alternative calculus* "forall x: an introduction to formal logic", by p.d.

Greco

* formal predicate calculus, contains a systematic formal development along the lines of alternative calculus* "forall x: an introduction to formal logic", by p.d.

Ultimo aggiornamento 2016-03-03
Frequenza di utilizzo: 1
Qualità:

Riferimento: IATE
Attenzione: contiene formattazione HTML nascosta

Inglese

the course is entitled "logic, computation and set theory" and covers ordinals and cardinals, posets and zorn's lemma, propositional logic, predicate logic, set theory and consistency issues related to zfc and other set theories.

Greco

the course is entitled "logic, computation and set theory" and covers ordinals and cardinals, posets and zorn's lemma, propositional logic, predicate logic, set theory and consistency issues related to zfc and other set theories.

Ultimo aggiornamento 2016-03-03
Frequenza di utilizzo: 1
Qualità:

Riferimento: IATE
Attenzione: contiene formattazione HTML nascosta

Inglese

r5rs scheme provides the predicates codice_97 and codice_98.

Greco

Η r5rs scheme παρέχει τις codice_92 και codice_93.

Ultimo aggiornamento 2016-03-03
Frequenza di utilizzo: 1
Qualità:

Riferimento: IATE

Ottieni una traduzione migliore grazie a
10,190,349,302 contributi umani

Ci sono utenti che chiedono aiuto:



I cookie ci aiutano a fornire i nostri servizi. Utilizzando tali servizi, accetti l'utilizzo dei cookie da parte nostra. Maggiori informazioni. OK