Hauptseite
|
Aktueller Wikipedia-Artikel
Beweistheorie
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.