WiSe 2013/14
Exercise with Solutions
Uni Freiburg
Mathematische Logik für Informatiker
Prof. Dr. S. Goette
Übungsblatt 1 ============= Mit selbstverfassten Lösungen und den verwendeten Definitionen aus dem Skript "Logik für Informatiker" von Professor Martin Ziegler. Die Lösungen sollten korrekt und vollständig sein und basieren auf eigenen Lösungen und deren Korrekturen sowie Tutoratsmitschrieben. Allerdings kann ich dennoch keine Garantie für Richtigkeit oder Vollständigkeit übernehmen. Author: Lukas Halbritter