Logik für Informatiker (German Edition) - Softcover
Reseña del editor
Logik ist eine wichtige Grundlage der Informatik. Sie ist für die Formalisierung der Softwaretechnik, für Verifikation und Spezifikation von Programmen und Datenbanken genauso erforderlich wie für die logische Programmierung und die Künstliche Intelligenz. Dieses Buch entstand auf der Basis von Vorlesungen zur Logik, die der Autor seit Jahren für Studierende der Informatik und informatiknaher Studiengänge hält. Es gibt eine Einführung in die Logik aus der Sicht der Informatik.
Contraportada
Das Buch behandelt die Logik aus der Sicht der Informatik. Daher werden nicht nur fundamentale Konzepte und Aussagen der Aussagenlogik und der Prädikatenlogik (erster Stufe) angegeben, die auch für Mathematik und Philosophie bedeutsam sind, sondern algorithmische Fragen, Beziehungen zur logischen Programmierung und spezielle für die Informatik wichtige weitere Logiken werden ebenfalls intensiv diskutiert.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
- VerlagVieweg+Teubner Verlag
- Erscheinungsdatum2005
- ISBN 10 3519005182
- ISBN 13 9783519005186
- EinbandTapa blanda
- SpracheDeutsch
- Anzahl der Seiten184
Neu kaufen
Diesen Artikel anzeigen
EUR 39,98
EUR 14,03 für den Versand von Vereinigtes Königreich nach USA
Versandziele, Kosten & DauerSuchergebnisse für Logik für Informatiker (German Edition)
Beispielbild für diese ISBN
Logik für Informatiker
Anbieter: medimops, Berlin, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: very good. Gut/Very good: Buch bzw. Schutzumschlag mit wenigen Gebrauchsspuren an Einband, Schutzumschlag oder Seiten. / Describes a book or dust jacket that does show some signs of wear on either the binding, dust jacket or pages. Artikel-Nr. M03519005182-V
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Logik für Informatiker
Anbieter: Buchpark, Trebbin, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: Gut. Zustand: Gut - Gebrauchs- und Lagerspuren. Außen: Klebereste / Klebespuren. Innen: gewellt / Feuchtigkeitsschaden. Aus der Auflösung einer renommierten Bibliothek. Kann Stempel beinhalten. | Seiten: 184 | Sprache: Deutsch | Produktart: Bücher. Artikel-Nr. 1701214/203
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Logik für Informatiker
Anbieter: Buchpark, Trebbin, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: Sehr gut. Zustand: Sehr gut - Gepflegter, sauberer Zustand. Aus der Auflösung einer renommierten Bibliothek. Kann Stempel beinhalten. | Seiten: 184 | Sprache: Deutsch | Produktart: Bücher. Artikel-Nr. 1701214/202
Anzahl: 4 verfügbar
Beispielbild für diese ISBN
Logik für Informatiker (German Edition)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Artikel-Nr. ria9783519005186_new
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Logik für Informatiker
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Das Buch behandelt die Logik aus der Sicht der Informatik. Daher werden nicht nur fundamentale Konzepte und Aussagen der Aussagenlogik und der Prädikatenlogik (erster Stufe) angegeben, die auch für Mathematik und Philosophie bedeutsam sind, sondern algorithmische Fragen, Beziehungen zur logischen Programmierung und spezielle für die Informatik wichtige weitere Logiken werden ebenfalls intensiv diskutiert. Artikel-Nr. 9783519005186
Anzahl: 1 verfügbar
Foto des Verkäufers
Logik für Informatiker
Anbieter: preigu, Osnabrück, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Logik für Informatiker | Jürgen Dassow | Taschenbuch | Paperback | 177 S. | Deutsch | 2005 | Vieweg & Teubner | EAN 9783519005186 | Verantwortliche Person für die EU: Springer Vieweg in Springer Science + Business Media, Abraham-Lincoln-Str. 46, 65189 Wiesbaden, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. Artikel-Nr. 102425840
Anzahl: 5 verfügbar