Benutzerbeiträge von „Stephan Mennicke“
Aus International Center for Computational Logic
Ergebnisse für Stephan Mennicke Diskussion Sperr-Logbuch hochgeladene Dateien Logbücher
Ein Benutzer mit 1.008 Bearbeitungen. Das Konto wurde am 11. Mai 2020 erstellt.
19. Dezember 2025
- 09:1809:18, 19. Dez. 2025 Unterschied Versionen +37 Formale Systeme (WS2025) first repetitorium aktuell
- 09:1809:18, 19. Dez. 2025 Unterschied Versionen 0 N Datei:FS2025-Repetitorium-01.pdf Keine Bearbeitungszusammenfassung aktuell
17. Dezember 2025
- 10:2310:23, 17. Dez. 2025 Unterschied Versionen −90 Knowledge Graphs (WS2025) oral exam
- 10:1810:18, 17. Dez. 2025 Unterschied Versionen −68 Complexity Theory (WS2025) Oral exam note
- 07:1107:11, 17. Dez. 2025 Unterschied Versionen +8 Inproceedings3417 KIMEDS added aktuell
- 07:1107:11, 17. Dez. 2025 Unterschied Versionen +8 Inproceedings3429 KIMEDS added aktuell
15. Dezember 2025
- 22:4022:40, 15. Dez. 2025 Unterschied Versionen +115 Complexity Theory (WS2025) lecture slide decks on circuit complexity classes
- 22:3922:39, 15. Dez. 2025 Unterschied Versionen 0 N Datei:CT2025-Lecture-19-print.pdf Keine Bearbeitungszusammenfassung aktuell
- 22:3922:39, 15. Dez. 2025 Unterschied Versionen 0 N Datei:CT2025-Lecture-19-overlay.pdf Keine Bearbeitungszusammenfassung aktuell
- 22:3922:39, 15. Dez. 2025 Unterschied Versionen 0 N Datei:CT2025-Lecture-18-print.pdf Keine Bearbeitungszusammenfassung aktuell
- 22:3922:39, 15. Dez. 2025 Unterschied Versionen 0 N Datei:CT2025-Lecture-18-overlay.pdf Keine Bearbeitungszusammenfassung aktuell
- 11:2111:21, 15. Dez. 2025 Unterschied Versionen −3 Formale Systeme (WS2025) Keine Bearbeitungszusammenfassung
- 11:2111:21, 15. Dez. 2025 Unterschied Versionen +149 Formale Systeme (WS2025) Blatt 10
- 11:2111:21, 15. Dez. 2025 Unterschied Versionen 0 N Datei:FS2025-Blatt-10.pdf Keine Bearbeitungszusammenfassung aktuell
8. Dezember 2025
- 16:1016:10, 8. Dez. 2025 Unterschied Versionen +33 Complexity Theory (WS2025) exercise no. 7
- 16:1016:10, 8. Dez. 2025 Unterschied Versionen 0 N Datei:CT2025-Exercise-07.pdf Keine Bearbeitungszusammenfassung aktuell
- 14:2114:21, 8. Dez. 2025 Unterschied Versionen +145 Formale Systeme (WS2025) Blatt 9
- 14:2114:21, 8. Dez. 2025 Unterschied Versionen 0 N Datei:FS2025-Blatt-09.pdf Keine Bearbeitungszusammenfassung aktuell
2. Dezember 2025
- 09:0209:02, 2. Dez. 2025 Unterschied Versionen +145 Formale Systeme (WS2025) sheet 8
- 09:0209:02, 2. Dez. 2025 Unterschied Versionen 0 N Datei:FS2025-Blatt-08.pdf Keine Bearbeitungszusammenfassung aktuell
- 06:4306:43, 2. Dez. 2025 Unterschied Versionen +102 Complexity Theory (WS2025) lecture 15 + 6th exercise sheet
- 06:4306:43, 2. Dez. 2025 Unterschied Versionen 0 N Datei:CT2025-Exercise-06.pdf Keine Bearbeitungszusammenfassung aktuell
- 06:4306:43, 2. Dez. 2025 Unterschied Versionen 0 N Datei:CT2025-Lecture-15-print.pdf Keine Bearbeitungszusammenfassung aktuell
- 06:4206:42, 2. Dez. 2025 Unterschied Versionen 0 N Datei:CT2025-Lecture-15-overlay.pdf Keine Bearbeitungszusammenfassung aktuell
25. November 2025
- 11:3611:36, 25. Nov. 2025 Unterschied Versionen +69 Complexity Theory (WS2025) slide deck 14 added
- 11:3611:36, 25. Nov. 2025 Unterschied Versionen 0 N Datei:CT2025-Lecture-14-print.pdf Keine Bearbeitungszusammenfassung aktuell
- 11:3611:36, 25. Nov. 2025 Unterschied Versionen 0 N Datei:CT2025-Lecture-14-overlay.pdf Keine Bearbeitungszusammenfassung aktuell
24. November 2025
- 12:4412:44, 24. Nov. 2025 Unterschied Versionen +145 Formale Systeme (WS2025) Blatt 7
- 12:4412:44, 24. Nov. 2025 Unterschied Versionen 0 N Datei:FS2025-Blatt-07.pdf Keine Bearbeitungszusammenfassung aktuell
18. November 2025
- 08:1708:17, 18. Nov. 2025 Unterschied Versionen +69 Complexity Theory (WS2025) lecture slides 11
- 08:1708:17, 18. Nov. 2025 Unterschied Versionen 0 N Datei:CT2025-Lecture-11-print.pdf Keine Bearbeitungszusammenfassung aktuell
- 08:1708:17, 18. Nov. 2025 Unterschied Versionen 0 N Datei:CT2025-Lecture-11-overlay.pdf Keine Bearbeitungszusammenfassung aktuell
- 08:1108:11, 18. Nov. 2025 Unterschied Versionen +145 Formale Systeme (WS2025) Blatt 6
- 08:1108:11, 18. Nov. 2025 Unterschied Versionen 0 N Datei:FS2025-Blatt-06.pdf Keine Bearbeitungszusammenfassung aktuell
17. November 2025
- 08:2008:20, 17. Nov. 2025 Unterschied Versionen +19 Complexity Theory (WS2025) minor renaming
11. November 2025
- 10:0110:01, 11. Nov. 2025 Unterschied Versionen +153 Complexity Theory (WS2025) slides for lectures 9+10 added
- 10:0110:01, 11. Nov. 2025 Unterschied Versionen 0 N Datei:CT2025-Lecture-10-print.pdf Keine Bearbeitungszusammenfassung aktuell
- 10:0010:00, 11. Nov. 2025 Unterschied Versionen 0 N Datei:CT2025-Lecture-10-overlay.pdf Keine Bearbeitungszusammenfassung aktuell
- 10:0010:00, 11. Nov. 2025 Unterschied Versionen 0 N Datei:CT2025-Lecture-09-print.pdf Keine Bearbeitungszusammenfassung aktuell
- 10:0010:00, 11. Nov. 2025 Unterschied Versionen 0 N Datei:CT2025-Lecture-09-overlay.pdf Keine Bearbeitungszusammenfassung aktuell
10. November 2025
- 11:3611:36, 10. Nov. 2025 Unterschied Versionen +145 Formale Systeme (WS2025) Blatt 5
- 11:3511:35, 10. Nov. 2025 Unterschied Versionen 0 N Datei:FS2025-Blatt-05.pdf Keine Bearbeitungszusammenfassung aktuell
4. November 2025
- 09:3309:33, 4. Nov. 2025 Unterschied Versionen +145 Formale Systeme (WS2025) Blatt 4
- 09:3309:33, 4. Nov. 2025 Unterschied Versionen 0 N Datei:FS2025-Blatt-04.pdf Keine Bearbeitungszusammenfassung aktuell
3. November 2025
- 13:2013:20, 3. Nov. 2025 Unterschied Versionen +64 Formale Systeme (WS2025) update lecture schedule
- 13:1613:16, 3. Nov. 2025 Unterschied Versionen −67 Formale Systeme (WS2025) Update Vorlesungsplan
- 09:1309:13, 3. Nov. 2025 Unterschied Versionen +21 Larry González Keine Bearbeitungszusammenfassung aktuell
- 09:1309:13, 3. Nov. 2025 Unterschied Versionen +21 Stephan Mennicke Keine Bearbeitungszusammenfassung aktuell
2. November 2025
- 19:5919:59, 2. Nov. 2025 Unterschied Versionen +66 Complexity Theory (WS2025) exercise sheets 3+4
- 19:5919:59, 2. Nov. 2025 Unterschied Versionen 0 N Datei:CT2025-Exercise-04.pdf Keine Bearbeitungszusammenfassung aktuell