Veranstaltungen im Sommer-
semester 2008
In dieser Vorlesung befassen wir uns mit dem generellen Problem, wie ein Computerprogramm, das in einer höheren Programmiersprache vorliegt, in ein auf einer konkreten Hardware ablauffähiges Maschinenprogramm übersetzt werden kann. Das Anwendungsspektrum des Stoffs geht allerdings über die Implementierung von Compilern hinaus. Die hier entwickelten Techniken können auf vielfältige Weise eingesetzt werden, z. B. für Assembler, Steuerung von Editoren und Textverarbeitungsprogrammen, Abfragen von Datenbanken, Aufbereitung strukturierter Daten, Druckausgabesprachen bzw. allgemein zur automatisierten Analyse hierarchisch strukturierter Dokumente. Der Aufbau eines Compilers selbst ist ein gutes Musterbeispiel für die Konzeption eines großen Softwareprojekts durch Zerlegung in Teilaufgaben und Spezifikation von Schnittstellen zwischen den entsprechenden Modulen. Themen der Vorlesung sind Formale Sprachen, Lexikalische Analyse, Syntaxanalyse, Semantische Analyse, Codegenerierung und Codeoptimierung
Die Vorlesung wendet sich an Studierende im Haupt-
oder Nebenfach Informatik. Kenntnisse aus den Grundvorlesungen Informatik
werden vorausgesetzt. Das Skript zur Vorlesung erhalten die Teilnehmer bei der Fachschaft.
a) ein Übungsschein oder
b) ein Leistungsnachweis über 6 ECTS Leistungspunkte oder
c) ein Leistungsnachweis über 9 ECTS Leistungspunkte
erworben werden. Zum Erwerb des ECTS-Scheins über 6 LP ist das
Bestehen
einer schriftlichen Prüfung erforderlich, für den Schein
über 9 LP
ist zusätzlich die erfolgreiche
Teilnahme an den Übungen Voraussetzung.
Termin: Di 11-13, Do 11-13, Raum: U 013, INF 350, Beginn: Di. 08.04.08
Übungen zur Vorlesung "Compilerbau" (Reinelt, Seitz, 2 SWS)
Der Stoff der Vorlesung wird in den Übungen durch
Bearbeitung von Aufgaben vertieft und ergänzt. Zum erfolgreichen Bestehen dieser Veranstaltung ist der Erwerb von 50% der zu den
Aufgaben vergebenen Punkte erforderlich. Die persönliche Teilnahme an den Übungsveranstaltungen ist obligatorisch.
Für Studierende in Diplomstudiengängen kann ein Schein über die
erfolgreiche Teilnahme ausgestellt werden. ECTS Leistungspunkte
können nur durch Bestehen der schriftlichen Abschlussprüfung zur
Vorlesung erworben werden.
Termine:
Beginn: voraussichtlich Di. 21.04.08 bzw. Mi. 22.04.08
Vorlesung: Kompaktkurs Mo 07.04 bis Fr. 18.04, 14-17, Raum: -111, INF 294
Das Zusammenspiel zwischen Fourier-Analysis, diskreter Mathematik und Informatik gehört aktuell zu den ganz heissen Themen. In dieser Blockvorlesung soll die Fourier-Analysis auf endlichen Abelschen Gruppen und ihre Anwendungsmöglichkeiten in der diskreten Mathematik und Informatik von Grund auf erlernt werden. Wenn es die Zeit erlaubt, soll als besonderes Schmankerl die Nicht-Approximatierbarkeit von Max-3-SAT bewiesen werden.
Literatur: Das Buch von Tao & Vu, ,,Additive Combinatorics'', Cambridge (2007), bietet eine umfangreiche Einführung in das Gebiet der Additiven Zahlentheorie. Es enthält auch ein Kapitel über Fourier-Analysis, und deckt den größten Teil der Vorlesung ab.
Voraussetzungen: Grundvorlesungen Mathematik inkl. Analysis III (oder Maß- und Integrationstheorie
Zielgruppe: Student/inn/en mit Interesse an Kombinatorik, Zahlentheorie oder Fourier-Analysis
Zum Erwerb eines ECTS-Scheines über 3 Leistungspunkte kann eine mündliche Prüfung absolviert werden.
Zur erfolgreichen Seminarteilnahme sind ein mündlicher Vortrag
sowie eine schriftliche Ausarbeitung erforderlich. Es kann ein Nachweis
nach ECTS über 3 Leistungspunkte erworben werden.
Vorbesprechung: Di 05.02, 14 c.t., Raum: 432, INF 368
Termin: Do 14-16, Raum: U 014, INF 350
Dieses Seminar ist für Mitarbeiter sowie die Studenten gedacht, die eine Diplomarbeit im Bereich Informatik und Algorithmische Optimierung schreiben. Es wird über die laufenden bzw. abgeschlossenen Arbeiten berichtet. Vorträge werden jeweils durch Aushang angekündigt.
Termin: Do. 16-18, Raum: U014, INF 350
Praktikum "Informatik" für Anfänger (4 SWS)
Praktikum "Informatik" für Fortgeschrittene (6 SWS)
(Oswald/Seitz/Reinelt)
In den Software-Praktika werden Projekte mit Informatikinhalten
bearbeitet. Die Arbeit im Praktikum umfasst die Implementierung
entsprechender Algorithmen, ihre ausführliche Dokumentation und
einen Kurzvortrag über das bearbeitete Thema. Kenntnisse zu Effizienten Algorithmen werden vorausgesetzt.
Die erfolgreiche Teilnahme wird durch einen Nachweis nach
ECTS über 9 Leistungspunkte bestätigt.
Praktikumsthemen können jederzeit ausgegeben werden. Gruppenarbeit
ist möglich bzw. erwünscht. Es können auch eigene Themen
vorgeschlagen werden.
Dieser Kurs wird von Mitarbeitern der Unternehmensberatung Amontis Consulting AG angeboten und vermittelt die wesentlichen Konzepte und Techniken des Projektmanagements.
Das Kursprogramm umfasst Präsentationen, Diskussionen, praktische Übungen und Gruppenarbeit mit kleinen Beispielprojekten. Die Teilnehmer werden die wichtigsten Techniken im Rahmen von 3-4 fachnahen und komplexeren Projekten in Arbeitsgruppen anwenden.
Termin im Raum U013, INF 350
Der Kurs umfasst 5 Workshops mit Übungen an den Freitagen 18. April, 9. Mai, 30. Mai, 20. Juni und 11 .Juli jeweils von 13:00 bis 18:00 Uhr. Zwischen den Workshops sind Aufgaben zu bearbeiten. Mehr Informationen zum Kurs finden Sie hier.
Der Termin vom 20. Juni wurde auf 4. Juli verschoben! Anm: 15.5.08
Kursleiter
Dr. Roland Dumont du Voitel, Managing Partner, Amontis Consulting AG
Christian Weiß, Partner, Competence Center Project Management, Amontis Consulting AG
Schein
Durch aktive Mitarbeit kann ein ECTS-Schein über 3 Leistungspunkte für fachübergreifende Kompetenzen erworben werden.
Anmeldung
Die Anzahl der Teilnehmer ist auf 14 beschränkt. Eine rechtzeitige Anmeldung ist erforderlich.
Anmeldungen bitte per email an Catherine Proux.
Sprechstunde Prof. Dr. Gerhard Reinelt
Während der Vorlesungszeit Mi 10-11 und nach den Vorlesungen. Weitere Termine bitte über das Sekretariat vereinbaren (Tel. 54 57 48)
mod. 11.3.08, CP
comopt{at}informatik.uni-heidelberg.de
