Informatik I

Informatik I

Einführung in die Informatik
und die systematische Programmkonstruktion


Advanced
Functional Programming

Fun with functions and Haskell

Sommersemester 10
Datenbanksysteme I Print

Nachholprüfung: Die Nachholprüfung zur Klausur findet in Form einer mündlichen Prüfung am 4.10.2010 statt. Für konkrete Termine wenden Sie sich bitte an Frau Weber.

 

Klausurergebnisse: Die Ergebnisse der Klausur können Sie dem Aushang auf unserem Flur entnehmen.

Relationale Datenbanksysteme

Die Vorlesung Datenbanksysteme I ist die klassische Einführung in das spannende Gebiet der Datenbanksysteme.  Zentrales Thema sind die Relationalen Datenbanksysteme, in denen Daten in tabellarischer Form modelliert, gespeichert und angefragt werden.  Dieser strikt tabellarische Blick auf Daten ist elegant, intuitiv aber dennoch formal und durch Datenbanksysteme effizient implementierbar, wirft aber auch interessante Fragen auf, denen wir uns in dieser Vorlesung widmen werden:

Read more...
 
Selected Fun Problems of the ACM Programming Contest Print

 

Die Vorbesprechung zu diesem Seminar findet statt am 15.04.2010 um 09:30 Uhr im Raum B305b.

 

In diesem Proseminar werden die TeilnehmerInnen mit jeweils einem ausgewählten Problem des seit 1970 alljährlich stattfindenden ACM Programming Contest konfrontiert. Diese Probleme zeichnen sich einerseits durch recht spassige und interessante Aufgabenstellungen aus, andererseits erlauben diese Aufgaben Lösungen, die oft sehr elegant und kompakt sind (der Kern umfasst typischerweise weniger als 50 Zeilen Programmcode) und fast immer mit “Aha!”-Effekten einhergehen.

Mehr zum Proseminar Selected Fun Problems of the ACM Programming Contest...
 
The Construction of a SASL Compiler Print

Projektpraktikum zur Vorlesung Software Engineering (siehe auch LSF-Eintrag)


Projektbeschreibung

Was passiert tatsächlich, wenn ihr den Compiler für eure Lieblingssprache auf  Quellcode loslasst? Hier findet ihr darauf eine Antwort für die nicht-strikte funktionale Programmiersprache SASL.

Read more...