| Name | Last modified | Size | Description |
---|
|
| Parent Directory | | - | |
| UEB_05_07_2011.pdf | 17-Sep-2012 01:58 | 5.8M | Übung: Probeklausur |
| UEB_31_05_2011.pdf | 17-Sep-2012 01:58 | 2.5M | Übung als Tutoriums-Ersatz vor Himmelfahrt |
| impressum.html | 17-Sep-2012 01:58 | 331 | |
| noch_mehr.html | 17-Sep-2012 01:58 | 231 | |
| VL1_12_04_2011.pdf | 17-Sep-2012 01:58 | 224K | 1. Vorlesung (Einführung, Wiederholung) (sw) |
| VL2_19_04_2011.pdf | 17-Sep-2012 01:58 | 242K | 2. Vorlesung (Endliche Automaten) (sw) |
| VL3_26_04_2011.pdf | 17-Sep-2012 01:58 | 3.7M | 3. Vorlesung (Nichtdeterministische Endliche Automaten) |
| VL4_03_05_2011.pdf | 17-Sep-2012 01:58 | 5.9M | 4. Vorlesung (Satz von Myhill-Nerode, Minimalautomaten) |
| VL5_10_05_2011.pdf | 17-Sep-2012 01:58 | 4.7M | 5. Vorlesung (Abschlusseigenschaften regulärer Sprachen, Entscheidbarkeit, Kellerautomaten) |
| VL6_17_05_2011.pdf | 17-Sep-2012 01:58 | 3.5M | 6. Vorlesung (Kellerautomaten, Kontextfreie Sprachen) |
| VL7_24_05_2011.pdf | 17-Sep-2012 01:58 | 5.1M | 7. Vorlesung (Deterministische Kellerautomaten, Abschlusseigenschftern kontextfreier Sprachen) |
| VL8_31_05_2011.pdf | 17-Sep-2012 01:58 | 6.0M | 8. Vorlesung (Turing Maschinen) |
| VL9_07_06_2011.pdf | 17-Sep-2012 01:58 | 6.1M | 9. Vorlesung (Berechenbarkeit) |
| VL10_14_06_2011.pdf | 17-Sep-2012 01:58 | 5.7M | 10. Vorlesung (Selbstanwendung von Turing Maschinen, Reduktionsprinzip) |
| VL11_21_06_2011.pdf | 17-Sep-2012 01:58 | 5.7M | 11. Vorlesung (Halteproblem, Satz von Rice, PCP) |
| VL12_28_06_2011.pdf | 17-Sep-2012 01:58 | 4.8M | 12. Vorlesung (Komplexitätstheorie, NP-Vollständigkeit) |
| VL13_05_07_2011.pdf | 17-Sep-2012 01:58 | 4.5M | 13. Vorlesung (SAT, 3-SAT) |
| zusammenfassung/ | 17-Sep-2012 01:58 | - | Zusammenfassungen, Whiteboard-Fotos, etc... die beim Lernen entstanden sind |
|