Erfüllbarkeitsüberprüfung (Satisfiability Checking)

Transkript

1 Erfüllbarkeitsüberprüfung (Satisfiability Checking) Lehrveranstaltungsnummer: 7ws Lehrveranstaltungstyp: Vorlesung Übung Erfasste Fragebögen: Globalwerte Globalindikator Konzept der Vorlesung Konzept der Übung Vermittlung und Verhalten Vorlesung Vermittlung und Verhalten Übung Auswertungsteil der geschlossenen Fragen Legende Relative Häufigkeiten der Antworten Std.Abw. Mittelwert Median Fragetext Linker Pol % % Rechter Pol n=anzahl mw=mittelwert md=median s=std.abw. E.=Enthaltung Skala Histogramm Allgemein. Geschlecht weiblich.% n= männlich 7.6% k.a.. Nationalität deutsch (D) 8.% n= EU (ohne D).9% NonEU 6.6%. Derzeitiger Studiengang Bachelor 9.% n= Master 80.% sonstiger EvaSys Auswertung Seite

2 . Fachsemester 6.9% n= 9% 6.% 78.% >8.%. Wie viel Zeit verwenden Sie derzeit pro Woche für die Vor und Nachbereitung dieser Veranstaltung? weniger als Std..7% n= bis Std..7% bis Std. 6.8% bis 7 Std. 9.8% 7 bis 9 Std. mehr als 9 Std..6 Die Veranstaltung interessiert mich.,% 7,6% 9% 9,%,% n= mw=, md= Konzept der Vorlesung. Die Lernziele der Vorlesung sind definiert. 6,6% 6,% 7,%. Die Vorlesung hat eine klar erkennbare Struktur. 8,%,9% 6,7%,% n= md= s=0,6 E.= n= mw=,8 md=. Die zur Verfügung gestellten Materialien sind hilfreich. 9,%,% %,%,% n= mw=, md=,. Die ausgewählten Beispiele sind hilfreich. 6,6%,% 7,%,%,% n= md=. Es werden Zusammenfassungen an sinnvollen Stellen gemacht.,% 7,%,% 7,% n=0 mw= md=, E.=.6 Der Schwierigkeitsgrad ist... angemessen 8.7% n= zu schwer.% zu leicht EvaSys Auswertung Seite

3 .7 Ich bewerte das Konzept der Vorlesung mit... sehr gut.7% gut 6.% n= mw= befriedigend 7.% ausreichend.9% mangelhaft Konzept der Übung. Die Lernziele der Übung sind definiert.,9% 6,% 0,% 7,7%. Die Übung hat eine klar erkennbare Struktur.,%,7% 8,%,6% n=9 md= E.= n=8 md= E.=. Die zur Verfügung gestellten Materialien sind hilfreich. 7%,%,6%,%,7% n=7 mw=, md= E.=. Vorlesung und Übung sind aufeinander abgestimmt.,9%,% 8,% 8,%,7% n=7 md=, E.=. Die Übung hilft mir die Lehrinhalte des Moduls zu verstehen.,6% 8,%,8%,% n=9 mw=,8 md= E.=.6 Die Übungsaufgaben sind verständlich gestellt. 0,% 7,8% 8,9%,7% n=7 mw=,8 md= E.=.7 Die vorgesehenen Übungsaufgaben werden innerhalb der Übungsdauer bearbeitet.,% %,% 8,% n=6 mw= md=, E.=.8 Falls Sie Ihre Lösung abgeben konnten: Wurde diese nachvollziehbar korrigiert? % % 6% 8% n= md=, E.=7.9 Der Schwierigkeitsgrad ist... angemessen 8.% n=0 zu schwer % zu leicht.% EvaSys Auswertung Seite

4 .0 Ich bewerte das Konzept der Übung mit... sehr gut 9.% gut 6% n= mw=, befriedigend 7.% ausreichend.% mangelhaft Vermittlung und Verhalten Vorlesung Die Dozentin/der Dozent erklärt den Stoff verständlich. 7,6% 8,% 9,%,8% n= md=..... geht auf Verständnisfragen ein. 8,9%,%,9% n= mw=, md= s=0,.... berücksichtigt unterschiedliche Kenntnisstände der Studierenden.,%,%,9% 8,% n=6 md= E.=6.... schafft es, mich für den Vorlesungsstoff zu begeistern.,% %,%,8% 7,7% n=9 mw=, md=, E.=.... spricht angemessen laut und deutlich. 70,7% 7,% 7,%,9% n= mw=, md=.6... ist gut vorbereitet. 6% % n=0 mw=, md= s=0, ist außerhalb der Vorlesung ansprechbar. 78,9%,8%,%.8... setzt Medien ein, die zum Verständnis beitragen.,%,% 0,% n=9 mw=, md= s=0,7 E.=0 n=8 mw=,8 md=, E.=.9 Das Tempo ist... angemessen 80.% n= zu hoch.6% zu niedrig.9% EvaSys Auswertung Seite

5 .0 Ich gebe der Dozentin/dem Dozenten die Gesamtnote sehr gut 8.8% gut 9% n= befriedigend.9% ausreichend 7.% mangelhaft Vermittlung und Verhalten Übung Die Dozentin/der Dozent erklärt den Stoff verständlich. 0,%,% 0,8% 0,8%,7%.... geht auf Verständnisfragen ein. 7,6% 7,%,% n=7 mw= md=, E.= n= mw=,6 md= E.=8.... berücksichtigt unterschiedliche Kenntnisstände der Studierenden. 9% 8,7%,6% 9,7% n= mw=, md=, E.=0.... schafft es, mich für die Lehrinhalte zu begeistern.,%,7% 7,%,7%.... spricht angemessen laut und deutlich.,%,% 8,9%,7%.6... ist gut vorbereitet. 8,6%,%,%,9%.7... ist außerhalb der Übung ansprechbar. 69,6%,7% 8,7%.8... setzt Medien ein, die zum Verständnis beitragen. 7,%,% 8,8% 6,%,% n= mw=,6 md=, E.=6 n=7 md= E.= n= md= E.= n= mw=, md= s=0,7 E.=8 n= mw= md=, E.=7.9 Das Tempo ist... angemessen 7.% n=9 zu hoch.% zu niedrig.6% EvaSys Auswertung Seite

6 .0 Ich gebe der Dozentin/dem Dozenten die Gesamtnote sehr gut 0.8% gut 8.7% n=9 mw= befriedigend 7.7% ausreichend.8% mangelhaft Rahmenbedingungen Vorlesung 6. Der zeitliche Rahmen der Vorlesung wird eingehalten. 8,%,%,% n= mw=, md= s=0, 6. Die Anzahl der Sitzplätze ist... angemessen 77.% n=0 zu groß.% zu klein 6. Wie oft hat die Vorlesung an regulären Terminen gar nicht stattgefunden? (Vorlesungsfreie Tage sind nicht gemeint!) 0 x 8.9% n= x 7.% x x x > x 6. Wie häufig wurde die Vorlesung nicht von der angegebenen Person gehalten? 0 x 8.8% n= x 6.8% x % x x > x.% 6. Falls sich die Dozentin/der Dozent vertreten lassen hat, war die Vertretung geeignet? ja.9% n= nein 7.% k.a..% Rahmenbedingungen Übung 7. Der zeitliche Rahmen der Übung wird eingehalten. 9,%,6%,%,7% 0,8% n=7 mw=,8 md=, E.= EvaSys Auswertung Seite 6

7 7. Die Gruppengröße ist... angemessen 78.% n=7 zu groß 6.% zu klein.% 7. Wie oft hat die Übung an regulären Terminen gar nicht stattgefunden? (Vorlesungsfreie Tage sind nicht gemeint!) 0 x 0 n=9 x x x x > x 7. Wie häufig wurde die Übung nicht von der angegebenen Person gehalten? 0 x 0 n=7 x x x x > x 7. Falls sich die Dozentin/der Dozent vertreten lassen hat, war die Vertretung geeignet? ja.8% n= nein.8% k.a. 8.% EvaSys Auswertung Seite 7

8 Profillinie Teilbereich: Name der/des Lehrenden: Titel der Lehrveranstaltung: (Name der Umfrage) Informatik Univ.Prof. Dr. Erika Abraham Erfüllbarkeitsüberprüfung (Satisfiability Checking) (7ws) Verwendete Werte in der Profillinie: Mittelwert Allgemein.6 Die Veranstaltung interessiert mich. n= mw=, md=,0,0 Konzept der Vorlesung. Die Lernziele der Vorlesung sind definiert. n= md=,0 s=0,6. Die Vorlesung hat eine klar erkennbare Struktur. n= mw=,8 md=,0. Die zur Verfügung gestellten Materialien sind hilfreich. n= mw=, md=,0,. Die ausgewählten Beispiele sind hilfreich. n= md=,0. Es werden Zusammenfassungen an sinnvollen Stellen gemacht. n=0 mw=,0 md=,0, Konzept der Übung. Die Lernziele der Übung sind definiert. n=9 md=,0. Die Übung hat eine klar erkennbare Struktur. n=8 md=,0. Die zur Verfügung gestellten Materialien sind hilfreich. n=7 mw=, md=,0,0. Vorlesung und Übung sind aufeinander abgestimmt. n=7 md=,0,. Die Übung hilft mir die Lehrinhalte des Moduls zu verstehen. n=9 mw=,8 md=,0,0.6 Die Übungsaufgaben sind verständlich gestellt. n=7 mw=,8 md=,0.7 Die vorgesehenen Übungsaufgaben werden innerhalb der Übungsdauer bearbeitet. n=6 mw=,0 md=,0,.8 Falls Sie Ihre Lösung abgeben konnten: Wurde diese nachvollziehbar korrigiert? n= md=,0, Vermittlung und Verhalten Vorlesung.... erklärt den Stoff verständlich. n= md=, geht auf Verständnisfragen ein. n= mw=, md=,0 s=0,.... berücksichtigt unterschiedliche Kenntnisstände der Studierenden. n=6 md=,0, EvaSys Auswertung Seite 8

9 .... schafft es, mich für den Vorlesungsstoff zu begeistern. n=9 mw=, md=,0,.... spricht angemessen laut und deutlich ist gut vorbereitet ist außerhalb der Vorlesung ansprechbar. n= mw=, md=,0 n=0 mw=, md=,0 s=0,6 n=9 mw=, md=,0 s=0, setzt Medien ein, die zum Verständnis beitragen. n=8 mw=,8 md=,,0 Vermittlung und Verhalten Übung.... erklärt den Stoff verständlich..... geht auf Verständnisfragen ein. n=7 mw=,0 md=,0, n= mw=,6 md=,0.... berücksichtigt unterschiedliche Kenntnisstände der Studierenden. n= mw=, md=,0,.... schafft es, mich für die Lehrinhalte zu begeistern. n= mw=,6 md=,0,.... spricht angemessen laut und deutlich ist gut vorbereitet ist außerhalb der Übung ansprechbar. n=7 md=,0 n= md=,0 n= mw=, md=,0 s=0, setzt Medien ein, die zum Verständnis beitragen. n= mw=,0 md=,0, Rahmenbedingungen Vorlesung 6. Der zeitliche Rahmen der Vorlesung wird eingehalten. n= mw=, md=,0 s=0, Rahmenbedingungen Übung 7. Der zeitliche Rahmen der Übung wird eingehalten. n=7 mw=,8 md=,0, EvaSys Auswertung Seite 9