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
  • 25410402
    Informatik als Dialog zwischen Theorie und Anwendung
    eBook
    Fr. 33.90
  • 44836934
    Grundlagen der höheren Informatik
    von Malte Isberner
    eBook
    Fr. 9.90
  • 53947720
    Die Blockchain Bibel
    von Philipp Giese
    eBook
    Fr. 6.90
  • 50330187
    Einstieg in C# mit Visual Studio 2017
    von Thomas Theis
    eBook
    Fr. 35.90
  • 64496474
    WhatsApp – Einsteigen, Nutzen, Umziehen – leicht gemacht!
    von Anja Schmid
    eBook
    Fr. 3.50
  • 63082935
    Python Crashkurs
    von Eric Matthes
    eBook
    Fr. 28.50
  • 64189384
    Das inoffizielle ARK-Handbuch
    von Andreas Zintzsch
    eBook
    Fr. 7.50
  • 53947718
    Die Blockchain Bibel
    von Philipp Giese
    eBook
    Fr. 6.90
  • 46005935
    Follow me!
    von Elisabeth Vogl
    eBook
    Fr. 35.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
+
=
Grundlagen Projektmanagement

Grundlagen Projektmanagement

von Thomas Grosser

eBook
Fr. 34.90
+
=

für

Fr. 47.80

inkl. gesetzl. MwSt.

Alle kaufen