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!