Logik und Logikprogrammierung (Kolleg Synchron)

"Logik und Logikprogrammierung" von Steffen Hölldobler ist ein umfassendes Lehrbuch, das sich mit den Grundlagen der formalen Logik und deren Anwendung in der Informatik beschäftigt. Das Buch bietet eine Einführung in die Aussagen- und Prädikatenlogik sowie deren Bedeutung für die Programmierung. Es behandelt wesentliche Konzepte wie logische Folgerungen, Beweismethoden und die Semantik von Programmen. Darüber hinaus wird auf Logikprogrammierung eingegangen, insbesondere auf Prolog als Beispiel einer logikorientierten Programmiersprache. Durch zahlreiche Beispiele und Übungen werden die theoretischen Inhalte praxisnah vermittelt, was das Buch zu einer wertvollen Ressource für Studierende der Informatik macht.