Siirry suoraan sisältöön
Logikkalküle in der Informatik
Tallenna

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.
Alaotsikko
Wie wird Logik vom Rechner genutzt?
Kirjailija
Michael Schenke
ISBN
9783834818874
Kieli
saksa
Paino
310 grammaa
Julkaisupäivä
10.1.2014
Kustantaja
Springer Vieweg
Sivumäärä
232