Zum Inhalt springen

Beweistheorie

aus Wikipedia, der freien Enzyklopädie
Dies ist eine alte Version dieser Seite, zuletzt bearbeitet am 10. Februar 2004 um 23:15 Uhr durch InfoGeist (Diskussion | Beiträge). Sie kann sich erheblich von der aktuellen Version unterscheiden.
(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)

Die Beweistheorie ist ein Teilgebiet der Theoretischen Informatik und beschäftigt sich mit der Frage, wie man semantische Eigenschaften von Formeln mittels syntaktischer Manipulation entscheiden kann.

Abgerufen von „https://de.wikipedia.org/w/index.php?title=Beweistheorie&oldid=601350“