Modellierungsmethoden der Informatik

Transkript

1 smethoden der Informatik Probeklausur Norbert Fuhr Andrea Ernst-Gerlach Ingo Frommholz

2 Überblick Überblick Einführung und Spielregeln Probeklausur Präsenzaufgaben Abschluss Pause (ca. 15:30) Lösungen und Besprechung Feedback

3 Disclaimer Disclaimer Diese Aufgaben sind lediglich Beispiele. Sie decken nicht den gesamten klausurrelevanten Stoff ab. In der Klausur können auch andere Themen und andere Aufgabentypen vorkommen. Die Klausuraufgaben können umfangreicher sein.

4 Vorbereitung Vorbereitung Material: 2 leere einzelne Blätter, Papier, Stifte Blatt 1: bitte am Ende abgeben (anonym) Blatt 2: bitte behalten und zur Übung am 5.2. mitbringen

5 Vorbereitung Ablauf 6 Beispielaufgaben Pro Aufgabe X Minuten Schon fertig? Zeit auf Blatt 1 notieren ggf. Fragen auf Blatt 2 notieren

6 Spielregeln Spielregeln Keine Hilfsmittel Keine Unterlagen Einzelarbeit Handys etc. bitte ausschalten!

7 Aufgabe 1 Aussagenlogik 5 Min Gegeben seien die Menge von Elementaraussagen A = {A,B,C} und die folgenden Booleschen Terme: T 1 := A (B C) T 2 := (( A A) B) (A (A C) C) Zeige die semantische Äquivalenz von T 1 und T 2 über A auf syntaktischer Ebene (durch Termumformungen mit Begründungen für die einzelnen Schritte).

8 Aufgabe 2 Aussagenlogik 8 Min Gegeben sei die folgende Formel F. Wende den Markierungsalgorithmus an. Ist F erfüllbar oder unerfüllbar? Gib ggf. ein minimales Modell an. F = ( C A) C ( C D E) (D B C) B

9 Aufgabe 3 Klassen in UML 10 Min Alma Müller und Bodo Meier sind Angestellte der Universität Duisburg-Essen. Frau Müller ist Professorin, und ihr Stundenplan enthält verschiedene Lehrveranstaltungen, u. a. die Vorlesung "Data Mining". Herr Meier ist wissenschaftlicher Mitarbeiter. Er arbeitet mit Frau Müller zusammen und hält die Übungen zur Vorlesung "Data Mining". Zeichne das UML-Klassendiagramm für alle Klassen und Beziehungen im Text. Hinweis: Bei den Klassen genügt die Kurzdarstellung

10 Aufgabe 4 Aktivitätsdidagramm in UML 10 Min Modelliere die Aktionen bei einer Klausur als UML-Aktivitätsdiagramm. Das Diagramm sollte u. a. parallele Aktivitäten und mindestens eine Entscheidung (Verzweigung) enthalten. 1. Übungsleiter teilt die Klausurunterlagen aus, anschließend beginnt die Klausur. 2. Der Student liest die Aufgabenstellung. Wenn er sie versteht, bearbeitet er die Aufgabe, sonst überspringt er sie. Wenn noch mehr als 10 Minuten Zeit sind, geht er zur nächsten Aufgabe über. Wenn nur noch 10 Minuten oder weniger übrig sind, liest der Student seine Klausur noch einmal durch. 3. Parallel kontrolliert der Übungsleiter die Ausweise. Danach prüft er die Zeit und warnt die Studenten, 10 Minuten vor Klausurende. 4. Die Klausur ist zu ende, der Übungsleiter sammelt die Klausurunterlagen ein.

11 Aufgabe 5 Petrinetzanalyse 10 Min Kapazitäten 1, Gewichte 1 1. Gib den Vorbereich der Transition t 5 an. 2. Erstelle die Erreichbarkeitstabelle. 3. Nenne einen Konflikt in diesem Graphen (mit Begründung), sowie die Markierung, unter der er auftritt.

12 Aufgabe 6 Petrinetzentwurf 10 Min Modelliere die folgende Situation als Petrinetz: In einer Nachklausur schreiben nur drei Studenten mit. Während geschrieben wird, dürfen Studenten nicht gleichzeitig zum WC. Abgeben und gehen darf man nur, wenn gerade niemand auf dem WC ist. Sobald jemand abgegeben hat, darf niemand mehr zum WC.

13 Reflexion Abschluss Bitte aufschreiben (ca. 10 Minuten): Auf Blatt 1, für jede Aufgabe von heute: Komplett oder nur teilweise gelöst? Was fehlte? Warum? Reichte die Zeit? Auf Blatt 2: Welche Themen und Techniken fehlten? Wo sind offene Fragen?

14 Ende des Klausurteils Pause Blatt 1: bitte am Ende der Stunde abgeben Jetzt: 10 Minuten Pause Danach: Lösungen und Besprechung

15 Musterlösung Besprechung Musterlösung: Tafel/Projektor

16 Feedback Feedback zu heute Bitte anonym auf Blatt 1 schreiben und abgeben: 1. Wie gut warst du vorbereitet? 2. Fühlst du dich nun besser vorbereitet? 3. Was fandest du heute besonders hilfreich? 4. Was fandest du heute nicht so gut, bzw. was könnte man wie verbessern?