Logikkalküle in der Informatik - Wie wird Logik vom Rechner genutzt?
11 Angebote vergleichen

Lieferung aus: Schweiz, Sofort per Download lieferbar.
Wie wird Logik vom Rechner genutzt? 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. PDF, 19.12.2013.

Lieferung aus: Deutschland, Sofort per Download lieferbar.
Wie wird Logik vom Rechner genutzt? 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. 19.12.2013, PDF.

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.

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.

Lieferung aus: Deutschland, Versandkostenfrei.
Logikkalküle in der Informatik: 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: Ebook.

Lieferung aus: Vereinigtes Königreich Großbritannien und Nordirland, Versandkostenfrei.
Logikkalküle in der Informatik ab 19.99 € als pdf eBook: Wie wird Logik vom Rechner genutzt?. Aus dem Bereich: eBooks, Sachthemen & Ratgeber, Computer & Internet,.

Lieferung aus: Deutschland, Versandkosten, 3834818879.
Wie wird Logik vom Rechner genutzt? Studienbücher Informatik, Wie wird Logik vom Rechner genutzt? Studienbücher Informatik.

Lieferung aus: Vereinigtes Königreich Großbritannien und Nordirland, Versandkostenfrei.
Logikkalküle in der Informatik ab 19.99 EURO Wie wird Logik vom Rechner genutzt?

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

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