 |  | Wünsch Euch allen viel Erfolg Morgen bei der Klausur !!! |  |  |
 |  | Das Tutorium Morgen im 2. Block findet im Raum 148 (1. OG Infoneubau (50.34)) statt. |  |  |
 |  | Wollte nochmal darauf hinweisen, dass Morgen (06.02.) die Rechnerübung ausfällt. |  |  |
 |  | Ich hab die Automaten und Petri-Netz Beispiele aus dem Tut gestern online gestellt. |  |  |
 |  | Zur Rechnerübung Morgen sollen bitte alle Leute erscheinen, die Blatt 9 noch vorführen müssen. |  |  |
 |  | Hallo, ich hab im Tut leider was falsches zur Reichweite von Quantoren erzählt. Quantoren binden immer nur den Nachfolgenden Ausdruck an sich. z.B.: bei füralle x: P(x) oder Q(x) ist nur das erste x gebunden. Will man beide x an den Allquantor binden, so muss man Klammern setzen füralle x: (P(x) oder Q(x)) |  |  |