250113, UE 2st, Sommersemester 2011
Übungen zu "Grundbegriffe der Mathematischen Logik"
Die Übungen werden auf Deutsch abgehalten. Eine gesonderte Anmeldung zur Übung
ist nicht erforderlich, ausser Sie können nicht in die erste Übungsstunde
kommen. In diesem Fall schreiben Sie mir bitte (spätestens 24h vor der zweiten
Übungsstunde) ein email mit Namen und Matrikelnummer.
Ergebnis
Tabelle mit dem Ergebnis gibt es hier. (In der
Tabelle finden Sie auch die Anzahl der Beispiele, die sie in jeder Übungsstunde
angekreuzt haben.) Bitte kontrollieren Sie ihr Ergebnis, und wenn Sie Einwaende
haben melden Sie sich so bald wie moeglich bei mir. Die Zeugnisse werden in
der Woche 4.-8. Juli ausgestellt.
Benotung
Die Note ergibt sich aus der Anzahl a der gerechneten Beispiele
im Verhältnis zur Anzahl b allen gegebenen Beispielen. Sei $q=a/b$.
| q im Intervall | Note |
|---|
| (0.9,1+] | 1 |
| (0.78,0.9] | 2 |
| (0.66,0.78] | 3 |
| (0.5,0.66] | 4 |
| [0,0.5] | 5 |
- Die Zusatzaufgaben werden bei der "Anzahl b aller gegebenen
Beispiele" nicht mitgezählt (wenn sie eine Zusatzaufgabe rechnen
wird sie aber sehr wohl zu a gezählt; d.h. q>1 ist möglich.
- Wenn Sie (mit sinnvoller BEGRÜNDUNG) nicht an einer Übungsstunde
teilnehmen können, dann können Sie mir VOR der jeweiligen Übungsstunde
die Beispiele (gescannt, LESERLICH) per email schicken; MAXIMAL zweimal.
Falls es öfter vorkommt oder Sie Beispiele NACHBRINGEN wollen, dann
ist das nur persönlich und nach Absprache möglich. (Auch beim bis zu
zweimaligen Vorbringen von Beispielen halte ich mir eine stichprobenartige
Überprüfung vor!)
- Sie können Beispiele nicht "halb" ankreuzen. Nur ganz oder gar nicht.
- Sollten Sie ein Beispiel angekreuzt haben, aber völlig falsch
vorrechnen, werde ich Sie auffordern beim nächsten Mal das Beispiel
korrigiert nachzubringen.
-
Wesentlich problematischer:
Sollten Sie eine Beispiel angekreuzt haben aber offensichtlich nicht selbst
gerechneten sondern nur (ohne es zu verstehen) abgeschrieben haben,
dann müssen wir das weitere Vorgehen noch besprechen.
Dieser Fall ist recht problematisch aber wird hoffenltich nicht eintreten.
Die folgenden Informationen sind nicht mehr aktuell.
Zwischenstand
(unaktuell, nur zum Vergleich)
Im Folgenden sehen Sie den aktuellen Notenstand VOR der letzten Übungsstunde.
MatrNr ist Ihre Matrikelnummer (leicht anonymisiert),
In der Spalte Note steht der Notenbereich: Sie bessere Note ist die, die Sie bekommen wenn Sie für die letzte Übung
alle Beispiele vorbereiten, die schlechtere bekommen Sie für keine Beispiele.
Die Spalte MinBsp gibt an wieviele Beispiele
Sie mindestens vorbereiten müssen um die beste Note Ihres Notenbereichs zu bekommen
(da Sie keine "halben" Beispiele ankreuzen koennen, ist dieser Wert aufzurunden).
(irrtümer natürlich vorbehalten)
| MatrNr | Note | MinBsp |
|---|
| 022XX15 | (1-3) | 9.5 |
| 034XX09 | (4-5) | 3.5 |
| 050XX05 | (4-4) | 0 |
| 055XX35 | (1-2) | 5 |
| 070XX58 | (3-4) | 2.5 |
| 070XX63 | (3-4) | 8.5 |
| 072XX33 | (1-3) | 9.5 |
| 072XX56 | (1-2) | 8.5 |
| 074XX62 | (1-2) | 8.5 |
| 080XX05 | (2-3) | 2.5 |
| 080XX13 | (4-4) | 0 |
| 080XX18 | (1-2) | 1.5 |
| 080XX30 | (1-1) | 0 |
| 080XX31 | (1-2) | 1.5 |
| 080XX60 | (2-3) | 6.5 |
| 080XX61 | (2-3) | 6.5 |
| 080XX80 | (1-2) | 6.5 |
| 080XX84 | (1-2) | 1.5 |
| 080XX88 | (2-3) | 1.5 |
| 080XX99 | (1-2) | 6 |
| 084XX00 | (3-4) | 6.5 |
| 084XX05 | (1-2) | 4.5 |
| 084XX64 | (3-4) | 8.5 |
| 084XX67 | (2-3) | 1.5 |
| 084XX87 | (2-3) | 4 |
| 090XX25 | (1-2) | 4.5 |
| 090XX68 | (1-2) | 4.5 |
| 100XX06 | (4-5) | 9.5 |
Übungsangaben
Zu rechnende Beispiele:
- 1. Stunde, 2011-03-07: Bsp. 1-6
- 2. Stunde, 2011-03-21: Bsp. 7-14
- 3. Stunde, 2011-03-28: Bsp. 13-21 (Bem: Bsp 19
ist eine "Zusatzaufgabe", siehe unten.)
- 4. Stunde, 2011-04-04: Bsp. 21-28
- 5. Stunde, 2011-04-11: Bsp. 27-34
- 6. Stunde, 2011-05-02: Bsp. 30-37
- 7. Stunde, 2011-05-09: Bsp. 37-45
- 8. Stunde, 2011-05-16: Bsp. 36, 37, 42, 44-49.
- 9. Stunde, 2011-05-23: Skriptum Übungsaufgaben: 3.2 bis bis 3.9
(Bemerkung: um rekursiv zu zeigen genügt jeweils ein informell gegebener Algorithmus, ein Programm ist nicht nötig.)
- 10. Stunde, 2011-05-30: Skriptum Übungsaufgaben: 3.6 bis 3.14
- 11. Stunde, 2011-06-06: Skriptum Übungsaufgaben: 3.12 bis 3.18.
- 12. Stunde, 2011-06-20: Skriptum Übungsaufgaben: 3.19 bis 3.28.
Das Skriptum finden Sie auf der Webseite von Hans Adler; die Angaben zu Bsp 1-49 hier.
Bemerkungen:
- Im SKriptum sind mehr Beispiele angeführt als für die
nächste Stunde vorgesehen. Es ist durchaus möglich dass sich diese
zukünftigen Beispiele noch ändern, oder dass manche übersprungen werden.
- Für die Übungen zu den LOOP Programmen ist allenfalls Hans Adler's Javascript Interpreter (verlinkt von seiner Webseite) hilfreich.
History/Versionen/Änderungen im Übungsangaben-Dokument:
| 2011-03-02 19:11 | Korrektur Fehler im Bsp 1 |
| 2011-03-04 14:50 | Anpassung von Bsp 9,10 an Notation Skriptum |
| 2011-03-09 14:24 | Bsp bis 14 fixiert |
| 2011-03-21 11:21 | Bsp bis 21 fixiert |
| 2011-03-29 21:42 | Bsp bis 28 fixiert |
| 2011-04-05 21:42 | Bsp bis 34 fixiert |
| 2011-04-23 20:14 | Bsp bis 37 fixiert |
| 2011-05-03 17:04 | Bsp bis 45 fixiert |
| 2011-05-10 11:29 | Bsp bis 49 fixiert |