Abteilung Formale Konzepte

Universität Stuttgart
Institut für Informatik
Breitwiesenstr. 20/22
D-70565 Stuttgart
 Lageplan
Stadtplan
Abteilung
Institut
Fakultät
Universität

Vorlesung: Theoretische Informatik III (swt)

Grundvorlesung
Vorlesung3V+1Ü
Dozenten:Claus
Schmid
Termine:Mo08:30 bis 10:00im V20.02Vorlesungab 15.4.
Fr 8:30 bis 10:00im V20.02Vorlesung/Übungab 19.4.

Folien zur Vorlesung

  • Folien vom 26.04.2002 (ps), (pdf)
  • Folien vom 06.05.2002 (ps), (pdf), (ps), (pdf)
  • Folien vom 10.05.2002 (ps), (pdf)
  • Folien vom 10.05.2002 (ps), (pdf)
  • Folien vom 24.05.2002 (ps), (pdf), (ps), (pdf)
  • Folien vom 24.06.2002 (ps), (pdf), (ps), (pdf)
  • Folien vom 15.07.2002 (ps), (pdf), (ps), (pdf)

    Übungsblätter


  • Übungsblatt 1
    		• (ps), (pdf)
  • zu Aufgabe 3
    		• (ps), (pdf)
  • Übungsblatt 2
    		• (ps), (pdf)
  • zu Aufgabe 1
    		• Matrix.pas
  • Übungsblatt 3
    		• (ps), (pdf)
  • Übungsblatt 4
    		• (ps), (pdf)
  • zu den Aufgaben 1 und 2
    		• (ps), (pdf)
  • Übungsblatt 5
    		• (ps), (pdf)
  • zu Aufgabe 5
    		• (ps), (pdf)
  • Übungsblatt 6
    		• (ps), (pdf)
  • Übungsblatt 7
    		• (ps), (pdf)
  • Übungsblatt 8
    		• (ps), (pdf)


    Beschreibung

    Geplanter Aufbau (nach Wochen aufgelistet, Feiertage sind hier noch nicht berücksichtigt):

    Teil A: Effiziente Algorithmen
    1. Algorithmen: Beispiele, Analyse
    2. Algorithmenentwurfsverfahren: Übersicht, Beispiele


    Teil B: Komplexitätstheorie
    3. Wiederholung: det. und nichtdet. Turingmaschinen, Modell der Registermaschine
    4. Komplexitätsklassen, Beispiele, Konstanten, die Klasse P, einfache Sätze
    5. Reduktionsbegriff, die Klasse NP: NP-hart, NP-vollständig, SAT, 3SAT, Färbbarkeit, Erreichbarkeit bei B/E-Netzen
    6. Spezielle Algorithmen und ihre Einordnung in Klassen


    Teil C: Semantik
    7. Transitionssysteme, Beschreibung mit Regeln (Grammatik, Übergangsrelation, Inferenzen), Reduktionssysteme, Normalformen, Eigenschaften, IMP
    8. Operationale Semantik
    9. denotationelle Semantik,Fixpunkte, Beispiele
    10. Vor- und Nachbedingungen, axiomatische Semantik


    Teil D: Weiterführendes
    11. Parallele Berechnungsmodelle und ihre Auswirkung auf die Komplexität (PRAM mit Konfliktbehandlung), Wegeberechnungen
    12. Spezielle Algorithmen (z.B. aus den Bereichen Zuordnungen, Stundenplan, Verkehrsprobleme, Kryptographie)

    Voraussetzungen

    Einführung in die Informatik II, Theorie I und II für Softwaretechnik und Höhere Mathematik I und II.

    Literatur

    k.A.