Fakultät für Informatik

TU München - Fakultät für Informatik
Software- and Systems Engineering Research Group

TUM

  Home  |  Forschung/Kompetenz  |  Lehre  |  Personen  |  Publikationen  |  Abschlussarbeiten  |  Sonstiges  |  Kontakt  | 

  Suche  

Vorlesung | Sommersemester 2005
Perlen der Informatik 2
Prof. Tobias Nipkow
 
 

> Lehre

> Vorlesungen

Vorlesungsseite

Übung

Literatur
 
Bereich:  Spezialvorlesung im Grundstudium: 2 Std. (+2Ü)
Zeit und Ort: Do 8:30 - 10:00, Raum MI HS 3
Beginn: 14.4.2005
Zentralübung: Di 8:30 - 10:00, Raum MW 0350.
Übungsleitung: Stefan Berghofer

Inhalt:

In der Vorlesung werden ausgewählte Themen aus verschiedenen Bereichen der (hauptsächlich theoretischen) Informatik angesprochen:

  • Primzahltests
  • Unifikation
  • Lambda-Kalkül
  • Logik
  • Interaktives Beweisen
  • Endliche Automaten
  • Entscheidungsverfahren für Presburger Arithmetik
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
Voraussetzungen: keine

Unterlagen:

Wenn möglich verwenden Sie den vorgegebenen Rahmen rahmen.tex für Ihre Ausarbeitung und benutzen bibtex für Literaturverweise so wie in rahmen.bib.

Literatur:

© Software & Systems Engineering Research Group
Sitemap |  Kontakt/Impressum
Letzte Änderung: 2005-07-08 11:23:11