Marknadens största urval
Snabb leverans

Logikkalkule in Der Informatik

- Wie Wird Logik Vom Rechner Genutzt?

Om Logikkalkule in Der Informatik

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.

Visa mer
  • Språk:
  • Tyska
  • ISBN:
  • 9783834818874
  • Format:
  • Häftad
  • Sidor:
  • 232
  • Utgiven:
  • 10. januari 2014
  • Utgåva:
  • 2013
  • Mått:
  • 168x236x15 mm.
  • Vikt:
  • 408 g.
  Fri leverans
Leveranstid: 2-4 veckor
Förväntad leverans: 24. januari 2025
Förlängd ångerrätt till 31. januari 2025
  •  

    Kan ej levereras före jul.
    Köp nu och skriv ut ett presentkort

Beskrivning av Logikkalkule in Der Informatik

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.

Användarnas betyg av Logikkalkule in Der Informatik



Hitta liknande böcker
Boken Logikkalkule in Der Informatik finns i följande kategorier:

Gör som tusentals andra bokälskare

Prenumerera på vårt nyhetsbrev för att få fantastiska erbjudanden och inspiration för din nästa läsning.