 |
|
 |
Institut für Formale Methoden der Informatik |
|
Skripte - Übungsblätter - alte Prüfungen
|
|
|
 |
 |
Grundstudium (Informatik + Softwaretechnik)
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 |
|
Grundstudium (Softwaretechnik)
Hauptstudium
 |
(Haupt-)Seminare
Alte Prüfungen (Informatik)
Theoretische Informatik B (für Informatiker)
Theoretische Informatik (für Informatiker)
* ohne Aufgabe 1 (Logik)
Alte Prüfungen (Softwaretechnik)
* ohne Aufgabe 1 (Logik)
** ohne Aufgabe 1 (Statistik)
Former Exams (Infotech)
| Networks & Processes, Spring 2003 |
Exam |
Solution
PS /
PDF |
|
|
|
|