Bild mit Unilogo
homeicon uni sucheicon suche kontakticon kontakt impressicon impressum
unilogo Universität Stuttgart 
Institut für Formale Methoden der Informatik

Skripte - Übungsblätter - alte Prüfungen

englishicon
 
Skripte und Übungsblätter - Grundstudium (Informatik + Softwaretechnik)
  - Grundstudium (Informatik)
  - Grundstudium (Softwaretechnik)
  - Hauptstudium (Informatik)
  - (Haupt-)Seminare
  - aktuelle Veranstaltungen
     
Alte Prüfungen - Informatik
  - Softwaretechnik
  - Information Technology
     
Sonstiges - Standardlehrbücher der TI
  - Veranschaulichung von Konzepten der TI

Grundstudium (Informatik + Softwaretechnik)

- Theoretische Informatik I    
 - Sommersemester 2005
 - Sommersemester 2004
 - Sommersemester 2003
 - ältere: Informatik / Softwaretechnik
- Theoretische Informatik II    
 - Wintersemester 2005/06
 - Wintersemester 2004/05
 - Wintersemester 2003/04
 - ältere: Informatik / Softwaretechnik
hoch

Grundstudium (Informatik)

- Theoretische Informatik I (inf)    
 - neuere (inf+swt)
 - Sommersemester 2002  
 - Sommersemester 2001  
 - Sommersemester 2000  
 - Sommersemester 1999  
- Theoretische Informatik II (inf)    
 - neuere (inf+swt)
 - Wintersemester 2002/03
 - Wintersemester 2001/02
 - Wintersemester 2000/01
(Abteilung FK)
 - Wintersemester 1999/2000
 - Übungen (WS 98/99):  Blatt 1, Blatt 2, Blatt 3, Blatt 4, Blatt 5, Blatt 6, Blatt 7, Blatt 8, Blatt 9, Blatt 10, Blatt 11
- Diskrete Mathematik    
 - Sommersemester 2005  
 - Sommersemester 2004  
 - Sommersemester 2003  
 - Sommersemester 2002  
 - Sommersemester 2001  
 - Sommersemester 2000  
 - Übungen (SS 99):  Blatt 1, Blatt 2, Blatt 3, Blatt 4, Blatt 5, Blatt 6
 - Übungen (SS 98):  Blatt 1, Blatt 2, Blatt 3, Blatt 4, Blatt 5, Blatt 6
 - Erkennbare und rationale Sprachen - Ein Steilkurs  
 - Primzahltest nach Miller  
hoch

Grundstudium (Softwaretechnik)

- Theoretische Informatik I (swt)    
 - neuere (inf+swt)
 - Sommersemester 2002  
 - Sommersemester 2001  
 - Sommersemester 2000  
 - Sommersemester 1999  
- Theoretische Informatik II (swt)    
 - neuere (inf+swt)
 - Wintersemester 2002/03
 - Wintersemester 2001/02
 - Wintersemester 2000/01
 - Wintersemester 1999/2000
- Theoretische Informatik III (swt)    
 - Sommersemester 2005
 - Sommersemester 2004
 - Sommersemester 2003
- Einführung in die Softwaretechnik II (swt)    
 - Sommersemester 2004
hoch

Hauptstudium

- Formale Semantik    
 - Wintersemester 2005/06
 - Wintersemester 2004/05
 - Wintersemester 2003/04
 - Wintersemester 2002/03
 - Wintersemester 2001/02
 - Wintersemester 2000/2001
 - Wintersemester 1999/2000
 - Wintersemester 1998/1999
 - Folien (WS 05/06)
- Komplexitätstheorie    
 - Wintersemester 2005/06
 - Wintersemester 2004/05
 - Wintersemester 2003/04
 - Wintersemester 2002/03
 - Wintersemester 2001/02
 - Wintersemester 2000/2001
 - Wintersemester 1999/2000
 - Skript (Dezember 2000)
- Entwurf und Analyse effizienter Algorithmen    
 - Sommersemester 2006  
 - Sommersemester 2005  
 - Sommersemester 2004  
 - Sommersemester 2003  
 - Sommersemester 2002  
 - Sommersemester 2001  
 - Skript (Stand: 14. September 2006)
- Algorithmentheorie II    
 - Wintersemester 2005/06
 - Wintersemester 2004/05
- Komplexitätstheorie II    
 - Sommersemester 2005
- Geometrische Algorithmen und ihre Visualisierung    
 - Sommersemester 2004
 - Wintersemester 2001/02
- Quantum-Computing    
 - Wintersemester 2004/05  
 - Sommersemester 2001  
