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

DPD courier 4.99 € GLS courier 9.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Logikkalkule in Der Informatik

Name: Logikkalkule in Der Informatik
Brand: Springer Vieweg
SKU: 01782647
Price: 28.21 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

69 b

28.21 €

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Voyage Dans La Basse Et La Haute Egypte. Tome 2 Denon-D-V

Paperback

27.70 €

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

Paperback

6.72 €

Liam, de avonturier silke H.

Paperback

13.04 €

Transfuge N°170 - Septembre 2023

Paperback

10.33 €

Pokoj Marty Magdalena Zimniak

Adobe ePub DRM

7.32 €

SAINT CORAN ARABE FRANCAIS PHONETIQUE CARTONNE (13 X 17 CM) - ARGENT - ARC EN CIEL REVELATION REVELATIO

Paperback

20.47 €

Princesa de cristal Maria Jose Tirado

Adobe ePub DRM

4.31 €

Bronze Age Collective Graves of Qarn al-Harf, Ras al-Khaimah (UAE) Alyson Caine

Hardback

95.78 €

Afrique : les enjeux du développement N'Guessan Kouamé

Paperback

22.68 €

Avec Joël Pommerat. Tome Ii Boudier

Paperback

18.16 €

Nation and Loyalty in a German-Polish Borderland Brendan Karch

Paperback

48.59 €

Sense and Sensibility Jane Austen

Hardback

24.79 €

AMOR ES CUANDO CESA LA LLUVIA JUN MAYUZUKI

Hardback

10.63 €

Notes on My Life: A Simple Do-It-Yourself Personal History Chris Fairweather

Paperback

11.44 €

Saving Tatas Christine Austin

Hardback

28.00 €

Mark Twain and Male Friendship Peter Messent

Hardback

114.46 €

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.