"Logik und Logikprogrammierung: Band 1: Grundlagen" von Steffen Hölldobler bietet eine umfassende Einführung in die Grundlagen der Logik und deren Anwendung in der Programmierung. Das Buch richtet sich an Studierende der Informatik und...

Logik und Logikprogrammierung von Hölldobler, Steffen

"Logik und Logikprogrammierung Band 2: Aufgaben und Lösungen" von Tobies Pietzsch ist ein Lehrbuch, das sich mit den fortgeschrittenen Konzepten der Logik und deren Anwendung in der Logikprogrammierung befasst. Der zweite Band...

"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...