Submission Details

Semester:

WiSe 2013/14

Type:

Exercise with Solutions

University:

Uni Freiburg

Course:

Mathematische Logik für Informatiker

Lecturer:

Prof. Dr. S. Goette

Comment:

Ü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