- Analyse von Petri-Netzen    
 - Sommersemester 2001  
- Parallele Algorithmen    
 - Sommersemester 2003  
 - Sommersemester 2002  
 - Sommersemester 2000  
- Graphentheorie    
 - Wintersemester 2005/06
 - Wintersemester 2004/05
 - Wintersemester 2003/04
 - Wintersemester 2002/03
 - Wintersemester 2000/2001
 - Sommersemester 1999
 - Folien von U. Hertrampf, SS 98:  01, 02, 03, 06, 07, 08, 09, 10, 11
- Kryptographische Verfahren    
 - Wintersemester 2005/06
 - Wintersemester 2004/05
 - Wintersemester 2003/04
 - Wintersemester 2002/03
 - Wintersemester 2000/2001
 - Sommersemester 1999
- Networks and Processes    
 - Wintersemester 2003/04 (Abteilung SZS)
 - Wintersemester 2002/03
 - Wintersemester 2001/2002
 - Wintersemester 2000/2001
 - Wintersemester 1999/2000
hoch

(Haupt-)Seminare

- Spiele: Algorithmen und Komplexität (WS 2005/06)    
- Ausgewählte Themen der Theoretischen Informatik (SS 2005)    
- Algorithmische Zahlentheorie (WS 2004/05)    
- Ausgewählte Themen der Theoretischen Informatik (SS 2004)    
- Algorithmische Zahlentheorie (WS 2003/04)    
- Datenkompression (WS 2003/04)    
- Ausgewählte Themen der Theoretischen Informatik (SS 2003)    
- Ausgewählte Themen der Theoretischen Informatik (WS 2002/03)    
- Datenkompression (SS 2002)    
- Datenkompression (SS 2001)    
- Quanten-Computing (SS 2000)    
hoch

Alte Prüfungen (Informatik)

Theoretische Informatik B (für Informatiker)

Herbst 2008 Klausur Lösungshinweise
Frühjahr 2008 Klausur Lösungshinweise
Herbst 2007 Klausur Lösungshinweise
Frühjahr 2007 Klausur Lösungshinweise
Herbst 2006 Klausur Lösungshinweise
Frühjahr 2006 Klausur Lösungshinweise
Herbst 2005 Klausur Lösungshinweise
Frühjahr 2005 Klausur Lösungshinweise
Herbst 2004 Klausur Lösungshinweise
Frühjahr 2004 Klausur Lösungshinweise

Theoretische Informatik (für Informatiker)

Frühjahr 2005 Klausur Lösungshinweise*
Herbst 2004 Klausur Lösungshinweise*
Frühjahr 2004 Klausur Lösungshinweise*
Herbst 2003 Klausur Lösungshinweise*
Frühjahr 2003 Klausur Lösungshinweise*
Herbst 2002 Klausur Lösungshinweise*
Frühjahr 2002 Klausur Lösungshinweise*
Herbst 2001 Klausur Lösungshinweise*
Frühjahr 2001 Klausur Lösungshinweise*
Herbst 2000 Klausur Lösungshinweise*
Frühjahr 2000 Klausur Lösungshinweise*
Herbst 1999 Klausur* Lösungshinweise*
* ohne Aufgabe 1 (Logik)
hoch

Alte Prüfungen (Softwaretechnik)

  Theoretische Informatik B
Herbst 2008 Klausur Lösungshinweise
Frühjahr 2008 Klausur Lösungshinweise
Herbst 2007 Klausur Lösungshinweise
Frühjahr 2007 Klausur Lösungshinweise
Herbst 2006 Klausur Lösungshinweise
Frühjahr 2006 Klausur Lösungshinweise
Herbst 2005 Klausur Lösungshinweise
Frühjahr 2005 Klausur Lösungshinweise
Herbst 2004 Klausur Lösungshinweise

 

  Theoretische Informatik A Theoretische Informatik B
Herbst 2008 Klausur Lösungshinweise Klausur Lösungshinweise
Frühjahr 2008 Klausur Lösungshinweise* Klausur Lösungshinweise
Herbst 2001 Klausur Lösungshinweise* Klausur Lösungshinweise
Frühjahr 2001 Klausur Lösungshinweise* Klausur Lösungshinweise**
Herbst 2000 Klausur Lösungshinweise Klausur Lösungshinweise
Herbst 1999 Klausur Lösungshinweise* Klausur Lösungshinweise
* ohne Aufgabe 1 (Logik)
** ohne Aufgabe 1 (Statistik)
hoch

Former Exams (Infotech)

Networks & Processes, Spring 2003 Exam Solution PS / PDF