Verwandte Artikel zu Logik für Informatiker (German Edition)
Inhaltsangabe
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.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Über die Autorin bzw. den Autor
Prof. Dr. Jürgen Dassow, Universität Magdeburg
Von der hinteren Coverseite
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.
Neu kaufen
Diesen Artikel anzeigen
EUR 31,98
EUR 2,30 für den Versand innerhalb von/der Deutschland
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. Bestandsnummer des Verkäufers M03519005182-V
Anzahl: 2 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 | Seiten: 184 | Sprache: Deutsch | Produktart: Bücher. Bestandsnummer des Verkäufers 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 | Seiten: 184 | Sprache: Deutsch | Produktart: Bücher. Bestandsnummer des Verkäufers 1701214/202
Anzahl: 4 verfügbar
Beispielbild für diese ISBN
Logik für Informatiker (German Edition) Dassow, J\xfcrgen and StaiÃ, Frithjof
Anbieter: myVend, Altötting, Deutschland
Verkäuferbewertung 2 von 5 Sternen
Paperback. Zustand: New. inkl. Rechnung nach §19. Bestandsnummer des Verkäufers SI-9HFL-I3GE
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 | 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. Bestandsnummer des Verkäufers 102425840
Anzahl: 5 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. Bestandsnummer des Verkäufers 9783519005186
Anzahl: 1 verfügbar
Foto des Verkäufers
Logik für Informatiker
Print-on-DemandAnbieter: moluna, Greven, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Prof. Dr. Juergen Dassow, Universitaet MagdeburgLogik ist eine wichtige Grundlage der Informatik. Sie ist fuer die Formalisierung der Softwaretechnik, fuer Verifikation und Spezifikation von Programmen und Datenbanken genauso erforderlich wie fuer die lo. Bestandsnummer des Verkäufers 4859038
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Logik für Informatiker
Verlag:
Vieweg+Teubner, Vieweg+Teubner Verlag Apr 2005, 2005
ISBN 10: 3519005182
ISBN 13: 9783519005186
Neu
Taschenbuch
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 176 pp. Deutsch. Bestandsnummer des Verkäufers 9783519005186
Anzahl: 2 verfügbar
Foto des Verkäufers
Logik für Informatiker
Verlag:
Vieweg+Teubner Verlag, Vieweg+Teubner Verlag Apr 2005, 2005
ISBN 10: 3519005182
ISBN 13: 9783519005186
Neu
Taschenbuch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Neuware -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.Springer Vieweg in Springer Science + Business Media, Abraham-Lincoln-Straße 46, 65189 Wiesbaden 184 pp. Deutsch. Bestandsnummer des Verkäufers 9783519005186
Anzahl: 2 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. Bestandsnummer des Verkäufers ria9783519005186_new
Anzahl: Mehr als 20 verfügbar