Articles liés à Logik für Informatiker (German Edition)
Synopsis
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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
À propos de l?auteur
Prof. Dr. Jürgen Dassow, Universität Magdeburg
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
Acheter neuf
Afficher cet article
EUR 31,98
EUR 7,95 expédition depuis Allemagne vers France
Destinations, frais et délaisRésultats de recherche pour Logik für Informatiker (German Edition)
Image d'archives
Logik für Informatiker
Edité par
Vieweg+Teubner Verlag, 2005
ISBN 10 : 3519005182
ISBN 13 : 9783519005186
Ancien ou d'occasion
Couverture souple
Vendeur : medimops, Berlin, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : 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. N° de réf. du vendeur M03519005182-V
Quantité disponible : 2 disponible(s)
Image d'archives
Logik für Informatiker
Edité par
Vieweg+Teubner Verlag, 2005
ISBN 10 : 3519005182
ISBN 13 : 9783519005186
Ancien ou d'occasion
Couverture souple
Vendeur : Buchpark, Trebbin, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : Gut. Zustand: Gut | Seiten: 184 | Sprache: Deutsch | Produktart: Bücher. N° de réf. du vendeur 1701214/203
Quantité disponible : 1 disponible(s)
Image d'archives
Logik für Informatiker
Edité par
Vieweg+Teubner Verlag, 2005
ISBN 10 : 3519005182
ISBN 13 : 9783519005186
Ancien ou d'occasion
Couverture souple
Vendeur : Buchpark, Trebbin, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : Sehr gut. Zustand: Sehr gut | Seiten: 184 | Sprache: Deutsch | Produktart: Bücher. N° de réf. du vendeur 1701214/202
Quantité disponible : 4 disponible(s)
Image d'archives
Logik für Informatiker (German Edition) Dassow, J\xfcrgen and StaiÃ, Frithjof
Vendeur : myVend, Altötting, Allemagne
Évaluation du vendeur 2 sur 5 étoiles
Paperback. Etat : New. inkl. Rechnung nach §19. N° de réf. du vendeur SI-9HFL-I3GE
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Logik für Informatiker
Edité par
Vieweg+Teubner Verlag, 2005
ISBN 10 : 3519005182
ISBN 13 : 9783519005186
Neuf
Couverture souple
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : 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. N° de réf. du vendeur 4859038
Quantité disponible : Plus de 20 disponibles
Image d'archives
Logik für Informatiker (German Edition)
Edité par
Vieweg+Teubner Verlag, 2005
ISBN 10 : 3519005182
ISBN 13 : 9783519005186
Neuf
Couverture souple
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9783519005186_new
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Logik für Informatiker
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : 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. N° de réf. du vendeur 9783519005186
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Logik für Informatiker
Edité par
Vieweg+Teubner, Vieweg+Teubner Verlag Apr 2005, 2005
ISBN 10 : 3519005182
ISBN 13 : 9783519005186
Neuf
Taschenbuch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : 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. N° de réf. du vendeur 9783519005186
Quantité disponible : 2 disponible(s)
Image d'archives
Logik fur Informatiker
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
PF. Etat : New. N° de réf. du vendeur 6666-IUK-9783519005186
Quantité disponible : 10 disponible(s)
Image d'archives
Logik für Informatiker (German Edition)
Edité par
Vieweg+Teubner Verlag, 2005
ISBN 10 : 3519005182
ISBN 13 : 9783519005186
Neuf
Couverture souple
Vendeur : California Books, Miami, FL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur I-9783519005186
Quantité disponible : Plus de 20 disponibles