Logik für Informatiker
Kurzinformation
Sprache:
Deutsch
ISBN:
3519005182
Verlag:
Seitenzahl:
184
Auflage:
-
Erschienen:
2005-04-29
bestellen
Handgeprüfte Gebrauchtware
Schnelle Lieferung
Faire Preise
inkl. MwSt. Versandinformationen
Artikel zZt. nicht lieferbar
Artikel zZt. nicht lieferbar
Weitere Zahlungsmöglichkeiten
Beschreibung
Logik für Informatiker
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. von Dassow, Jürgen
Produktdetails
Einband:
Kartoniert
Seitenzahl:
184
Erschienen:
2005-04-29
Sprache:
Deutsch
EAN:
9783519005186
ISBN:
3519005182
Verlag:
Gewicht:
323 g
Auflage:
-
Verwandte Sachgebiete:
Alle gebrauchten Bücher werden von uns handgeprüft.
So garantieren wir Dir zu jeder Zeit Premiumqualität.
So garantieren wir Dir zu jeder Zeit Premiumqualität.
Entdecke mehr vom Verlag
Neu
34,99 €
Entdecke mehr Gebrauchtes für Dich
