Menu
Zjistit stav objednávky
Kontaktujte nás
Kniha Logikkalkule in Der Informatik Michael Schenke

Logikkalkule in Der Informatik

Wie Wird Logik Vom Rechner Genutzt?

Autor: Michael Schenke
Jazyk: Němčina
Vazba: Brožovaná
Vydavatel: Springer Vieweg
Dostupnost: Skladem u dodavatele
Odesíláme za 5-8 dnů
667 Kč
Im Mittelpunkt steht das Spannungsverhältnis zwischen einerseits dem herkömmlichen Logikansatz mit B...

Informace o knize

Autor
Michael Schenke
Jazyk
Němčina
Vazba
Kniha - Brožovaná
Vydáno
2014
Stránek
232
EAN
9783834818874
ISBN
3834818879
Enbook ID
01782647
Vydavatel
Springer Vieweg
Hmotnost
408
Rozměry
168 x 236 x 15

Kompletní popis

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.

Mohlo by vás zajímat

Die Verzauberung der Schatten

V. E. Schwab
386 Kč

Zákaznicí kteří koupili tuto knihu koupili také

AMOR ES CUANDO CESA LA LLUVIA

JUN MAYUZUKI
227 Kč

Nation and Loyalty in a German-Polish Borderland

Brendan Karch
1 077 Kč

BABADADA black-and-white, Tswana - Sesotho sa Leboa, bukantswe ya ditshwantsho - pukuntsu e bonagalago

Babadada Gmbh
158 Kč

Transfuge N°170 - Septembre 2023

267 Kč