Mathematical logic

Das Lehrbuch befasst sich mit dem präzisen Denken, einer Schlüsselkompetenz im Studium der Informatik.

Diese deutlich erweiterte dritte Auflage enthält fünf neue Kapitel, in denen es um Klassiker geht wie den "Fundamentalsatz der Algebra", um kombinatorisch-geometrische Zerlegungsprobleme, aber auch um Beweise aus letzter Zeit, etwa für die "Kneser-Vermutung" in der Graphentheorie.

Dieses Buch erläutert die für ein Informatikstudium relevanten Begriffe und Strukturen der Mathematik.