TU München - Fakultät für
Informatik |
Home | Forschung/Kompetenz | Lehre | Personen | Publikationen | Abschlussarbeiten | Sonstiges | Kontakt | |
Vorlesung | Sommersemester 2008 |
|
News
InhaltIn der Vorlesung werden ausgewählte Themen aus verschiedenen Bereichen der (hauptsächlich theoretischen) Informatik angesprochen:
Ziel der Vorlesung ist es, in enger Interaktion mit den teilnehmenden Studierenden bereits zu einem sehr frühen Stadium einen Bezug zu aktuellen Forschungsthemen herzustellen. Eine aktive und engagierte Mitarbeit ist unbedingte Teilnahmevoraussetzung. Hörerkreis: Teilnehmer am Begabtenförderungsprogamm der Fakultät und andere Interessierte. Voraussetzungen: keine Unterlagen
Literatur
Übungsblätter
In den letzten Übungen am 4., 11. & 18. Juli wird es keine Übungsblätter geben; statt dessen besteht für alle Interessierten die Möglichkeit, »freischaffend« mit dem Isabelle-System zu experimentieren und dabei aufkommende Fragen zu stellen. IsabelleFür einige Übungen werden wir den interaktiven Beweiser Isabelle einsetzen. Isabelle ist auf der Rechnerhalle installiert und kann dort wie folgt lokal gestartet werden: ~isabelle/bin/Isabelle
Ein Arbeiten remote ist wegen subtiler X-Probleme nicht zwingend möglich. Isabelle läuft unter gängigen UNIX-artigen Systemen, siehe Installationsanleitung. Windows-Benutzer können Isabelle zusammen mit Cygwin verwenden. Details dazu ebenfalls in der Installationsanleitung. Falls Schwierigkeiten bei der Installation auftreten, meldet euch bei mir. Unterlagen zu IsabelleAlle Folien (zum Drucken)
|