Technische Universität München, Fakultät für Informatik
Chair IV, Software and Systems Engineering

Ergebnisse der Nachklausur vom 20.9.2005 zum Beweiserpraktikum im SS 2005

Erläuterungen:

Von den Klausurteilnehmern, die ihre Einwilligung zur Veröffentlichung erklärt haben, sind jeweils die in jeder Aufgabe erreichten Punkte, die Gesamtpunktzahl sowie die Note angegeben.

Die Mindestpunktzahl zum Erhalt eines Scheines beträgt 20, das entspricht Note 4,0.

Ab Punktzahl/Note: 20/4,0 23/3,7 26/3,3 29/3,0 32/2,7 35/2,3 38/2,0 41/1,7 44/1,3 47/1,0

Die Scheine können ab Mitte Oktober bei Frau Müller (Raum 01.11.044) abgeholt werden.

Resultate:

Matrikelnummer	1	2	3	4	Gesamt	Note
Maximalzahl	12	10	14	14	50	1,0
2292651	8	10	14	10	42	1,7
2293315	0	10	6	5	21	4,0
2299947	0	0	12	0	12	5,0
2319604	8	10	10	5	33	2,7
2350541	9	10	12	4	35	2,3
2354434	14	10	14	4	42	1,7
2381963	16	10	9	5	40	2,0
2479228	16	10	11	5	42	1,7
2479516	14	10	12	0	36	2,3

Musterlösung