Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.99 € GLS courier 4.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Logikkalkule in Der Informatik

Name: Logikkalkule in Der Informatik
Brand: Springer Vieweg
SKU: 01782647
Price: 29.99 EUR
Availability: InStock
Author: Michael Schenke
ISBN: 9783834818874

Wie Wird Logik Vom Rechner Genutzt?

Michael Schenke

Language

German

Book Paperback

Libristo code: 01782647

Publishers Springer Vieweg, January 2014

Im Mittelpunkt steht das Spannungsverhältnis zwischen einerseits dem herkömmlichen Logikansatz mit B... Full description

Libristo code: 01782647

73 b

29.99 € VAT included

In stock at our supplier Shipping in 5-8 days

Delivery to Austria

Up to 30 days for returns

Customers also purchased

AMOR ES CUANDO CESA LA LLUVIA JUN MAYUZUKI

Hardback

11.19 €

Nation and Loyalty in a German-Polish Borderland Brendan Karch

Paperback

49.79 €

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

Paperback

6.99 €

Transfuge N°170 - Septembre 2023

Paperback

11.99 €

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.