Αγγλικά » Γερμανικά

Μεταφράσεις για „conjunctive“ στο λεξικό Αγγλικά » Γερμανικά

(Μετάβαση προς Γερμανικά » Αγγλικά)

conjunctive normal form, CNF ΟΥΣ

Καταχώριση χρήστη
conjunctive normal form, CNF Η/Υ, ΜΑΘ

Μονόγλωσσα παραδείγματα (μη ελεγχόμενα από το λεξικογραφικό τμήμα)

Αγγλικά
When a theorem is proven, the system produces a verifiable proof, which validates both the clausification phase and the refutation of the conjunctive normal form.
en.wikipedia.org
Later treatment of conjunctive and boolean grammars is the most thorough treatment of this formalism to date.
en.wikipedia.org
Since all logical formulae can be converted into an equivalent formula in conjunctive normal form, proofs are often based on the assumption that all formulae are CNF.
en.wikipedia.org
The adverbs and adverbial phrases that fit the criteria for a conjunctive adverb are always modifiers of the predicate in the first independent clause.
en.wikipedia.org
A further extension of conjunctive grammars known as Boolean grammars additionally allows explicit negation.
en.wikipedia.org

Θέλετε να προσθέσετε μια λέξη, φράση ή μετάφραση?

Καταχωρίστε νέο λήμμα.

Αναζητήστε "conjunctive" σε άλλες γλώσσες


Σελίδα στα Deutsch | Български | Ελληνικά | English | Español | Français | Italiano | Polski | Português | Русский | Slovenščina | Srpski | Türkçe | 中文