Archiv Ehemaliger LS 1: Theoretische Informatik
Thema | Antworten | Aufrufe | Aktivität | |
---|---|---|---|---|
About the Ehemaliger LS 1: Theoretische Informatik category
|
0 | 776 | 20. Dezember 2022 | |
Lambda-Kalkül-Vorlesung
|
5 | 27942 | 15. Oktober 2009 | |
P=NP
|
2 | 6600 | 2. April 2009 | |
Tableau-Verfahren auch Beweis für Erfüllbarkeit (ohne gleichzeitig Tautologie)
|
1 | 7638 | 5. März 2009 | |
Backprobagation
|
16 | 12714 | 30. Juli 2008 | |
Algorithmen und Datenstrukturen
|
21 | 14821 | 18. Juni 2008 | |
Liegt das Vierfarbenproblem in NP
|
28 | 17370 | 12. Februar 2008 | |
Leeb
|
9 | 7850 | 3. Februar 2007 | |
Herzlichen Glückwunsch!
|
9 | 15145 | 20. Januar 2007 | |
Hauptseminar: Perlen der Theoretischen Informatik
|
3 | 6484 | 23. Oktober 2006 | |
Vorlesung Information, Codierung, Komplexität - Geht jemand hin?
|
5 | 7376 | 19. Oktober 2006 | |
Deskriptive Komplexität und endliche Modelltheorie
|
3 | 6993 | 17. Oktober 2006 | |
schwache teilsysteme anyone?
|
7 | 8092 | 13. April 2005 | |
Wer nimmt das noch?!
|
18 | 14365 | 3. April 2005 |