Beweistheorie

Dieser Artikel von Wikipedia ist u.U. veraltet. Die neue Version gibt es hier.
Die Beweistheorie ist ein Teilgebiet der Theoretischen Informatik und beschäftigt sich mit der Frage man semantische Eigenschaften von Formeln mittels syntaktischer entscheiden kann.

Bücher zum Thema Beweistheorie

Dieser Artikel von Wikipedia unterliegt der GNU FDL.

Impressum • Lesezeichen setzen • Seite versenden • Seite drucken

HTML-Code zum Verweis auf diese Seite:
<a href="http://www.uni-protokolle.de/Lexikon/Beweistheorie.html">Beweistheorie </a>