Zum Buch: Das Buch stellt verschiedene logische Systeme vor, die in der Informatik von Bedeutung sind. Dabei schließt die Stoffauswahl nicht nur die klassischen Gebiete der Aussagen- und Prädikatenlogik ein, sondern behandelt z.B. auch die Gleichungslogik und Modallogik sowie allgemeine logische Systeme. Die Präsentation des Stoffs ist auf die Bedürfnisse von Informatikstudenten abgestimmt. Das Buch ist mathematisch exakt und enthält vollständige und korrekte Beweise, ohne zu formell zu sein. Spezialnotationen der Logik werden auf das absolut Notwendige reduziert. Großen Wert legt der Autor auf die Motivation des Stoffs durch Beispiele aus der Informatik. Viele abwechslungsreiche und originelle Übungsaufgaben fördern das Verständnis und geben dem Leser Gelegenheit, den Lernerfolg selbst zu überprüfen. Auf der Companion Website: Für Dozenten: Ausführliche Lösungswegbeschreibungen der Buchaufgaben Folien zum sofortigen Vorlesungseinsatz Für Studenten: Zusätzliche Übungsaufgaben mit vollständigen Lösungen -> Insgesamt etwa 170 Seiten Online-Materialien! Über die Autoren: MARTIN KREUZER ist Professor für Mathematik an der Universität Dortmund und bietet für die Informatikstudenten im Grundstudium die Vorlesung Logik für Informatiker an. STEFAN KÜHLING lehrt am Fachbereich Mathematik der Universität Dortmund.

Autorentext

Martin Kreuzer ist Professor für Symbolic Computation an der Universität Passau und bietet im Grundstudium die Vorlesung "Logik für Informatiker" an. Zudem ist er Fachexperte "Jahr der Mathematik".