Deckblatt Wi-Inf WS1011 1 - Fachbereich Informatik - Universität ...

Kommentare/ Inhalte
Periodizität
Eignung
Lernziel
Vorgehen
Literatur
Wöchentlich 1 UE Di 11:15–12 F–334;F–009 ab 26.10.10
Wöchentlich 1 UE Di 12:15–13 D–129 ab 26.10.10
Wöchentlich 1 UE Do 10:15–11 F–334;F–009 ab 28.10.10
Wöchentlich 1 UE Do 11:15–12 F–534;F–334 ab 28.10.10
Die Übungen dienen der Kontrolle, ob der in der Vorlesung behandelte Stoff auch
verstanden wurde. Hierzu werden kleine, wöchentlich zu lösende Aufgaben gestellt. Es
wird ausdrücklich gewünscht, dass die Übungsteilnehmer auch Fragen zum
Vorlesungsinhalt stellen.
jährlich zum WS
Geeignet für Nebenfachstudierende, Bioinformatikstudierende, Wirtschaftsinformatikstudierende.
Bedingt geeignet für Lehramtsstudierende.
Es werden die in der Vorlesung vorgestellten Begriffe und Konzepte vertieft.
Kleingruppenarbeit
Literatur wird in der Vorlesung bekanntgegeben.
LV 64-042:
Praktikum zu Rechnerstrukturen
Dozent/in
Manfred Grove; Bernd Schütz
Zeit/Ort Gruppe 1 (23.11.,30.11.,7.12., 14.12., von 9:00 - 12:00)
Gruppe 2 (24.11., 1.12.,.8.12., 15.12. von 09:00 – 12:00)
Gruppe 3 (24.11., 1.12., 08.12., 15.12. von 13:00 – 16:00)
Gruppe 4 (26.11., 3.12., 10.12., 17.12. von 10:30 – 13:30)
Gruppe 5 (27.11., 4.12., 11.12., 18.12. von 09:00 – 12:00)
Gruppe 6 (4.01., 11.01., 18.01., 25.01. von 09:00 – 12:00)
Gruppe 7 (5.01., 12.01., 19.01., 26.01. von 09:00 - 12:00)
Gruppe 8 (05.01., 12.01., 19.01., 26.01. von 13:00 – 16:00)
Gruppe 9 (7.01., 14.01., 21.01., 28.01. von 10:30 - 13:30
Gruppe 10 (08.01., 15.01., 22.01., 29.01. von 09:00 - 12:00)
Kommentare/ Inhalte Komponenten eines einfachen Prozessors, Multiplexer, Register, Tri-state-treiber, Busse,
RAM, ROM, ALU, Mikroprogrammierung, Assemblerprogrammierung,
Lernziel
Entwurf und Test eines einfachen Prozessors.
Vorgehen
Häusliche Vorbereitung, Versuchsdurchführung in Zweiergruppen.
Literatur
Versuchsanleitungen stehen im Netz unter folgender Adresse:
http://tams-www.informatik.uni-hamburg.de/publications/onlineDoc/index.php?
content=01-lehre#prakRech
Modul IP9: Formale Grundlagen der Informatik II (FGI 2)
LV 64-060:
Vorlesung Formale Grundlagen der Informatik II
Dozent/in
Michael Köhler-Bußmeier; Daniel Moldt; Rüdiger Valk
Zeit/Ort 4 UE / Wöchentlich 2 UE Di 12:15–13:45 Erzwiss H ab 19.10.10; 2 UE Do 12:15–13:45
Phil A ab 21.10.10
Kommentare/ Inhalte Parallele und verteilte Systeme sind von zunehmender Bedeutung in Anwendungen aller
Art, gleichzeitig aber wegen der Komplexität ihres Verhaltens besonders anfällig für
fehlerbehaftete Behandlung aufgrund unpräziser Methoden. Daher sind "formal methods"
seit langem fester Bestandteil der Forschung und Entwicklung auf diesem Gebiet.
Es werden exemplarisch zwei Formalismen zur Beschreibung und Analyse paralleler und
verteilter Systeme behandelt: Transitionssysteme und Petrinetze, weil erstere sehr weit
verbreitet sind und auf dem bekannten Modell des endlichen Automaten basieren, während
bei letzteren die Darstellung nebenläufiger Komponenten direkt erfolgt und die damit
zusammenhängenden Phänomene in besonders intensiver Weise untersucht wurden..
Mit den Themen RAM und PRAM werden Themen der Berechenbarkeit und Komplexität
aus FGI 1 fortgeführt. Zum Spezialfall der Parallelen Algorithmen werden paralleles
Mischen und Sortieren und deren spezifische Komplexitätsmaße erläutert.
Die Analyse und Verifikation von parallelen und verteilten Systemen wird ebenfalls
exemplarisch durch die Themen Model-Checking und Prozessalgebra dargestellt.
Lernziel
Lernziel ist die Kenntnis, Beurteilung und Verwendung von formalen Methoden als
Grundlage zur Programm- und Systementwicklung. Daher eignet sich die Veranstaltung
auch als Wahlmodul in den Bachelorstudiengängen "Software-System-Entwicklung" ,
"Computing in Science", "Mensch-Computer-Interaktion" und "Wirtschaftsinformatik".
41