Gå direkte til innholdet
Logikkalküle in der Informatik
Spar

Logikkalküle in der Informatik

Im Mittelpunkt steht das Spannungsverhältnis zwischen einerseits dem herkömmlichen Logikansatz mit Begriffen wie Signatur, Struktur, Wahrheitswert und andererseits dem eher dynamisch ausgerichteten Begriff des Kalküls, also zwischen Semantik und Syntax.
Undertittel
Wie wird Logik vom Rechner genutzt?
ISBN
9783834818874
Språk
Tysk
Vekt
310 gram
Utgivelsesdato
10.1.2014
Antall sider
232