Logikkalkule in der Informatik : Wie wird Logik vom Rechner genutzt?
Book Details
Format
Paperback / Softback
Book Series
Studienbucher Informatik
ISBN-10
3834818879
ISBN-13
9783834818874
Publisher
Springer Fachmedien Wiesbaden
Imprint
Springer Vieweg
Country of Manufacture
DE
Country of Publication
GB
Publication Date
Jan 10th, 2014
Print length
232 Pages
Weight
422 grams
Dimensions
16.70 x 23.90 x 1.90 cms
Ksh 4,500.00
Werezi Extended Catalogue
0 in stock
Delivery Location
Delivery fee: Select location
Secure
Quality
Fast
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.
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.
Get Logikkalkule in der Informatik by at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Springer Fachmedien Wiesbaden and it has pages.
