Tutor Jens Müller
Tutor
portraitJens Müller
Email: jens.mueller@ira.uka.de

Tutorien

Tutorien
Tutorium 19

Aktuelles

13.2.2004  Punkte (Tutorium)
Bitte prüft doch nochmal, ob Eure Punkte korrekt eingetragen sind. Leider ist mir mein Notizzettel für Blatt 13 aus der Rechnerübung irgendwie verlorengegangen ... Die, bei denen das für den Bonus relevant ist, habe ich angeschrieben, bei den anderen wäre es ja mehr oder weniger eine optische Sache, aber die können mir natürlich auch eine eMail schicken, wieviele Praxis-Punkte sie auf Blatt 13 hatten und ich trage das dann ein. Sorry für die Unannehmlichkeiten! Achja: Hauptkritikpunkt bei meiner kleinen Tutoriumsbefragung war ja meine Schrift und was sonst mit den Folien zu tun hatte. Nächstes Semester werde ich ein Notebook haben und dann auch im Tutorium einsetzen, wenn es euch ansonsten gefallen hat, laßt Euch also davon nicht abschrecken. Viel Erfolg bei der Klausur!
1.2.2004  Scalar Subqueries (Tutorium)
Es wurde im letzten Tutorium gefragt, ob man zum Setzen von Feldern u.ä. das Ergebnis einer Unterabfrage benutzen kann. Ja, das geht. Das ganze nennt sich skalare Unterabfrage und ist im Manual von PostgreSQL erklärt.
20.12.2003  Keine Rechnerübung am 23. Dezember (Tutorium)
Aus aktuellem Anlaß: Am 23. Dezember findet KEINE Rechnerübung mehr statt. Und ab 24. Dezember geht der Lehrbetrieb eh offiziell bis 6. Januar in die Winterpause.
12.12.2003  Glühweintutorium, Wiederholung (Tutorium)
Wie schon im Tutorium angekündigt, wollen wir es uns nächste Woche ein bißchen gemütlicher machen, also bringt bitte Glühwein, Plätzchen und so mit und ganz wichtig: natürlich auch einen Becher. Super wäre, wenn jemand eine elektrische Kochplatte (transportabel) hätte, dann bitte bei mir per eMail melden. Ansonsten bringe ich einen Brennpastenkocher mit und hoffe, daß der keinen Feueralarm auslöst. Thema des nächsten Tutoriums ist Stoffwiederholung für die Probeklausur. Wäre nett, wenn ihr mir eure Wünsche diesbezüglich bis Sonntag mittag schicken würdet, damit ich entsprechend was vorbereiten kann.
1.12.2003  Operatorvorrang bei Prädikatenlogik (Tutorium)
Hallo, heute in der Tutorenbesprechung gab es eine kleine Klarstellung bezüglich der Reichweite von Quantoren: Sie binden immer nur genau den nächsten Ausdruck (stärker als die Junktoren). A soll der Allquantor sein. A x: P(x) oder Q(x) <-- hier ist nur das erste x gebunden, das zweite ist frei. Wenn man beide gebunden haben will, muß es so aussehen: A x: (P(x) oder Q(x)) Das ganze gilt natürlich entsprechend für den Existenzquantor sowie statt \"oder\" für die anderen Junktoren (\"und\", <->, ->).
25.11.2003  Übungsaufgabe (Tutorium)
Unter obiger URL gibt es eine Prolog-Übungsaufgabe, die ihr in der Rechnerübung oder auch zu Hause machen könnt.
20.11.2003  Prolog-Skript, Rechnerübungen (Tutorium)
In dem Skript sollte eigentlich jedenfalls fürs nächste Übungsblatt ausreichend viel drinstehen. Ab nächste Woche finden die Rechnerübungen statt. Ihr könnt Fragen zur Benutzung von Prolog etc. stellen und ansonsten einfach ausprobieren oder das Übungsblatt machen. Ich werd mich auch bemühen, mir einige Beispielaufgaben auszudenken.
18.11.2003  Kein ICQ (Tutorium)
Irgendwie mag der Server keine neu erstellten Accounts, jedenfalls behauptet er nach ner Weile, daß das Paßwort nicht stimmt. Fragen also per Mail ...
14.11.2003  Nochmal ICQ (Tutorium)
341345099 isses jetzt.
14.11.2003  ICQ (Tutorium)
Wer will, kann mich auch per ICQ erreichen: 347524153
13.11.2003  Halbverbände - Korrektur/Ergänzung (Tutorium)
Offenbar habe ich bei der Definition von Halbverbänden ein kleines, aber wichtiges Detail nicht angeschrieben. Bei einem oberen Halbverband ist gefordert, daß x v y=sup(x,y)=inf{z|x<=z, y<=z} _eindeutig_ ist. Existiert für irgendwelche x und y das Supremum nicht oder ist es nicht eindeutig, so gibt es zu der gegebenen Halbordnung keinen oberen Halbverband. Genauso auch für untere Halbverbände (leider läßt sich das umgedrehte v nicht so gut darstellen, ich nenne es hier mal \\wedge): Bei einem unteren Halbverband ist gefordert, daß x \\wedge y=inf(x,y)=sup{z|x<=z, y<=z} _eindeutig_ ist. Existiert für irgendwelche x und y das Infimum nicht oder ist es nicht eindeutig, so gibt es zu der gegebenen Halbordnung keinen unteren Halbverband.
31.10.2003  Chomsky-Grammatiken: Einteilung (Tutorium)
Den letzten Kommentar vergeßt ihr am besten gleich wieder ... Letztes Jahr war das zwar so definiert, dieses Jahr wird es anders ;-) Zu dem ganzen Chomsky-Kram wird es demnächst ein Paper vom Übungsleiter geben, mit dem dann hoffentlich wirklich alle Unklarheiten beseitigt sind. Hauptsächliche Neuerung: CH-1-Grammatiken dürfen nur kontextsensitive Produktionen enthalten, die Definition \"beschränkt\" gilt nur für die Sprache. Auf Übungsblatt 2 wird beides als richtig bewertet, und wenn ihr, wenn ihr das hier lest, ÜB3 schon fertig habt, dann gibt das bei hinreichend nachvollziehbaren Begründungen auch keinen Punktabzug, wenn noch die alten Definitionen zugrundeliegen. Also erstmal (bis das Paper vorliegt) alles so machen, wie ihr es auch sonst gemacht hättet.
30.10.2003  ÜB2 WS2002/03, Aufgabe 4.3 (Tutorium)
Ich habe heute eine Frage zu dieser Aufgabe bekommen.

