Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
| Beide Seiten der vorigen Revision Vorhergehende Überarbeitung Nächste Überarbeitung | Vorhergehende Überarbeitung | ||
|
lehre:wise0910:formale_methoden [2009/06/08 13:06] schlich |
lehre:wise0910:formale_methoden [2009/10/28 16:00] haensch |
||
|---|---|---|---|
| Zeile 1: | Zeile 1: | ||
| ====== Formale Methoden für eingebettete Systeme ====== | ====== Formale Methoden für eingebettete Systeme ====== | ||
| + | |||
| + | ===== Neuigkeiten ===== | ||
| + | | 05.10.2009 | Aus organisatorischen Gründen findet die erste Vorlesung am 13.10.2009 statt. Für Masterstudenten, die an der Einführungsveranstaltung der Fachgruppe teilnehmen wollen, bieten wir eine Zusammenfassung an. Außerdem können die Folien der ersten Veranstaltung über das L2P System bezogen werden.| | ||
| + | | 15.09.2009 | Die erste Vorlesung findet am 13.10.2009 in AH III statt. | | ||
| ===== Inhalt ===== | ===== Inhalt ===== | ||
| Zeile 16: | Zeile 20: | ||
| ===== Termine ===== | ===== Termine ===== | ||
| - | Die Vorlesung wird in Deutsch gehalten. Die Übung findet 14-tägig statt. In der Woche in der keine Übung statt findet, findet an beiden Terminen die Vorlesung statt. | + | Die Vorlesung wird in Deutsch gehalten. Die Übung findet 14-tägig statt. In der Woche in der keine Übung statt findet, findet an beiden Terminen die Vorlesung statt.\\ |
| - | \\ | + | * Montag 10:00 - 11:30 AH I |
| - | Montag 10:00 - 11:30 AH I \\ | + | * Dienstag 10:00 - 11:30 AH III |
| - | Dienstag 10:00 - 11:30 AH III | + | |
| ===== Übung ===== | ===== Übung ===== | ||
| + | |||
| Um den Übungsschein zu erhalten | Um den Übungsschein zu erhalten | ||
| * dürfen Sie einen Übungstermin entschuldigt versäumen | * dürfen Sie einen Übungstermin entschuldigt versäumen | ||
| Zeile 29: | Zeile 33: | ||
| ===== Kontakt ===== | ===== Kontakt ===== | ||
| - | ==== Vorlesung ==== | + | * Vorlesung: [[:lehrstuhl:mitarbeiter:schlich]] |
| - | [[:lehrstuhl:mitarbeiter:schlich]] | + | * Übung: [[:lehrstuhl:mitarbeiter:brauer]] und [[:lehrstuhl:mitarbeiter:haensch]] |
| - | + | ||
| - | ==== Übung ==== | + | |
| - | [[:lehrstuhl:mitarbeiter:brauer]] | + | |
| ~~NOTOC~~ | ~~NOTOC~~ | ||