Deutschland » Berlin » TU Berlin » Informatik » Prof. Dr.-Ing. Nestmann » Temporallogik, für Softwareingenieure (Tempo) » Bewertungen
Temporallogik, für Softwareingenieure (Tempo)
Hilfe
Du möchtest diesen Kurs bewerten?
Klicke dazu auf »Kurs bewerten« im Menu.
Es werden keine Bewertungen angezeigt?
Die Bewertungen des Kurses befinden sich im Tab »Bewertungen«. Dieser wird nur angezeigt, wenn Du dich als Nutzer registriert hast und eingeloggt bist.
Die Bewertungen der einzelnen Kriterien fehlen?
Du kannst zwischen dem Kurskommentar und den Bewertungen der einzelnen Kriterien wechseln, indem Du auf »Einzelbewertungen einblenden« klickst.
Was bedeutet Kurs belegen?
Du wirst über alle neuen Bewertungen oder Foreneinträge des Kurses per E-Mail informiert.
Du möchtest mit anderen über den Kurs diskutieren?
Klicke dazu auf das Tab »Forum« und schreib einen Beitrag.
Noch Fragen?
Dann wirf einen Blick in unsere FAQ oder schicke uns eine Nachricht über unser Kontaktformular.
Nutze diese Auswahl, um direkt zu einem bestimmten Semester zu springen:
▼WS 06/07 (1 Bewertungen)
|
▼SS 06 (4 Bewertungen)
|
Gegenwärtig wahrscheinlich der beste Informatik-Prof der Uni
Klicken um Einzelbewertungen einzublenden |
||||||
|
Der Mann versteht was von seinem Fach...
Klicken um Einzelbewertungen einzublenden |
||||||
|
Diese Veranstaltung behandelt die Spezifikationssprache TLA+, eine auf Mathe beruhende Spezifikationssprache. Den Titel der Veranstaltung "Theorie Verteilter Systeme" finde ich persönlich etwas irreführend, da eher die Spezifikationssprache TLA im Vordergrund stand und erst zum Schluß in einigen Vorträgen die Wildfire-spezifikation (vernetzung mehrerer prozessoren, die in lokale gruppen unterteilt werden) erläutert wurde. Der Zusatz "Fehlertolerante Algorithmen" bezieht sich auf zwei andere (Studenten)-Vorträge über das Problem der Byzantinischen Genärele. Wenn da was missverstanden habe, werden mich hoffentlich andere korrigieren..
Die Veranstaltung hat mir insgesamt gut gefallen. (die Note auch :-) Klicken um Einzelbewertungen einzublenden |
||||||
|
Sehr empfehlenswert. Der Professor motiviert durch seinen Vortrags-/Übungsstil zur Mitarbeit. Man hat das Gefühl zusammen in einer Gruppe (sowohl die Studenten als auch der Prof) an der Lehre/Recherche/Verständnis beteiligt zu sein, bspw. durch gemeinsam erörterte Fragestellungen und Diskussionen, die von den jeweiligen Gegenüber stets respektiert werden.
Somit kann ich behaupten viel gelernt zu haben ohne wirklich Stress empfunden zu haben (was aber nicht bedeuten soll, das zu wenig gemacht wurde). Klicken um Einzelbewertungen einzublenden |
Teil des Kurses waren Referate über verschiedene verteilte Algorytmen und deren Spezifikation in TLA. Ein kleiner Ausblick auf andere temporale Logiken war auch dabei.
Klicken um Einzelbewertungen einzublenden