This page was taken from an older version of this website.
- Proseminar Schaltkreise
- Veranstalter:
- Genther, Weis
- Form:
- Proseminar (2S) (empfohlen für 3. und 4. Semester)
- Termine:
- Vorbesprechung:
Mi, 12.2.1997, 13.00 Uhr,
SFS, Raum 18 (Seminar- und Besprechungsraum).
Veranstaltung: Do, 14h - 16h, Hörsaal H2/SFS.
- Inhalt:
- Schaltkreise sind die elementaren Bausteine eines
jeden digitalen Rechners. Sie bestehen aus Gattern
(z.B. für die logischen Operationen Und, Oder,
Nicht), die kreislos miteinander verbunden sind.
Das Proseminar behandelt exemplarisch grundlegende
Aspekte von Schaltkreisen, so z.B. Boolesche
Funktionen, Schaltkreise für arithmetische
Operationen, VLSI-Entwurf, untere Schranken im
Schaltkreisentwurf, komplexitätstheoretische
Fragestellungen.
- Literatur:
-
- Ingo Wegener, Effiziente Algorithmen für
grundlegende Funktionen, B.G. Teubner, 1989
- Ingo Wegener, The Complexity of Boolean
Functions, Wiley-Teubner Series in Computer
Science, 1987
- Jeffrey D. Ullman, Computational Aspects of VLSI,
Computer Science Press, 1983
Weitere Literatur wird bei der Vorbesprechung
bekanntgegeben.
- Einführung in die Informatik IV
- Veranstalter:
- Vorlesung: Lefmann,
Übung: Schindelhauer, Jakoby
- Form:
- Vorlesung und Übung (4V+3Ü) (Grundstudium)
- Termine:
-
- Vorlesung: Mi, 9h - 11h und Fr, 9h - 11h,
Hörsaal H2, Turm
- Übung: Mo, 14h - 16h, R1, Haus 21 (Gruppe 1)
Mo, 16h - 18h, R1, Haus 21 (Gruppe 2)
Fr, 11h - 12h, H1, Turm (Gruppe 1)
Fr, 11h - 12h, R2, Haus 21 (Gruppe 2)
- Inhalt:
- Berechenbarkeit, Maschinenmodelle, Formale Sprachen,
Komplexität
- Automatentheorie
- Veranstalter:
- Buntrock
- Form:
- Vorlesung und Übung (2V+1Ü) (Hauptstudium)
- Termine:
-
- Vorlesung: Mo, 12h - 14h, R1, Haus 21
- Übung: Do, 13h - 14h, H1, SFS
- Inhalt:
- Automaten begegnen uns in vielen Bereichen. Wir
verwenden in der Informatik Automaten zum Erkennen und
Beschreiben von formal spezifizierten Sprachen, wie
z.B. Programmiersprachen, Textsatzsprachen,
Druckersprachen, etc. Die Vorlesung wendet sich an
alle Studenten im Hauptstudium, speziell diejenigen,
die ihre Kenntnisse in der Theorie vertiefen wollen.
Nach einer Wiederholung der Chomskyhierarchie und der
sie charakterisierenden Automaten werden spezielle
Automatenmodelle vorgestellt: wie Automaten mit
mehreren Kellern, probabilistische Automaten und
andere. Weiterhin werden Verbindungen zwischen
Automatentheorie, Schaltkreistheorie und Logik
hergestellt.
- Literatur:
-
- Hopcroft, John E. & Jeffrey D. Ullman:
Introduction to Automata Theory, Languages, and
Computation, Addison-Wesley, 1979
(Auf deutsch: Einführung in die
Automatentheorie, Formale Sprachen und
Komplexitätstheorie Addison-Wesley, 1990 )
- Claus, Volker:
Stochastische Automaten, B.G. Teubner,
Stuttgart, 1971
- Straubing, Howard:
Finite Automata, Formal Logic and Circuit
Complexity, Birkhäuser, Boston, 1994
- Parallele Algorithmen
- Veranstalter:
- Schindelhauer
- Form:
- Vertiefende Vorlesung (2V) (Hauptstudium)
- Termine:
-
- Vorlesung: Mo, 14h - 16h, H2, Turm
- Inhalt:
- Diese Vorlesung gibt eine Einführung in das Gebiet
effizienter paralleler Algorithmen und stellt
Techniken zur effizienten Parallelisierung vor. Diese
werden anhand einer Sammlung von effizienten
parallelen Algorithmen vorgestellt.
Verschiedenartige Parallelrechner-Architekturen
verlangen angepasste Algorithmen. Hierzu werden
Modelle für solche Architekturen eingeführt und
verglichen.
Eine effiziente parallele Umsetzung von Problemen ist
oft nicht möglich. Ursachen und Folgen werden mit
Methoden der Komplexitätstheorie diskutiert.
- Literatur:
-
- Michel J. Quinn, Algorithmenbau und
Parallelcomputer
- Alan Gibbons, Wojciech Rytter, Efficient Parallel
Algorithms
- Alan Gibbons, Paul Spirakis, Lectures on parallel
computation
- Hauptseminar Fehlertoleranz, Sicherheit
- Veranstalter:
- Buntrock, Jakoby
- Form:
- Hauptseminar (2S)
- Seminar Logik und Komplexität
- Veranstalter:
- Lefmann
- Form:
- Seminar (2S)
- Termin:
- Di, 16h - 18h, Raum 18, SFS