orellfuessli.ch

Logikkalküle in der Informatik

Wie wird Logik vom Rechner genutzt?

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. Wie dieser Graben überwunden wird, wird für verschiedene auch nicht-klassische Logiken vorgeführt:
Prädikatenlogik, modale, temporale, nichtmonotone, epistemische Logik und andere.
Dadurch wird insbesondere auch eine einführende Übersicht über Logiken gegeben, die an manchen Stellen der Informatik benötigt werden, zu deren Verständnis man sich aber kein ganzes spezielles Buch anschaffen möchte. Das Buch enthält einen einheitlichen Ansatz für verschiedene Logiken.
… weiterlesen
Beschreibung

Produktdetails


Format PDF i
Kopierschutz kopiergeschützt i
Erscheinungsdatum 19.12.2013
Sprache Deutsch
EAN 9783834822956
Verlag Springer Fachmedien Wiesbaden
eBook
Fr. 12.90
inkl. gesetzl. MwSt.
Sofort per Download lieferbar
In der Cloud verfügbar
Premium Card
Fr. 12.90 Umsatz sammeln
Weitere Informationen

Andere Kunden interessierten sich auch für

  • 31192671
    Abgründe der Informatik
    von Alois Potton
    eBook
    Fr. 14.90
  • 50874328
    Die Sketchnote Starthilfe
    von Tanja Wehr
    eBook
    Fr. 30.90
  • 39934367
    Das Sketchnote Handbuch
    von Mike Rohde
    eBook
    Fr. 33.90
  • 47655350
    Amazon Echo - Das ultimative Handbuch
    von Tom Schillerhof
    eBook
    Fr. 3.50
  • 44380334
    VBA mit Excel
    von Bernd Held
    eBook
    Fr. 58.90
  • 42238768
    100 Methoden und Techniken
    von Thomas Grosser
    eBook
    Fr. 23.90
  • 50751767
    Hacken für Dummies
    von Kevin Beaver
    eBook
    Fr. 24.50
  • 42286121
    Think Content!
    von Miriam Löffler
    eBook
    Fr. 35.90
  • 46368751
    Apps programmieren mit Swift
    von Klaus M. Rodewig
    eBook
    Fr. 35.90
  • 46368754
    Html5 und Css3
    von Jürgen Wolf
    eBook
    Fr. 52.90

Kundenbewertungen


Es wurden noch keine Bewertungen geschrieben.

Wird oft zusammen gekauft

Logikkalküle in der Informatik

Logikkalküle in der Informatik

von Michael Schenke

eBook
Fr. 12.90
+
=
Windows 10 für Senioren

Windows 10 für Senioren

von Inge Baumeister

eBook
Fr. 7.50
+
=

für

Fr. 20.40

inkl. gesetzl. MwSt.

Alle kaufen