Logikkalkule in der Informatik: Wie wird Logik vom Rechner genutzt? [German]

Algorithms By:Michael Schenke 2014-01-10 00:00:00

Im Mittelpunkt steht das Spannungsverhaltnis zwischen einerseits dem herkommlichen Logikansatz mit Begriffen wie Signatur, Struktur, Wahrheitswert und andererseits dem eher dynamisch ausgerichteten Begriff des Kalkuls, also zwischen Semantik und Syntax. Wie dieser Graben uberwunden wird, wird fur ve logikansatz mit begriffen, enthalt einen einheitlichen, fur

Tags: der  informatik  wie  wird  rechner  vom  logik  logikkalkule  genutzt