Logikkalkule in der Informatik: Wie wird Logik vom Rechner genutzt? (Bog, Paperback / softback, Tysk) af Michael Schenke

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

(Bog, Paperback / softback, Tysk)
Forfatter: Michael Schenke



Bemærk: Kan ikke leveres før jul.

Når du handler på WilliamDam.dk, betaler du den pris du ser.

  • Ingen gebyrer
  • Ingen abonnementer
  • Ingen bindingsperioder

Beskrivelse

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.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Springer Fachmedien Wiesbaden
Forfatter Michael Schenke
Type Bog
Format Paperback / softback
Sprog Tysk
Udgave 2013 ed.
Udgivelsesdato 10-01-2014
Første udgivelsesår 2014
Serie Studienbucher Informatik
Illustrationer 74 Illustrations, black and white; XII, 232 S. 74 Abb.
Originalsprog Germany
Sideantal 232
Indbinding Paperback / softback
Forlag Springer Fachmedien Wiesbaden
Sideoplysninger 232 pages, 74 Illustrations, black and white; XII, 232 S. 74 Abb.
Mål 240 x 168
ISBN-13 / EAN-13 9783834818874