Logik fur Informatiker (German, Paperback, 2005 ed.)

Logik ist eine wichtige Grundlage der Informatik. Sie ist fur die Formalisierung der Softwaretechnik, fur Verifikation und Spezifikation von Programmen und Datenbanken genauso erforderlich wie fur die logische Programmierung und die Kunstliche Intelligenz.
Dieses Buch entstand auf der Basis von Vorlesungen zur Logik, die der Autor seit Jahren fur Studierende der Informatik und informatiknaher Studiengange halt. Es gibt eine Einfuhrung in die Logik aus der Sicht der Informatik.

General

Imprint:	Vieweg+teubner Verlag
Country of origin:	Germany
Release date:	April 2005
First published:	2005
Authors:	Jurgen Dassow
Dimensions:	244 x 170 x 10mm (L x W x T)
Format:	Paperback
Pages:	177
Edition:	2005 ed.
ISBN-13:	978-3-519-00518-6
Languages:	German
Categories:	Books > Computing & IT > General theory of computing > Mathematical theory of computation Books > Science & Mathematics > Mathematics > Applied mathematics > General
LSN:	3-519-00518-2
Barcode:	9783519005186

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!