Sinopsis
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.
"Sinopsis" puede pertenecer a otra edición de este libro.
Acerca del autor
Prof. Dr. Jürgen Dassow, Universität Magdeburg
De la 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.
"Sobre este título" puede pertenecer a otra edición de este libro.
Resultados de la búsqueda para Logik für Informatiker (German Edition)
Imagen de archivo
Logik für Informatiker
Publicado por
Vieweg+Teubner Verlag, 2005
ISBN 10: 3519005182
ISBN 13: 9783519005186
Antiguo o usado
Tapa blanda
Librería: medimops, Berlin, Alemania
Calificación del vendedor: 5 de 5 estrellas
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
Comprar usado
EUR 27,78
Envío por EUR 10,00
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Logik für Informatiker
Publicado por
Vieweg+Teubner Verlag, 2005
ISBN 10: 3519005182
ISBN 13: 9783519005186
Antiguo o usado
Tapa blanda
Librería: medimops, Berlin, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: 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 ref. del artículo: M03519005182-V
Comprar usado
EUR 28,35
Envío por EUR 10,00
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Logik für Informatiker (German Edition) Dassow, J\xfcrgen and StaiÃ, Frithjof
Publicado por
Vieweg+Teubner Verlag, 2005
ISBN 10: 3519005182
ISBN 13: 9783519005186
Nuevo
Paperback Apr 29, 2005
Librería: myVend, Altötting, Alemania
Calificación del vendedor: 5 de 5 estrellas
Paperback Apr 29, 2005. Condición: New. inkl. Rechnung nach §19. Nº de ref. del artículo: SI-9HFL-I3GE
Comprar nuevo
EUR 31,98
Envío por EUR 9,95
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen del vendedor
Logik Fur Informatiker -Language: german
Publicado por
Vieweg+Teubner Verlag, 2005
ISBN 10: 3519005182
ISBN 13: 9783519005186
Nuevo
Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 7437097-n
Comprar nuevo
EUR 41,78
Envío por EUR 2,31
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 15 disponibles
Imagen del vendedor
Logik Fur Informatiker -Language: german
Publicado por
Vieweg+Teubner Verlag, 2005
ISBN 10: 3519005182
ISBN 13: 9783519005186
Antiguo o usado
Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 7437097
Comprar usado
EUR 42,97
Envío por EUR 2,31
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 15 disponibles
Imagen de archivo
Logik fur Informatiker
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
PF. Condición: New. Nº de ref. del artículo: 6666-IUK-9783519005186
Comprar nuevo
EUR 36,11
Envío por EUR 18,13
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 10 disponibles
Imagen de archivo
Logik für Informatiker (German Edition)
Publicado por
Vieweg+Teubner Verlag, 2005
ISBN 10: 3519005182
ISBN 13: 9783519005186
Nuevo
Tapa blanda
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. In. Nº de ref. del artículo: ria9783519005186_new
Comprar nuevo
EUR 40,26
Envío por EUR 14,02
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Logik für Informatiker
Publicado por
Vieweg+Teubner, Vieweg+Teubner Verlag Apr 2005, 2005
ISBN 10: 3519005182
ISBN 13: 9783519005186
Nuevo
Taschenbuch
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Calificación del vendedor: 5 de 5 estrellas
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
Comprar nuevo
EUR 34,99
Envío por EUR 23,00
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 2 disponibles
Imagen de archivo
Logik f?r Informatiker
Publicado por
Walter de Gruyter, Incorporated, 2005
ISBN 10: 3519005182
ISBN 13: 9783519005186
Nuevo
Tapa blanda
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Condición: New. pp. 177. Nº de ref. del artículo: 2654504499
Comprar nuevo
EUR 54,96
Envío por EUR 3,49
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 4 disponibles
Imagen de archivo
Logik f?r Informatiker
Publicado por
Vieweg+Teubner Verlag, 2005
ISBN 10: 3519005182
ISBN 13: 9783519005186
Nuevo
Tapa blanda
Librería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Calificación del vendedor: 5 de 5 estrellas
Condición: New. 2005. Paperback. . . . . . Nº de ref. del artículo: V9783519005186
Comprar nuevo
EUR 49,07
Envío por EUR 10,50
Se envía de Irlanda a Estados Unidos de America
Se envía de Irlanda a Estados Unidos de America
Cantidad disponible: 15 disponibles