vollständige+Disjunktion
31Nachtschattengewächs — Nachtschattengewächse Bittersüßer Nachtschatten (Solanum dulcamara), Illustration Systematik Überabteilung …
32Narcissus (Gattung) — Narzissen Weiße Narzisse, auch Dichternarzisse genannt (Narcissus poeticus) Systematik Abteilung …
33Narzisse — Narzissen Weiße Narzisse, auch Dichternarzisse genannt (Narcissus poeticus) Systematik Abteilung …
34Product 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 …
35Solanaceae — Nachtschattengewächse Bittersüßer Nachtschatten (Solanum dulcamara), Illustration Systematik Überabteilun …
36wp-Kalkül — Der wp Kalkül ist ein Kalkül in der Informatik zur Verifikation eines imperativen Programmcodes. Die Abkürzung wp steht für weakest precondition, auf deutsch schwächste Vorbedingung. Bei der Verifikation geht es nicht darum, die Funktion mit… …
37Wissenstechnologie — Die Wissenstechnologie ist eine Bezeichnung für die Verbindung einer Sammlung von zum Teil über zweitausend Jahre alten formalen Methoden zur Wissensgewinnung und nutzung mit modernen Verfahren der Wissensverarbeitung und der Mathematik.… …
