Logikkalküle in der Informatik: Wie wird Logik vom Rechner genutzt? (Studienbücher Informatik)
6 Angebote vergleichen
Preise | 2013 | 2014 | 2015 | 2016 | 2019 |
---|---|---|---|---|---|
Schnitt | € 25,14 | € 25,28 | € 27,72 | € 24,99 | € 29,99 |
Nachfrage |
1
Symbolbild
Logikkalkule in Der Informatik: Wie Wird Logik Vom Rechner Genutzt?
DE PB NW
ISBN: 9783834818874 bzw. 3834818879, in Deutsch, Springer, Taschenbuch, neu.
Von Händler/Antiquariat, BuySomeBooks [52360437], Las Vegas, NV, U.S.A.
Paperback. 232 pages. Dimensions: 9.4in. x 6.6in. x 0.5in.Im Mittelpunkt steht das Spannungsverhltnis zwischen einerseits dem herkmmlichen Logikansatz mit Begriffen wie Signatur, Struktur, Wahrheitswert und andererseits dem eher dynamisch ausgerichteten Begriff des Kalkls, also zwischen Semantik und Syntax. Wie dieser Graben berwunden wird, wird fr verschiedene auch nicht-klassische Logiken vorgefhrt: Prdikatenlogik, modale, temporale, nichtmonotone, epistemische Logik und andere. Dadurch wird insbesondere auch eine einfhrende bersicht ber Logiken gegeben, die an manchen Stellen der Informatik bentigt werden, zu deren Verstndnis man sich aber kein ganzes spezielles Buch anschaffen mchte. Das Buch enthlt einen einheitlichen Ansatz fr verschiedene Logiken. This item ships from multiple locations. Your book may arrive from Roseburg,OR, La Vergne,TN.
Paperback. 232 pages. Dimensions: 9.4in. x 6.6in. x 0.5in.Im Mittelpunkt steht das Spannungsverhltnis zwischen einerseits dem herkmmlichen Logikansatz mit Begriffen wie Signatur, Struktur, Wahrheitswert und andererseits dem eher dynamisch ausgerichteten Begriff des Kalkls, also zwischen Semantik und Syntax. Wie dieser Graben berwunden wird, wird fr verschiedene auch nicht-klassische Logiken vorgefhrt: Prdikatenlogik, modale, temporale, nichtmonotone, epistemische Logik und andere. Dadurch wird insbesondere auch eine einfhrende bersicht ber Logiken gegeben, die an manchen Stellen der Informatik bentigt werden, zu deren Verstndnis man sich aber kein ganzes spezielles Buch anschaffen mchte. Das Buch enthlt einen einheitlichen Ansatz fr verschiedene Logiken. This item ships from multiple locations. Your book may arrive from Roseburg,OR, La Vergne,TN.
2
Logikkalküle in der Informatik (2014)
~DE PB NW
ISBN: 9783834818874 bzw. 3834818879, vermutlich in Deutsch, Taschenbuch, neu.
Lieferung aus: Deutschland, Next Day, Versandkostenfrei.
Erscheinungsdatum: 10.01.2014, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Logikkalküle in der Informatik, Titelzusatz: Wie wird Logik vom Rechner genutzt?, Autor: Schenke, Michael, Verlag: Vieweg+Teubner Verlag // Springer Fachmedien Wiesbaden GmbH, Imprint: Springer Vieweg, Sprache: Deutsch, Schlagworte: EDV // Theorie // Informatik // Allgemeines // Logikprogrammierung // Algorithmus // Mathematik // Computer // Software-Entw // Software Engineering // COMPUTERS // Logic Design // Theoretische Informatik // Rechnerarchitektur und Logik-Entwurf, Rubrik: Informatik, Seiten: 232, Reihe: Studienbücher Informatik, Gewicht: 418 gr, Verkäufer: averdo.
Erscheinungsdatum: 10.01.2014, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Logikkalküle in der Informatik, Titelzusatz: Wie wird Logik vom Rechner genutzt?, Autor: Schenke, Michael, Verlag: Vieweg+Teubner Verlag // Springer Fachmedien Wiesbaden GmbH, Imprint: Springer Vieweg, Sprache: Deutsch, Schlagworte: EDV // Theorie // Informatik // Allgemeines // Logikprogrammierung // Algorithmus // Mathematik // Computer // Software-Entw // Software Engineering // COMPUTERS // Logic Design // Theoretische Informatik // Rechnerarchitektur und Logik-Entwurf, Rubrik: Informatik, Seiten: 232, Reihe: Studienbücher Informatik, Gewicht: 418 gr, Verkäufer: averdo.
4
Logikkalküle in der Informatik: Wie wird Logik vom Rechner genutzt? (Studienbücher Informatik) (2014)
DE PB US
ISBN: 9783834818874 bzw. 3834818879, in Deutsch, 232 Seiten, 2013. Ausgabe, Springer Vieweg, Taschenbuch, gebraucht.
Lieferung aus: Deutschland, Versandfertig in 1 - 2 Werktagen.
Von Händler/Antiquariat, lange_und_springer_antiquariat.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Von Händler/Antiquariat, lange_und_springer_antiquariat.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
5
Logikkalküle in der Informatik: Wie wird Logik vom Rechner genutzt? (Studienbücher Informatik) (2014)
DE PB NW
ISBN: 9783834818874 bzw. 3834818879, in Deutsch, 232 Seiten, 2013. Ausgabe, Springer Vieweg, Taschenbuch, neu.
Lieferung aus: Deutschland, Gewöhnlich versandfertig in 24 Stunden.
Von Händler/Antiquariat, Amazon.de.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Von Händler/Antiquariat, Amazon.de.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Lade…