Logikkalkule in der Informatik : Wie wird Logik vom Rechner genutzt?

Name: Logikkalkule in der Informatik
Brand: Springer Fachmedien Wiesbaden
SKU: 9783834818874
Price: 4500 KES
Availability: OutOfStock
ISBN: 9783834818874

by Michael Schenke

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

Product Classification: Computer programming / software development Computer programming / software engineering Algorithms & data structures Algorithms and data structures Computer science Computer architecture & logic design Computer architecture and logic design

KSh 4,500.00

Currently unavailable 0 in stock

Delivery Location

County

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. 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 Michael Schenke 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 232 pages.