Logik für Informatiker
Erschienen am
29.04.2005
Bibliographische Informationen
ISBN/EAN: 9783519005186
Sprache: Deutsch
Seiten: 177 S.
Format (H/B/T): 1.2 x 24 x 17 cm
Auflage: 1. Auflage 2005
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!
Weitere Artikel des Autors "Dassow, Jürgen"
Lieferbar innerhalb 1 - 2 Wochen
Lieferbar innerhalb 1 - 2 Wochen
Lieferbar innerhalb 1 - 2 Wochen
Weitere Artikel aus der Kategorie "Informatik, EDV/Informatik"
Lieferbar innerhalb 1 - 2 Wochen
Noch nicht lieferbar
Lieferbar innerhalb 1 - 2 Wochen
Nicht lieferbar
Lieferbar innerhalb 1 - 2 Wochen
Nicht lieferbar