Hallo *, ich möchte euch an die folgenden näherrückenden Termine erinnern: (1) Abgabe der Ausarbeitung am 26. Juni 2007 bis 23:59 Uhr MESZ. Es wird _keine_ Verlängerung dieser Frist geben. (2) Anmeldefrist des Prüfungsamtes für alle Lehrveranstaltungen ist am 29.06.2007. Gruß, RAlf.von Ralf Wimmer - Seminar Methoden der Verifikation
Hallo *, aufgrund eines Konfliktes mit einem anderen Seminar wurde die Blockveranstaltung für das Seminar "Methoden der Verifikation" auf den 26. / 27. Juli 2007 verschoben. Alle anderen Termine bleiben unverändert. Gruß, Ralf.von Ralf Wimmer - Seminar Methoden der Verifikation
Es gibt im Netz einige (mehr oder weniger) gute Tipps, wie man einen ordentlichen Seminarvortrag halten kann, z. B. Vielleicht hilft's ja was ... Gruß, Ralf.von Ralf Wimmer - Seminar Methoden der Verifikation
Liebe Teilnehmer am Seminar "Methoden der Verifikation" im SS 2007, dieses Forum soll den Austausch zwischen den Teilnehmern erleichtern und dabei helfen, Fragen und Probleme zu klären. Es ist ausdrücklich erwünscht, dass sich Leute mit verwandten Themen absprechen und ihre Vorträge bzgl. Notationen und gemeinsamen Inhalten (Definitionen, ...) abstimmen. Um im Forum Nachrichten hivon Ralf Wimmer - Seminar Methoden der Verifikation
Hallo *, am Mittwoch, 14.09.2005, 12:30 Uhr biete ich im Raum 51-03-0026 eine Fragestunde vor der Ti-Prüfung an. Gruß, Ralf.von Ralf Wimmer - Technische Informatik 2 SS 2005
Hallo *, in Abstimmung mit Prof. Becker und Prof. Scholl habe ich inzwischen die Einteilung für die mündlichen Prüfungen in Technische Informatik II vorgenommen. Die Prüfungsmodalitäten sind wie folgt: Es wurden fünf 3er-Gruppen gebildet und pro Gruppe insgesamt eine Prüfungszeit von 20-30 min vorgesehen. Die Leute einer 3er-Gruppe können sich entweder zusammen prüfen lassen (dann müvon Ralf Wimmer - Technische Informatik 2 SS 2005
Hallo *, es tut mir leid, dass ich schon wieder die Übungsgruppe verschieben muss. Ich bin vom 13. bis 15. Juli in der Welthauptstadt Oldenburg ;-) Deshalb wird die Übungsgruppe von Donnerstag, 14.07. auf Dienstag 12.07. vorverlegt. Zeit und Ort bleiben gleich. Gruß, Ralf.von Ralf Wimmer - Technische Informatik 2 SS 2005
Hallo *, da ich am 30.06. und 01.07. beim Mitarbeiterseminar auf dem Schauinsland sein werde, muß die Ti2-Übungsgruppe wieder einmal verlegt werden, und zwar vom 30.06. auf den 28.06.2005, 16:00 Uhr (üblicher Raum). Gruß, Ralf.von Ralf Wimmer - Technische Informatik 2 SS 2005
Hallo *, unter der Adresse ist ein Simulator des Re-Ti-Rechners verfügbar. Er kann euch helfen zu verstehen, die die Re-Ti Befehle ausführt und eure Assembler-Programm zu debuggen. Beachtet aber, dass der Simulator z. B. Labels für Sprungbefehle beherrscht, die offiziell nicht zur Assemblersprache gehören (d. h. auch nicht in den Übungsaufgaben verwendet werden sollen). Gruß, Ralfvon Ralf Wimmer - Technische Informatik 2 SS 2005
Hallo *, am Donnerstag ist wieder mal Feiertag (Fronleichnam). Deshalb wird die Übungsgruppe von Donnerstag, 26.05.2005, auf Dienstag, 31.05.2005, 16:00 Uhr verlegt. Gruß, Ralf.von Ralf Wimmer - Technische Informatik 2 SS 2005
Hallo Fabian, ich habe nicht vergessen, euren Zettel zu korrigieren, sondern war in den letzten beiden Wochen auf einer Konferenz und hatte keine Gelegenheit, die Zettel zu korrigieren. Inzwischen stehen aber die Korrekturen im Portal. Gruß, Ralf.von Ralf Wimmer - Technische Informatik 2 SS 2005
Username und Passwort werden per Mail an Dich verschickt, sobald Du mir eine gültige E-Mail-Adresse zukommen läßt. Ralf.von Ralf Wimmer - Technische Informatik 2 SS 2005
Hallo *, da ich nächste und übernächste Woche nicht in Freiburg bin, wird die Übungsgruppe nächste Woche (12.05.2005) verschoben (übernächste Woche ist Pfingstpause!), und zwar auf Dienstag, 24.05.2005, 16.00 Uhr im üblichen Raum. Dort werden wir das 4. Übungsblatt besprechen. Am Donnerstag, 26.05.2005 findet die Übungsgruppe wie gewohnt statt. Solange ich nicht da bin, könnt ihr euchvon Ralf Wimmer - Technische Informatik 2 SS 2005
Hallo *, bekanntlich ist nächsten Donnerstag (05.05.05) Feiertag (Christi Himmelfahrt). Somit fällt dort der gesamte Unibetrieb aus. Daher wird nächste Woche die Übungsgruppe Technische Informatik II auf Dienstag, 03.05.05, 16:00 Uhr verlegt. Sie findet im selben Raum wie donnerstags statt. Gruß, Ralf.von Ralf Wimmer - Technische Informatik 2 SS 2005
Hallo *, ich habe die Punkteverteilung von Blatt 3 ein bißchen geändert. Alles andere ist aber gleich geblieben. Gruß, Ralf.von Ralf Wimmer - Technische Informatik 2 SS 2005
Ich verwende normalerweise xfig dafür. Das ist zwar auch nicht gerade das komfortabelste Programm für Schaltkreise, aber es funktioniert. Gruß, Ralf.von Ralf Wimmer - Technische Informatik 2 SS 2005
Ihr seid doch inzwischen groß genug, um die Zettel selbst zu drucken :-) Außerdem habt ihr ein paar Tage länger Zeit, wenn ich sie euch schon am Montag ins Netz stelle. Aber falls auch andere einen ausgedruckten Zettel bekommen wollen, dann kann ich das schon machen. Wir können das am Donnerstag in der Übungsgruppe klären. Gruß, Ralf.von Ralf Wimmer - Technische Informatik 2 SS 2005
Das ist richtig.von Ralf Wimmer - Technische Informatik 2 SS 2005
Die Einführungsveranstaltung fand gestern (12.04.) um 16:00 Uhr c.t. statt. Alles, was besprochen wurde, findet sich auf der Seite mit dem Vorlesungsmaterial. Die Folien sind allerdings passwortgeschützt. Wer das Passwort verpaßt hat, möge mir eine Mail schreiben. Gruß, Ralf.von Ralf Wimmer - Technische Informatik 2 SS 2005