Vorbedingung

Vorbedingung

Das Wort Vorbedingung bezeichnet:

  • Allgemein und in der Physik die Ursachen/Bedingungen die erfüllt sein müssen, damit ein Ereignis stattfindet. Rückblickend der Zustand, der zu einem Ereignis geführt hat, siehe Kausalität.
  • In der Logik und Mathematik die Bedingungen, unter denen eine Aussage gültig ist. Man unterscheidet notwendige und hinreichende Bedingungen, siehe Beweis (Mathematik) und Schlussfolgerung.
  • In der Informatik die Bedingungen bzw. Voraussetzungen, unter denen das Verhalten eines Programms oder einer Funktion definiert ist, siehe Vorbedingung (Informatik).

Siehe auch: Nachbedingung

Diese Seite ist eine Begriffsklärung zur Unterscheidung mehrerer mit demselben Wort bezeichneter Begriffe.

Wikimedia Foundation.

Игры ⚽ Нужно сделать НИР?

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Vorbedingung — Bedingung, Erfordernis, Gebot, Grundlage, Klausel, Kondition, Muss, Notwendigkeit, Voraussetzung, Vorbehalt; (bildungsspr.): Basis, Kriterium, Prämisse; (österr. Amtsspr.): Bedingnis. * * * Vorbedingung,die:⇨Voraussetzung… …   Das Wörterbuch der Synonyme

  • Vorbedingung — die Vorbedingung, en (Aufbaustufe) Voraussetzung, von der die Aufnahme oder der Anfang von etw. abhängt Beispiel: Ausdauer ist eine notwendige Vorbedingung für das Gelingen unserer Unternehmung …   Extremes Deutsch

  • Vorbedingung — Vor|be|din|gung 〈f. 20; umg.; verstärkend〉 Bedingung ● eine Vorbedingung stellen * * * Vor|be|din|gung, die; , en: Bedingung, die erfüllt werden muss, bevor etw. angefangen werden kann: die Freilassung der Gefangenen war eine V. für die… …   Universal-Lexikon

  • Vorbedingung (Informatik) — Die Vorbedingung einer Funktion oder eines Programms gibt an, unter welchen Bedingungen das Verhalten der Funktion definiert ist. Die Vorbedingung ist Teil der formalen Spezifikation der Funktion (bzw. des Programms) und dient der Verifikation:… …   Deutsch Wikipedia

  • Vorbedingung — Vo̲r·be·din·gung die ≈ ↑Voraussetzung (2) …   Langenscheidt Großwörterbuch Deutsch als Fremdsprache

  • Vorbedingung — Vor|be|din|gung …   Die deutsche Rechtschreibung

  • Vorbed. — Vorbedingung(en) EN precondition(s), prerequisite(s) …   Abkürzungen und Akronyme in der deutschsprachigen Presse Gebrauchtwagen

  • wp-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… …   Deutsch Wikipedia

  • Design By Contract — (englisch Entwurf gemäß Vertrag) oder kurz DBC ist ein Konzept aus dem Bereich der Softwareentwicklung. Ziel ist das reibungslose Zusammenspiel einzelner Programmmodule durch die Definition formaler Verträge zur Verwendung von Schnittstellen, die …   Deutsch Wikipedia

  • Design by Contract — (englisch Entwurf gemäß Vertrag) oder kurz DBC ist ein Konzept aus dem Bereich der Softwareentwicklung. Ziel ist das reibungslose Zusammenspiel einzelner Programmmodule durch die Definition formaler Verträge zur Verwendung von Schnittstellen, die …   Deutsch Wikipedia

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”