| Pruefer: | Ohlbach |
| Studiumsabschnitt: | Vordiplom |
| Stoff: | Bry Skript, Horstmann Buch |
| Pruefungsdatum: | 27. Feb 2003 |
| Vorlesung: | Info 1; Info 2 |
| Dozent: | Bry; Ohlbach |
| Bericht: |
?- Können sie die Potenz iterativ in Java implementieren? ?- Können sie den Algorithmus beweisen mit Hoare-Kalkül? -> Ich durfte den Algorithmus noch schnell ein wenig umschreiben, um den Beweis zu erleichtern. Schleifeninvariante war gar nicht mal so einfach zu finden. Es gibt hier kein allgemeines Rezept. Man muss halt eine Beziehung der verwendeten Variablen zueinander finden, welche in jedem Schleifendurchlauf gültig ist. Man muss nicht den ganzen Beweis vorführen. Wenn er sieht, dass man es verstanden hat bricht er zwischendrin ab. ?- Schreiben sie einen Potenz Algorithmus in SML als rekursive Funktion. ?- Umschreiben sie den Algorithmus, so dass er Endrekursiv ist. ?- Beweisen sie die Korrektheit der endrekursiven Variante mit Induktion. -> Die Korrektheit von endrekursiven Algorithmen zu beweisen ist nicht ganz so trivial wie für normal rekursive. Zu beachten ist, dass man zunächst sich überlegen muss was man überhaupt beweisen will. In meinem Fall musste ich folgendes beweisen: [pot(a,b,akk) ~~> (a^b)*akk] war zu zeigen. Der Rest ist ganz normaler Beweis durch Induktion. ?- Wie funktionieren Induktionsbeweise? -> Diese Frage stellt er immer wieder. Es gibt keine Standardantwort darauf. Er wird immer so lang weiterfragen, bis er sich sicher ist, ob man das Prinzip verstanden hat oder nicht. Deswegen frägt er auch immer wieder gerne so Fragen wie "Funktioniert das auch auf negativen Zahlen?". ?- Hernach stellte er noch einige Fragen um zu sehen, ob ich den Unterschied zwischen Struktureller- und Normaler Induktion kannte. -> Es kommt auf die Richtung an, in der man vorgeht. Basisfälle sind anders, Ind.hypothesen und Schritte sind anders. ZB bei Bäumen kann man von der Wurzel her anfangen, oder von den Blättern her. ?- Erklären sie mir mal, was sie über Threads in Java wissen. -> Hab so einiges erklärt, Erzeugung, synchronized, wait(), notify() und sowas. Das wars. Als ich wieder reinkam, meinte er dass er mich vor meiner Freundin ja nicht blamieren wolle (sie hatte vor mir die Prüfung gehabt) und gab mir eine 1. Prof. Ohlbach ist sehr nett, er stellt die Fragen auch nicht unbedingt unklar (wie es in vielen anderen Berichten steht). Wenn er sieht, dass man den Stoff beherrscht, dann wird er nicht versuchen die Note zu versauen. Dauer: 30 min Note: 1,0 |