0

Logik für Informatiker

Erschienen am 29.04.2005, Auflage: 1/2005
34,99 €
(inkl. MwSt.)

Lieferbar innerhalb 1 - 2 Wochen

In den Warenkorb
Bibliografische Daten
ISBN/EAN: 9783519005186
Sprache: Deutsch
Umfang: 177 S.
Format (T/L/B): 1.2 x 24 x 17 cm
Einband: kartoniertes Buch

Beschreibung

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

Autorenportrait

Prof. Dr. Jürgen Dassow, Universität Magdeburg

Inhalt

Grundlagen 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

Schlagzeile

Der fundierte Einstieg in die Logik für Informatiker - mit Aufgaben und Lösungen!