Folien zur Vorlesung
ACHTUNG! Dies sind nur die Folien aus dem Vorjahr zur Orientierung. Die aktuellen Folien werden im Moodle-Kurs bereitgestellt,
Die Folien zur Vorlesung werden in drei Versionen bereitgestellt: die mit "animiert" markierten Dateien enthalten die für die Präsentation in der Vorlesung verwendeten Animationen. Bei den anderen Dateien wurden die Animationen weggelassen, sie sind dadurch zum Ausdrucken besser geeignet. Die Inhalte aller Versionen sind identisch.
| Änderungsdatum | Beschreibung | Titel |
|---|---|---|
| 09.10.2015 19:44 | Theoretische Informatik I im WS 2015/16 - animiert |
slides-0-intro-anim.pdf
|
| 09.10.2015 19:45 | Theoretische Informatik I im WS 2015/16 |
slides-0-intro.pdf
|
| 02.10.2015 08:48 | Einheit 1 - Mathematische Beweisführung - animiert |
slides-1-0-anim.pdf
|
| 02.10.2015 08:48 | Einheit 1 - Mathematische Beweisführung |
slides-1-0.pdf
|
| 26.10.2015 11:50 | Einheit 2.1 - Deterministische endliche Automaten - animiert |
slides-2-1-anim.pdf
|
| 26.10.2015 11:51 | Einheit 2.1 - Deterministische endliche Automaten |
slides-2-1.pdf
|
| 01.10.2015 15:22 |
slides-2-1.ps
|
|
| 01.10.2015 15:22 | Einheit 2.2 - Nichtdeterministische endliche Automaten - animiert |
slides-2-2-anim.pdf
|
| 01.10.2015 15:22 | Einheit 2.2 - Nichtdeterministische endliche Automaten |
slides-2-2.pdf
|
| 01.10.2015 15:22 |
slides-2-2.ps
|
|
| 01.10.2015 15:22 | Einheit 2.3 - Reguläre Ausdrücke - animiert |
slides-2-3-anim.pdf
|
| 01.10.2015 15:22 | Einheit 2.3 - Reguläre Ausdrücke |
slides-2-3.pdf
|
| 01.10.2015 15:22 |
slides-2-3.ps
|
|
| 01.10.2015 15:22 | Einheit 2.4 - Grammatiken - animiert |
slides-2-4-anim.pdf
|
| 01.10.2015 15:22 | Einheit 2.4 - Grammatiken |
slides-2-4.pdf
|
| 01.10.2015 15:22 |
slides-2-4.ps
|
|
| 01.10.2015 15:22 | Einheit 2.5 - Eigenschaften regulärer Sprachen - animiert |
slides-2-5-anim.pdf
|
| 01.10.2015 15:22 | Einheit 2.5 - Eigenschaften regulärer Sprachen |
slides-2-5.pdf
|
| 01.10.2015 15:22 |
slides-2-5.ps
|
|
| 01.10.2015 15:23 | Einheit 3.1 - Kontextfreie Grammatiken - animiert |
slides-3-1-anim.pdf
|
| 01.10.2015 15:22 | Einheit 3.1 - Kontextfreie Grammatiken |
slides-3-1.pdf
|
| 01.10.2015 15:23 |
slides-3-1.ps
|
|
| 01.10.2015 15:23 | Einheit 3.2 - Pushdown Automaten - animiert |
slides-3-2-anim.pdf
|
| 01.10.2015 15:23 | Einheit 3.2 - Pushdown Automaten |
slides-3-2.pdf
|
| 01.10.2015 15:23 |
slides-3-2.ps
|
|
| 01.10.2015 15:23 | Einheit 3.3 - Eigenschaften kontextfreier Sprachen - animimiert |
slides-3-3-anim.pdf
|
| 01.10.2015 15:23 | Einheit 3.3 - Eigenschaften kontextfreier Sprachen |
slides-3-3.pdf
|
| 01.10.2015 15:23 |
slides-3-3.ps
|
|
| 01.10.2015 15:23 | Einheit 4 - Allgemeine und kontextsensitive Sprachen - animiert |
slides-4-anim.pdf
|
| 01.10.2015 15:23 | Einheit 4 - Allgemeine und kontextsensitive Sprachen |
slides-4.pdf
|
| 01.10.2015 15:23 |
slides-4.ps
|
