[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Modellprüfung: AG(AF ...)
- To: SQ-Mailingliste <sq@xxxxxxxxxxxxxxxxxxxxxxxxxxxx>
- Subject: Modellprüfung: AG(AF ...)
- From: Wolfgang Runte <woru@xxxxxxxxxxxxxxxxxxxxxxxxxxxx>
- Date: Fri, 13 Feb 2009 16:33:35 +0100
- Organization: Institut für Informatik, Universität Osnabrück
- User-agent: Mozilla/5.0 (X11; U; Linux x86_64; de-AT; rv:1.8.1.8) Gecko/20071008 Iceape/1.1.5 (Ubuntu-1.1.5-1ubuntu0.7.10)
Hallo SQMler,
als Ergänzung zur letzten Übung habe ich die Beispiele nochmal etwas
aufbereitet, die wir an der Tafel hatten:
<http://www-lehre.inf.uos.de/~sq/2008/uebung/11/AGAF_examples.png>
<http://www-lehre.inf.uos.de/~sq/2008/uebung/11/AGAF_examples.pdf>
Offen war noch der Beispielbaum für die Formel "AG(AF q)". Nach
Rücksprache mit Frau Pulvermüller ist auch dieser nun enthalten. Er
entspricht dem, was Mareike in der Übung vorgeschlagen hatte. :-)
Viele Grüße
Wolfgang
--
Dipl.-Inf. Wolfgang Runte woru@xxxxxxxxxxxxxxxxxxxxxxxxxxxx
Institut für Informatik +49-541-969-2487 (Fon)
Universität Osnabrück +49-541-969-2799 (Fax)
Albrechtstraße 28, Raum 31/317 http://www.inf.uos.de/se
D-49069 Osnabrück