Results for predicate logic translation from English to Greek

English

Translate

predicate logic

Translate

Greek

Translate
Translate

Instantly translate texts, documents and voice with Lara

Translate now

Human contributions

From professional translators, enterprises, web pages and freely available translation repositories.

Add a translation

English

Greek

Info

English

predicate logic

Greek

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

Last Update: 2014-11-14
Usage Frequency: 3
Quality:

Reference: IATE

English

logic

Greek

Λογική

Last Update: 2020-04-20
Usage Frequency: 24
Quality:

Reference: IATE

English

second-order predicate logic

Greek

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

Last Update: 2014-11-14
Usage Frequency: 3
Quality:

Reference: IATE

English

predicate offence

Greek

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

Last Update: 2014-11-14
Usage Frequency: 5
Quality:

Reference: IATE

English

invalid predicate `'

Greek

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

Last Update: 2020-04-20
Usage Frequency: 1
Quality:

Reference: IATE

English

predicate calculus language

Greek

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

Last Update: 2014-11-14
Usage Frequency: 5
Quality:

Reference: IATE

English

unexpected extra predicate ''

Greek

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

Last Update: 2020-04-20
Usage Frequency: 1
Quality:

Reference: IATE

English

the predicate null tests for the value nil.

Greek

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

Last Update: 2016-03-03
Usage Frequency: 1
Quality:

Reference: IATE

English

offence predicate to illegal money laundering activities

Greek

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

Last Update: 2014-11-14
Usage Frequency: 5
Quality:

Reference: IATE

English

invalid predicate -context: selinux is not enabled.

Greek

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

Last Update: 2020-04-20
Usage Frequency: 1
Quality:

Reference: IATE

English

a positional predicate must evaluate to a single numeric value.

Greek

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

Last Update: 2011-10-23
Usage Frequency: 1
Quality:

Reference: IATE

English

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

Greek

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

Last Update: 2016-03-03
Usage Frequency: 1
Quality:

Reference: IATE
Warning: Contains invisible HTML formatting

English

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.

Greek

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.

Last Update: 2016-03-03
Usage Frequency: 1
Quality:

Reference: IATE
Warning: Contains invisible HTML formatting

English

r5rs scheme provides the predicates codice_97 and codice_98.

Greek

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

Last Update: 2016-03-03
Usage Frequency: 1
Quality:

Reference: IATE

Get a better translation with
10,190,363,628 human contributions

Users are now asking for help:



We use cookies to enhance your experience. By continuing to visit this site you agree to our use of cookies. Learn more. OK