-
1 Konjunktive
fconjunctives -
2 konjunktive Normalform
f < math> ■ conjunctive normal formGerman-english technical dictionary > konjunktive Normalform
-
3 Konjunktiv
* * *der Konjunktivsubjunctive mood; subjunctive* * *Kọn|junk|tiv ['kɔnjʊŋktɪf]m -s, -e[-və] (GRAM) subjunctive* * *(used to state that something ought to happen, be done etc: You should hold your knife in your right hand; You shouldn't have said that.) should* * *Kon·junk·tiv<-s, -e>[ˈkɔnjʊŋkti:f]m LING subjunctive* * *der; Konjunktivs, Konjunktive (Sprachw.) subjunctive* * *Konjunktiv I present subjunctive;Konjunktiv II imperfect subjunctive* * *der; Konjunktivs, Konjunktive (Sprachw.) subjunctive* * *m.subjunctive n.
См. также в других словарях:
Konjunktive Anfrage — Konjunktive Anfragen sind eine Einschränkung von Anfragen der Prädikatenlogik und haben eine Reihe an wünschenswerten Eigenschaften, die in der Datenbanktheorie intensiv untersucht worden sind. Viele Anfragen an relationale Datenbanken und damit… … Deutsch Wikipedia
Konjunktive Normalform — Als konjunktive Normalform (kurz KNF, engl. CNF für conjunctive normal form) wird in der Aussagenlogik eine bestimmte Form von Formeln bezeichnet. Inhaltsverzeichnis 1 Definition 2 Kanonische konjunktive Normalform 3 Bildung … Deutsch Wikipedia
KNF — Konjunktive Normalform … Acronyms
KNF — Konjunktive Normalform … Acronyms von A bis Z
KDNF — Als disjunktive Normalform (kurz DNF) wird in der Booleschen Algebra eine in besonderer Weise normierte Funktionsdarstellung Boolescher Funktionen bezeichnet. Inhaltsverzeichnis 1 Definition 2 Erläuterung 3 Bildung 4 Beispiel für die Bildung der… … Deutsch Wikipedia
KKNF — Als konjunktive Normalform (kurz KNF) wird in der Aussagenlogik eine bestimmte Form von Formeln bezeichnet. Inhaltsverzeichnis 1 Definition 2 Kanonische konjunktive Normalform 3 Bildung 4 Beispiel für die Bildung der KNF 5 … Deutsch Wikipedia
Product of sums — Als konjunktive Normalform (kurz KNF) wird in der Aussagenlogik eine bestimmte Form von Formeln bezeichnet. Inhaltsverzeichnis 1 Definition 2 Kanonische konjunktive Normalform 3 Bildung 4 Beispiel für die Bildung der KNF 5 … Deutsch Wikipedia
Produktterm — Als disjunktive Normalform (kurz DNF) wird in der Booleschen Algebra eine in besonderer Weise normierte Funktionsdarstellung Boolescher Funktionen bezeichnet. Inhaltsverzeichnis 1 Definition 2 Erläuterung 3 Bildung 4 Beispiel für die Bildung der… … Deutsch Wikipedia
Sum of products — Als disjunktive Normalform (kurz DNF) wird in der Booleschen Algebra eine in besonderer Weise normierte Funktionsdarstellung Boolescher Funktionen bezeichnet. Inhaltsverzeichnis 1 Definition 2 Erläuterung 3 Bildung 4 Beispiel für die Bildung der… … Deutsch Wikipedia
Disjunktive Normalform — Als disjunktive Normalform (kurz DNF) wird in der Booleschen Algebra eine in besonderer Weise normierte Funktionsdarstellung Boolescher Funktionen bezeichnet. Inhaltsverzeichnis 1 Definition 2 Erläuterung 3 Bildung … Deutsch Wikipedia
Klauselform — Die Klauselform oder Klauselnormalform beschreibt in der Logik eine Formel in konjunktiver Normalform (KNF), bei der die Konjunktionen jeweils in Mengenschreibweise zusammengefasst wurden. Eine Formel in Klauselform (selten auch Klausenform) ist… … Deutsch Wikipedia