Logik Fr Informatiker

Logik ist eine wichtige Grundlage der Informatik. Sie ist fr die Formalisierung der Softwaretechnik, fr Verifikation und Spezifikation von Programmen und Datenbanken genauso erforderlich wie fr die logische Programmierung und die Knstliche Intelligenz. Dieses Buch entstand auf der Basis von Vorlesungen zur Logik, die der Autor seit Jahren fr Studierende der Informatik und informatiknaher Studiengnge hlt. Es gibt eine Einfhrung in die Logik aus der Sicht der Informatik. Prof. Dr. Jrgen Dassow, Universitt Magdeburg Grundlagen aus Mathematik und Theoretischer Informatik - Aussagenlogik - Prdikatenlogik - Temporale, dynamische und modale Logik - Entscheidbarkeitsfragen in der Logik - Theoretische Grundlagen der logischen Programmierung - bungsaufgaben und ausgewhlte Lsungen