Gå direkt till innehållet
Logikkalküle in der Informatik
Spara

Logikkalküle in der Informatik

Lägsta pris på PriceRunner
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.
Undertitel
Wie wird Logik vom Rechner genutzt?
Författare
Michael Schenke
ISBN
9783834818874
Språk
Tyska
Vikt
310 gram
Utgivningsdatum
2014-01-10
Sidor
232