Inhaltsverzeichnis
10 Beziehungen: Algorithmus, Aussagenlogik, Disjunktionsterm, Erfüllbarkeit, Erfüllbarkeitsproblem der Aussagenlogik, Horn-Formel, Implikation, Konjunktion (Logik), Literal, Polynomialzeit.
Algorithmus
sowjetischen Briefmarke anlässlich seines 1200-jährigen Geburtsjubiläums Ein Algorithmus (benannt nach al-Chwarizmi, von arabisch: Choresmier) ist eine eindeutige Handlungsvorschrift zur Lösung eines Problems oder einer Klasse von Problemen.
Sehen Markierungsalgorithmus und Algorithmus
Aussagenlogik
Die Aussagenlogik ist ein Teilgebiet der Logik, das sich mit Aussagen und deren Verknüpfung durch Junktoren befasst, ausgehend von strukturlosen Elementaraussagen (Atomen), denen ein Wahrheitswert zugeordnet wird.
Sehen Markierungsalgorithmus und Aussagenlogik
Disjunktionsterm
Ein Disjunktionsterm (auch als Disjunktionsglied oder Klausel bezeichnet) ist eine Boolesche Funktion, die ausschließlich durch die disjunktive Verknüpfung von Literalen gebildet wird.
Sehen Markierungsalgorithmus und Disjunktionsterm
Erfüllbarkeit
Erfüllbarkeit ist in der Logik und Mathematik ein metasprachliches Prädikat für die Eigenschaft von logischen Aussagen und Aussageformen.
Sehen Markierungsalgorithmus und Erfüllbarkeit
Erfüllbarkeitsproblem der Aussagenlogik
Das Erfüllbarkeitsproblem der Aussagenlogik (SAT, von ‚ Erfüllbarkeit‘) ist ein Entscheidungsproblem der theoretischen Informatik.
Sehen Markierungsalgorithmus und Erfüllbarkeitsproblem der Aussagenlogik
Horn-Formel
Horn-Formeln sind eine wichtige Art prädikatenlogischer Formeln.
Sehen Markierungsalgorithmus und Horn-Formel
Implikation
Die Bezeichnung Implikation (von; Verb: implizieren; Adjektiv: implizit) wird in der Logik nicht einheitlich für einen bestimmten logischen Zusammenhang verwendet; insbesondere werden unterschieden.
Sehen Markierungsalgorithmus und Implikation
Konjunktion (Logik)
Schnitt von Mengen wird über die Konjunktion definiert AND-Gatter: Wenn die Taster E1 '''und''' E2 betätigt werden, leuchtet die Lampe. In der Logik wird als Konjunktion (von ‚verbinden‘) oder auch Und-Verknüpfung eine bestimmte Verknüpfung zweier Aussagen oder Aussagefunktionen bezeichnet.
Sehen Markierungsalgorithmus und Konjunktion (Logik)
Literal
Ein Literal ist ein spezieller Bestandteil einer formalen Sprache.
Sehen Markierungsalgorithmus und Literal
Polynomialzeit
In der Komplexitätstheorie bezeichnet man ein Problem als in Polynomialzeit lösbar, wenn es mit einer deterministischen Rechenmaschine in einer Rechenzeit lösbar ist, die mit der Problemgröße nicht stärker als gemäß einer Polynomfunktion wächst.
Sehen Markierungsalgorithmus und Polynomialzeit
Auch bekannt als Unterstreichungsalgorithmus.