|
|
|
|
Wintersemester 2009/10
Vorlesung im Bachelor-Studiengang,
Magister Nebenfach, Informatik Lehramt Hauptfach |
| Die Teilnehmer - normalerweise Bachelor-Studierende im 3. Semester - lernen, sich selbständig Originalliteratur zu erarbeiten und ihr so gewonnenes Wissen in einem Vortrag den anderen Proseminarteilnehmern zu vermitteln. Zusätzlich soll eine 8- bis 10-seitige schriftliche Ausarbeitung des Themas angefertigt werden. |
| Spezialvorlesung, Vertiefungsgebiet "Rechnerarchitektur und Betriebssysteme" |
| Seminar in Zusammenarbeit mit Prof. G. Müller und Dr. R. Accorsi (IIG). |
Sommersemester 09
| Praktikum |
Spezialvorlesung
|
Seminar
Die Vorbesprechung findet am Mittwoch, den 29. April, um 15:00 c.t. im Besprechungsraum des Lehrstuhl (Geb. 051, Raum 00-026, ex-Hardware-Pool) statt.
|
| Begleitveranstaltung zum Bachelor-Projekt |
Wintersemester 08/09
In diesem Proseminar sollen - ausgehend von den Kenntnissen, die in der Vorlesung "Technische Informatik" vermittelt werden - algorithmische Methoden, die im Hardwareentwurf von grundlegender Bedeutung sind, erarbeitet werden.
Schwerpunkt sind Techniken, wie sie auch in der Industrie bei Firmen wie Intel, Infineon, AMD usw. in Software-Tools zum
Entwurf von neuen FPGAs, Prozessoren und anderen integrierten Schaltungen eingesetzt werden.
Mögliche Themen sind u.a.: Datenstrukturen für die Repräsentation und Manipulation Boolescher Funktionen (BDDs, AIGs, ...),
SAT-Solver, (Integer) Linear Programming, Schaltkreise für schnelle Addition und Division, Testmethoden ... |
Vorlesung im Bachelor-Studiengang,
Magister Nebenfach, Informatik Lehramt Hauptfach
|
| This course will cover current SMT solver techniques and algorithms. A first meeting will take place on wednesday 10/22/2008 1pm in the hardware pool (building 051). |
| Bachelor-Projekt |
| Praktikum im Master- und Diplomstudiengang |
Sommersemester 08
Seminar
Vorbesprechungstermin mit Themenvergabe: Montag, 21. April, 13:15 Uhr, Raum 051-00-026 (Besprechungszimmer Lehrstuhl Becker) |
| Kursvorlesung |
|
| Spezialvorlesung (Bachelor, Master, Diplom), Vertiefungsgebiet Rechnerarchitektur und Betriebssysteme |
| Oberseminar |
Wintersemester 07/08
|
| Spezialvorlesung, Vertiefungsgebiet "Rechnerarchitektur und Betriebssysteme" |
Sommersemester 07
Praktikum
Hier geht es zur Online-Evaluierung.
|
| Oberseminar |
Spezialvorlesung
|
Seminar im Diplom-, Bachelor- und Masterstudiengang
Vorbesprechung: Mi, 25.04.2007, 13:00 Uhr in 51-01..031
Blockveranstaltung: Do, 26.07.2007 und Fr, 27.07.2007 (ganztägig) |
Wintersemester 06/07
In diesem Seminar wollen wir uns auf die theoretischen Grundlagen von Model Checking konzentrieren.
Ein Themenbereich beschäftigt sich mit der Bisimulationen, ein anderer mit hybriden Automaten.
Teilnehmer sollten Kenntnisse in Logik und theoretischer Informatik mitbringen.
|
| Vorlesung im Bachelor-Studiengang |
| Oberseminar |
In diesem Proseminar sollen - ausgehend von den Kenntnissen, die in der Vorlesung "Technische Informatik"
vermittelt werden - algorithmische Methoden, die im Hardwareentwurf von grundlegender Bedeutung sind, erarbeitet werden.
Schwerpunkt sind Techniken, wie sie auch in der Industrie bei Firmen wie Intel, Infineon, AMD usw. in Software-Tools zum
Entwurf von neuen FPGAs, Prozessoren und anderen integrierten Schaltungen eingesetzt werden.
Mögliche Themen sind u.a.: Datenstrukturen für die Repräsentation und Manipulation Boolescher Funktionen (BDDs, AIGs, ...),
SAT-Solver, Integer Linear Programming, Partitionierungsverfahren, Routingverfahren, Testmethoden ... |
| Praktikum im Hauptstudium / Masterstudiengang. |
|
Sommersemester 06
| Spezialvorlesung im Hauptstudium, Vertiefungsgebiet Rechnerarchitektur |
Die Vorlesung ist eine Hauptstudiums-Veranstaltung. Für Studenten des Diplomstudienganges Informatik gehört sie
zu den Pflichtveranstaltungen. |
| Seminar in Kooperation mit dem Lehrstuhl für Kommunikationssysteme |
| Praktikum |
| Seminar |
| Oberseminar |
Wintersemester 05/06
In diesem Proseminar sollen -- ausgehend von den Kenntnissen, wie sie in der Vorlesung "Technische Informatik" vermittelt werden -- algorithmische Methoden, die im Hardwareentwurf von grundlegender Bedeutung sind, erarbeitet werden.
Schwerpunkt sind Techniken, wie sie auch in der Industrie bei Firmen wie Intel, Infineon, AMD ... in Software-Tools zum Entwurf von neuen FPGAs, Prozessoren und anderen integrierten Schaltungen eingesetzt werden.
Mögliche Themen sind u.a.: Datenstrukturen für die Repräsentation und Manipulation Boolescher Funktionen (BDDs, AIGs, ...), SAT-Solver, Integer Linear Programming, Partitionierungsverfahren, Routingverfahren ...
|
Vorlesung im Bachelor-Studiengang,
Magister Nebenfach, Informatik Lehramt Hauptfach
|
In diesem Seminar wollen wir einige neue Entwicklungen im Bereich Model Checking behandeln.
Als Themenbereiche sind vorgesehen:
1. Real-Time Model Checking
2. Stochastisches Model Checking
3. Model Checking für Prädikatenlogik erster Ordnung
|
| Oberseminar |
Wahlpflichtveranstaltung:
Bachelor of Science (6.Semester)
Master of Science (2.Semester) |
Sommersemester 05
Praktikum im Grundstudium
Bitte die Hardware am Mittwoch oder Donnderstag, den 13/14.7.2005, zwischen 13.00 und 16.30 abgeben. |
| Die Veranstaltung ist für Studenten des Diplomstudienganges und des Bachelorstudienganges nach der alten Studienordnung von 2001 verbindlich. (In der neuen Studienordnung von 2004 des Bachelorstudienganges ist der Zyklus Technische Informatik I und II durch eine einzige Vorlesung Technische Informatik ersetzt.) |
| Praktikum im Hauptstudium |
| Oberseminar |
| Spezialvorlesung, wird ergänzt durch das Blockpraktikum "Computer Aided Engeneering" |
| Die Vorlesung ist eine Hauptstudiums-Veranstaltung. Für Studenten des Diplomstudienganges Informatik gehört sie zu den Pflichtveranstaltungen. |
Wintersemester 04/05
Vorlesung im Bachelor-Studiengang,
Magister Nebenfach, Informatik Lehramt Hauptfach |
| Oberseminar |
| Spezialvorlesung im Hauptstudium, Vertiefungsgebiet Rechnerarchitektur |
| Spezialvorlesung |
|
| Special course |
Sommersemester 04
| Praktikum im Grundstudium |
| Kursvorlesung |
| Oberseminar |
| Praktikum im Hauptstudium |
| Spezialvorlesung im Hauptstudium |
| Seminar |
| Spezialvorlesung |
Wintersemester 03/04
| Vorlesung im Grundstudium |
| Spezialvorlesung |
| Spezialvorlesung |
| Oberseminar |
Sommersemester 03
| Vorlesung im Grundstudium |
| Seminar |
| Kursvorlesung |
| Praktikum im Grundstudium |
Wintersemester 02/03
| Spezialvorlesung |
| Vorlesung im Grundstudium |
| Ergebnisse der schriftlichen Vordiplomspruefung |
Sommersemester 02
| Vorlesung im Grundstudium |
| Kursvorlesung |
| Spezialvorlesung |
| Praktikum im Grundstudium |
| Spezialvorlesung |
| Seminar |
| Tele-Seminar |
| Oberseminar |
| Ergebnisse der schriftlichen Vordiplompruefung |
Wintersemester 01/02
| Vorlesung im Grundstudium |
| Seminar |
| Spezialvorlesung |
| Oberseminar |
Sommersemester 01
| Vorlesung im Grundstudium |
| Kursvorlesung |
| Tele-Seminar |
| Praktikum im Grundstudium |
Wintersemester 00/01
| Vorlesung im Grundstudium |
| Vorlesung im Grundstudium |
| Praktikum im Hauptstudium |
| Spezialvorlesung |
| Seminar |
| Oberseminar |
Sommersemester 00
| Ergebnisse der schriftlichen Vordiplompruefung |
| Vorlesung im Grundstudium |
| Kursvorlesung |
| VIROR-Tele-Seminar |
| Praktikum im Grundstudium |
| Praktikum im Hauptstudium |
| Oberseminar |
Wintersemester 99/00
| Ergebnisse der schriftlichen Vordiplompruefung |
| Vorlesung im Grundstudium |
| Seminar |
| Seminar |
| Oberseminar |
| Praktikum im Haupstudium |
| Spezialvorlesung |
Sommersemester 99
| Vorlesung im Grundstudium |
| Praktikum im Grundstudium |
| Kursvorlesung |
| Spezialvorlesung |
| Spezialvorlesung |
| Oberseminar |
Wintersemester 98/99
| Vorlesung im Grundstudium |
| Seminar |
Sommersemester 98
| Praktikum im Grundstudium |
| Praktikum im Hauptstudium |
| Vorlesung im Grundstudium |
| Kursvorlesung |
Wintersemester 97/98
| Vorlesung im Grundstudium |
| Spezialvorlesung |
|
|