In der Musterlösung heißt es: "Typ CH-1 z.B. wegen dR -> Rd, CH-0 Produktionen kommen nicht vor."

Diese Sprache kann offensichtlich nicht CH-2 sein, wegen der genannten Produktion.

CH-1 ist sie nach der Definition "beschränkt", der Teilsatz "CH-0 Produktionen kommen nicht vor" bedeutet hier also, daß keine nicht beschränkten Produktionen vorkommen.

Es wäre wohl damals sinnvoll gewesen, darauf hinzuweisen, welche Definition von CH-1 verwendet wurde (auch bei der Fehlerkorrektur auf meinem eigenen ÜB von damals steht dazu kein Hinweis).

Also nochmal zum Mitmeißeln:

Wenn man eine der beiden Definitionen "kontextsensitiv" und "beschränkt" geprüft hat und diese verletzt ist, ist damit noch nicht gezeigt, daß die Grammatik nicht vom Typ CH-1 ist. das gilt vielmehr erst dann, wenn BEIDE Definitionen nicht erfüllt sind.

Die Musterlösung vom letzten Jahr ist also völlig korrekt, bloß leider nicht unbedingt ausführlich genug.

Alte Übungsblätter findet ihr unter obiger URL.
23.10.2003  Pfeile bei Semi-Thue, Markov und Chomsky (Tutorium)
Ich habe in den Beispielen im Tutorium nicht wirklich genau die verschiedenen Pfeile unterschieden. In Regeln/Produktionen ist |-> verwenden, in Ableitungen (also zB Beispiel-Durchführungen des Algorithmus) ist => zu verwenden. Siehe Folie 66 aus der Vorlesung. Sorry, aber ich kann mich nicht erinnern, daß da bei uns letztes Jahr irgendwie Wert drauf gelegt wurde ...

Stundenplan

Block Montag Dienstag Mittwoch Donnerstag Freitag
8:00 -
9:30
9:45 -
11:15
Tutorium 19
-110 (RZ)
11:30 -
13:00
14:00 -
15:30
15:45 -
17:15
Tutorium 19
SR -108 (Info)
17:30 -
19:00
Tutorium 19
-110 (RZ)
19:15 -
20:45
Login

Links