Der fundierte Einstieg in die Logik für Informatiker - mit Aufgaben und Lösungen!
"Sinopsis" puede pertenecer a otra edición de este libro.
Prof. Dr. Jürgen Dassow, Universität Magdeburg
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.
"Sobre este título" puede pertenecer a otra edición de este libro.
Librería: medimops, Berlin, Alemania
Condición: good. Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present. Nº de ref. del artículo: M03519005182-G
Cantidad disponible: 1 disponibles
Librería: myVend, Altötting, Alemania
Paperback Apr 29, 2005. Condición: New. inkl. Rechnung nach §19. Nº de ref. del artículo: SI-9HFL-I3GE
Cantidad disponible: 1 disponibles
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Condición: New. In English. Nº de ref. del artículo: ria9783519005186_new
Cantidad disponible: Más de 20 disponibles
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Taschenbuch. Condición: 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 ref. del artículo: 9783519005186
Cantidad disponible: 2 disponibles
Librería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Condición: New. 2005. Paperback. . . . . . Nº de ref. del artículo: V9783519005186
Cantidad disponible: 15 disponibles
Librería: Books Puddle, Woodside, NY, Estados Unidos de America
Condición: New. pp. 177. Nº de ref. del artículo: 2654504499
Cantidad disponible: 4 disponibles
Librería: Majestic Books, Hounslow, Reino Unido
Condición: New. Print on Demand pp. 177. Nº de ref. del artículo: 55055340
Cantidad disponible: 4 disponibles
Librería: Biblios, Frankfurt am main, HESSE, Alemania
Condición: New. PRINT ON DEMAND pp. 177. Nº de ref. del artículo: 1854504505
Cantidad disponible: 4 disponibles
Librería: Revaluation Books, Exeter, Reino Unido
Paperback. Condición: Brand New. 2005 edition. 177 pages. German language. 9.45x6.54x0.39 inches. In Stock. Nº de ref. del artículo: x-3519005182
Cantidad disponible: 2 disponibles
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Daher werden nicht nur fundamentale Konzepte und Aussagen der Aussagenlogik und der Prädikatenlogik (erster Stufe) angegeben, die auch für die Mathematik und die Philosophie bedeutsam sind, sondern auch algorithmische Fragen, Beziehungen zur logischen Programmierung und spezielle, für die Informatik wichtige, weitere Logiken ausführlich diskutiert. Nº de ref. del artículo: 9783519005186
Cantidad disponible: 1 disponibles