Spät, dafür unvollständig beginne ich damit die Übungsbeispiele für Theoretische Informatik und Logik zu digitalisieren. Der erste (unvollständige) Lösungsvorschlag zur 3. Übung steht unter technische Informatik zur Verfügung. Ich freue mich über alle Rückmeldungen mit gefundenen Fehlern, Anregungen oder Wünschen, also melde Dich!