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.
Logikkalkule in Der Informatik
- Wie Wird Logik Vom Rechner Genutzt?
indgår i Studienbucher Informatik serien
- Indbinding:
- Paperback
- Sideantal:
- 232
- Udgivet:
- 10. januar 2014
- Udgave:
- 2013
- Størrelse:
- 168x236x15 mm.
- Vægt:
- 408 g.
- 8-11 hverdage.
- 20. marts 2025
Normalpris
Abonnementspris
- Rabat på køb af fysiske bøger
- 1 valgfrit digitalt ugeblad
- 20 timers lytning og læsning
- Adgang til 70.000+ titler
- Ingen binding
Abonnementet koster 75 kr./md.
Ingen binding og kan opsiges når som helst.
- 1 valgfrit digitalt ugeblad
- 20 timers lytning og læsning
- Adgang til 70.000+ titler
- Ingen binding
Abonnementet koster 75 kr./md.
Ingen binding og kan opsiges når som helst.
Beskrivelse af Logikkalkule in Der Informatik
Brugerbedømmelser af Logikkalkule in Der Informatik
Giv din bedømmelse
For at bedømme denne bog, skal du være logget ind.
Find lignende bøger
Bogen Logikkalkule in Der Informatik findes i følgende kategorier: