"Formale Systeme""/> KIT - Anwendungsorientierte Formale Verifikation - <pre>Vorlesung <font color="#A2734C"><b>"Formale Systeme"</b></font></pre>

Formale Systeme

Wahlpflichtvorlesung im Wintersemester 2008/2009

Prof. Dr. Bernhard Beckert (im WS 08/09 Universität Karlsruhe und Universität Koblenz-Landau), Mattias Ulbrich

Ergebnisse der Klausur zur Vorlesung "Formale Systeme" vom 8.4.2009

Die Noten werden unter der Klausur-ID, die Sie mit dem Platzaufkleber in der Klausur erhalten haben, veröffentlicht.

Notenskala

Ab 0.0 Punkten gibt es die Note 5.0
Ab 20.0 Punkten gibt es die Note 4.0
Ab 23.5 Punkten gibt es die Note 3.7
Ab 27.0 Punkten gibt es die Note 3.3
Ab 30.5 Punkten gibt es die Note 3.0
Ab 34.0 Punkten gibt es die Note 2.7
Ab 47.5 Punkten gibt es die Note 2.3
Ab 41.0 Punkten gibt es die Note 2.0
Ab 44.5 Punkten gibt es die Note 1.7
Ab 48.0 Punkten gibt es die Note 1.3
Ab 51.5 Punkten gibt es die Note 1.0

Notenverteilung

Note Häufigkeit
5,0 12
4,0 9
3,7 6
3,3 4
3,0 2
2,7 3
2,3 4
2,0 3
1,7 2
1,3 4
1,0 2
Durchschnitt (alle): 3.36
Durchschnitt (bestanden): 2.85

Einsicht

Die Einsicht findet statt am

Montag, 27. April 2009 von 15.00 Uhr bis 16.30 Uhr im Seminarraum 236.

Mündliche Nachprüfung

Die Einladungen für mündliche Nachprüfungen werden nach der Einsicht verschickt.


Die Ergebnisse

Klausur-ID

VP

BP

Note

06395

25.5

0.0

3.7

06708

23.0

0.0

4.0

06719

38.0

3.0

2.0

06909

11.0

0.5

5.0

08335

43.0

5.0

1.3

08376

18.0

2.5

5.0

09214

33.0

4.5

2.3

09404

44.5

0.0

1.7

09784

26.5

0.0

3.7

10043

44.0

7.0

1.3

10788

19.5

3.5

5.0

12364

15.0

0.0

5.0

13035

23.0

0.0

4.0

14491

10.5

0.0

5.0

15797

28.0

3.5

3.0

21273

24.5

0.5

3.7

21713

21.0

0.0

4.0

21865

20.5

0.0

4.0

23748

25.0

2.5

3.3

24337

22.5

0.0

4.0

30203

10.5

0.0

5.0

34269

16.0

0.0

5.0

39602

16.0

0.0

5.0

39798

22.0

0.0

4.0

40111

37.0

6.0

2.0

40644

20.5

2.0

4.0

41443

24.0

1.5

3.7

41687

22.5

0.0

4.0

59142

18.5

0.0

5.0

60504

38.0

3.5

2.0

63265

35.5

2.0

2.3

67298

41.5

4.0

1.7

67359

31.5

0.0

3.0

71379

32.5

4.0

2.7

71670

18.0

0.0

5.0

72161

49.5

7.5

1.0

77754

49.5

0.0

1.3

78840

9.5

0.0

5.0

83434

0.0

0.5

5.0

85023

26.5

2.0

3.3

85801

24.5

0.5

3.7

86200

28.0

1.0

3.3

87594

37.5

0.0

2.3

87985

26.5

0.0

3.7

88091

50.0

0.0

1.3

90348

26.5

0.5

3.3

93431

21.0

0.0

4.0

93732

33.0

2.0

2.7

95676

34.0

4.5

2.3

97670

33.5

1.5

2.7

99041

53.5

0.5

1.0

Legende:

VP Verrechnungspunkte
BP Erzielte Bonuspunkte. Bonuspunkte werden nur angerechnet, wenn mindestens 20 Verrechnunspunkte erzielt wurden.
NE Nicht erschienen