Freunden von diesem Artikel berichten:
Logik Fur Informatiker Jurgen Dassow German, 2005 edition
Bestellware
Weihnachtsgeschenke können bis zum 31. Januar umgetauscht werden
Logik Fur Informatiker
Jurgen Dassow
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.
177 pages, black & white illustrations
| Medien | Bücher Taschenbuch (Buch mit Softcover und geklebtem Rücken) |
| Erscheinungsdatum | 29. April 2005 |
| ISBN13 | 9783519005186 |
| Verlag | Springer Fachmedien Wiesbaden |
| Seitenanzahl | 177 |
| Maße | 170 × 244 × 10 mm · 303 g |
| Sprache | Deutsch |
Weitere Titel von Jurgen Dassow
Alle anzeigenAlle Titel von Jurgen Dassow ansehen ( u. a. Taschenbuch )