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.
Forum: 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.
Forum: 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.
Forum: 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 hi
Forum: 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.
Forum: 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ü
Forum: 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.
Forum: 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.
Forum: 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ß, Ralf
Forum: 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.
Forum: 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.
Forum: 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.
Forum: 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 euch
Forum: 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.
Forum: 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.
Forum: 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.
Forum: 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.
Forum: Technische Informatik 2 SS 2005

Das ist richtig.
Forum: 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.
Forum: Technische Informatik 2 SS 2005