Logik für Informatiker (kartoniertes Buch)

ISBN/EAN: 9783519005186
Sprache: Deutsch
Umfang: 177 S.
Format (T/L/B): 1.2 x 24 x 17 cm
Einband: kartoniertes Buch
34,95 €
(inklusive MwSt.)
Lieferbar innerhalb 1 - 2 Wochen
In den Warenkorb
InhaltsangabeGrundlagen aus Mathematik und Theoretischer Informatik - Aussagenlogik - Prädikatenlogik - Temporale, dynamische und modale Logik - Entscheidbarkeitsfragen in der Logik - Theoretische Grundlagen der logischen Programmierung - Übungsaufgaben und ausgewählte Lösungen
Prof. Dr. Jürgen Dassow, Universität Magdeburg
Der fundierte Einstieg in die Logik für Informatiker - mit Aufgaben und Lösungen!