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.