orellfuessli.ch

Mit eBooks in weniger als einer Minute mit dem Lesen beginnen. Sie haben noch keinen tolino?

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 (PDF)
Fr. 24.90
inkl. gesetzl. MwSt.
Sofort per Download lieferbar
In der Cloud verfügbar
Premium Card
Fr. 24.90 Umsatz sammeln
Weitere Informationen

Andere Kunden interessierten sich auch für

  • 29162624
    Logik
    von Alexander Jäckel
    eBook
    Fr. 15.50
  • 31192671
    Abgründe der Informatik
    von Alois Potton
    eBook
    Fr. 29.90
  • 47369919
    Angular 2
    von Manfred Steyer
    eBook
    Fr. 4.50
  • 44777284
    Java ist auch eine Insel
    von Christian Ullenboom
    eBook
    Fr. 58.90
  • 47273697
    Windows 10 Reparaturhandbuch
    von Christian Immler
    eBook
    Fr. 11.50
  • 42363836
    Basiswissen Requirements Engineering
    von Klaus Pohl
    eBook
    Fr. 27.50
  • 46692990
    MacOS Sierra
    von Anton Ochsenkühn
    eBook
    Fr. 9.90
  • 45607846
    PowerShell 5.0
    von Tobias Weltner
    eBook
    Fr. 43.50
  • 45304129
    Excel 2016 Formeln und Funktionen
    von Ignatz Schels
    eBook
    Fr. 24.00
  • 44380334
    VBA mit Excel
    von Bernd Held
    eBook
    Fr. 58.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. 24.90
+
=
100 Methoden und Techniken

100 Methoden und Techniken

von Thomas Grosser

eBook
Fr. 28.90
+
=

für

Fr. 53.80

inkl. gesetzl. MwSt.

Alle kaufen