Theoretische Informatik

Grundlagen

0.0 (0)

Kartei Details

Karten	31
Sprache	Deutsch
Kategorie	Informatik
Stufe	Universität
Erstellt / Aktualisiert	13.08.2020 / 22.01.2021
Lizenzierung	Namensnennung - Nicht-kommerziell - Keine Bearbeitung (CC BY-NC-ND) (n.a.)
Weblink	https://card2brain.ch/box/20200813_sieben_wunder_der_informatik
Einbinden	<iframe src="https://card2brain.ch/box/20200813_sieben_wunder_der_informatik/embed" width="780" height="150" scrolling="no" frameborder="0"></iframe>

Flip-Modus

Definieren?

bedeutet, so genau zu beschreiben, dass jede und jeder, der noch nie einen ... gesehen hat, anhand dieser Beschreibung für jeden Gegenstand eindeutig entscheiden kann, ob es ein ... ist oder nicht. In der Definition dürfen nur Wörter (Begriffe) verwendet werden, deren Bedeutung schon vorher festgelegt wurde.

Axiome?

sind Grundbausteine der Wissenschaft. Es sind Tatsachen oder Begriffsspezifikationen, von deren Wahrhaftigkeit und Korrektheit wir fest überzeugt sind, obwohl es keine Möglichkeit gibt, ihre Korrektheit zu beweisen.

A ⇒ B

A impliziert B

Wenn A wahr ist (wenn A gilt), dann ist auch B wahr (dann gilt B). In anderen Worten, die Unwahrheit kann nicht die Folgerung aus einer Wahrheit sein.

Direkte Beweise?

Folgen korrekter Folgerungen.

Beweise "A ⇒ C"! Wenn "A ⇒ B und B ⇒ C" dann "A ⇒ B ⇒ C" also "A ⇒ C"