Logikkalkule in der Informatik
Michael Schenke
Springer Fachmedien Wiesbaden, 2014
38,75 €On orderDelivery: 2-3 weeks
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.
- ISBN-13
- 9783834818874
- ISBN-10
- 3834818879
- Publisher
- Springer Fachmedien Wiesbaden
- Year
- 2014
- Publication date
- 2014-01-10
- Pages
- 232
- Dimensions
- 167x239x19
- Weight
- 422