Benutzerbeiträge von „Stephan Mennicke“

17. April 2026

• 08:2208:22, 17. Apr. 2026 Unterschied Versionen 0 Datei:TheoLog2026-Uebung-01.pdf Stephan Mennicke lud eine neue Version von Datei:TheoLog2026-Uebung-01.pdf hoch aktuell

14. April 2026

• 04:5704:57, 14. Apr. 2026 Unterschied Versionen +703 Theoretische Informatik und Logik (SS2026) Z3 und Blatt 1
• 04:5704:57, 14. Apr. 2026 Unterschied Versionen 0 N Datei:TheoLog2026-Uebung-01.pdf Keine Bearbeitungszusammenfassung

13. April 2026

• 09:4809:48, 13. Apr. 2026 Unterschied Versionen +285 Formale Systeme (WS2025) Klausureinsicht 2026 aktuell

9. April 2026

• 12:1212:12, 9. Apr. 2026 Unterschied Versionen −700 Theoretische Informatik und Logik (SS2026) Einschreibungen

30. März 2026

• 11:0311:03, 30. Mär. 2026 Unterschied Versionen +46 Projekte und Studienarbeiten Wissensbasierte Systeme new project modules (>2025) aktuell
• 08:2408:24, 30. Mär. 2026 Unterschied Versionen −946 Projekte und Studienarbeiten Wissensbasierte Systeme Keine Bearbeitungszusammenfassung
• 08:2408:24, 30. Mär. 2026 Unterschied Versionen +1.271 Projekte und Studienarbeiten Wissensbasierte Systeme new modules table

19. März 2026

• 11:3111:31, 19. Mär. 2026 Unterschied Versionen +363 Projekte und Studienarbeiten Wissensbasierte Systeme prepared new modules
• 08:3108:31, 19. Mär. 2026 Unterschied Versionen +10.486 N Theoretische Informatik und Logik (SS2026) created TheoLog 2026 landing page
• 07:5307:53, 19. Mär. 2026 Unterschied Versionen +74 Projekte und Studienarbeiten Wissensbasierte Systeme added default modules

12. März 2026

• 15:4915:49, 12. Mär. 2026 Unterschied Versionen +28 Techreport3053 added PDF aktuell
• 15:4915:49, 12. Mär. 2026 Unterschied Versionen 0 N Datei:Arxiv TPLP N3.pdf Keine Bearbeitungszusammenfassung aktuell
• 12:3112:31, 12. Mär. 2026 Unterschied Versionen +139 Projekte und Studienarbeiten Wissensbasierte Systeme Keine Bearbeitungszusammenfassung

27. Februar 2026

• 09:3309:33, 27. Feb. 2026 Unterschied Versionen +75 Article3108 Keine Bearbeitungszusammenfassung

26. Februar 2026

• 19:4319:43, 26. Feb. 2026 Unterschied Versionen +109 Formale Systeme (WS2025) Keine Bearbeitungszusammenfassung

23. Februar 2026

• 10:4110:41, 23. Feb. 2026 Unterschied Versionen −4 Formale Systeme (WS2025) Keine Bearbeitungszusammenfassung
• 10:4110:41, 23. Feb. 2026 Unterschied Versionen +1 Formale Systeme (WS2025) Keine Bearbeitungszusammenfassung
• 10:4010:40, 23. Feb. 2026 Unterschied Versionen +61 Formale Systeme (WS2025) Namen zu Räumen für schriftl. Prüfung

11. Februar 2026

• 08:2708:27, 11. Feb. 2026 Unterschied Versionen +32 Formale Systeme (WS2025) Probeklausur slides
• 08:2708:27, 11. Feb. 2026 Unterschied Versionen 0 N Datei:FS2025-Probeklausur-Slides.pdf Keine Bearbeitungszusammenfassung aktuell

5. Februar 2026

• 05:2705:27, 5. Feb. 2026 Unterschied Versionen +37 Formale Systeme (WS2025) 2nd repetitorium
• 05:2605:26, 5. Feb. 2026 Unterschied Versionen 0 N Datei:FS2025-Repetitorium-02.pdf Keine Bearbeitungszusammenfassung aktuell

2. Februar 2026

• 12:2412:24, 2. Feb. 2026 Unterschied Versionen +314 Formale Systeme (WS2025) Lernräume

30. Januar 2026

• 14:1014:10, 30. Jan. 2026 Unterschied Versionen +738 Formale Systeme (WS2025) Klausurinfo

29. Januar 2026

• 10:0510:05, 29. Jan. 2026 Unterschied Versionen +34 Formale Systeme (WS2025) Upload Probeklausur
• 10:0510:05, 29. Jan. 2026 Unterschied Versionen 0 N Datei:FS2025-Probeklausur.pdf Keine Bearbeitungszusammenfassung aktuell

28. Januar 2026

• 07:4507:45, 28. Jan. 2026 Unterschied Versionen +33 Complexity Theory (WS2025) uploaded 11.5 slides
• 07:4407:44, 28. Jan. 2026 Unterschied Versionen 0 N Datei:CT2025-Exercise-11-5-slides.pdf Keine Bearbeitungszusammenfassung aktuell

27. Januar 2026

• 09:2809:28, 27. Jan. 2026 Unterschied Versionen +251 Complexity Theory (WS2025) lectures 24-26 and exercise 11
• 09:2709:27, 27. Jan. 2026 Unterschied Versionen 0 N Datei:CT2025-Exercise-11.pdf Keine Bearbeitungszusammenfassung aktuell
• 09:2709:27, 27. Jan. 2026 Unterschied Versionen 0 N Datei:CT2025-Lecture-26-print.pdf Keine Bearbeitungszusammenfassung aktuell
• 09:2609:26, 27. Jan. 2026 Unterschied Versionen 0 N Datei:CT2025-Lecture-26-overlay.pdf Keine Bearbeitungszusammenfassung aktuell
• 09:2609:26, 27. Jan. 2026 Unterschied Versionen 0 N Datei:CT2025-Lecture-25-print.pdf Keine Bearbeitungszusammenfassung aktuell
• 09:2609:26, 27. Jan. 2026 Unterschied Versionen 0 N Datei:CT2025-Lecture-25-overlay.pdf Keine Bearbeitungszusammenfassung aktuell
• 09:2609:26, 27. Jan. 2026 Unterschied Versionen 0 N Datei:CT2025-Lecture-24-print.pdf Keine Bearbeitungszusammenfassung aktuell
• 09:2609:26, 27. Jan. 2026 Unterschied Versionen 0 N Datei:CT2025-Lecture-24-overlay.pdf Keine Bearbeitungszusammenfassung aktuell

26. Januar 2026

• 11:1411:14, 26. Jan. 2026 Unterschied Versionen +146 Formale Systeme (WS2025) Blatt 14
• 11:1411:14, 26. Jan. 2026 Unterschied Versionen 0 N Datei:FS2025-Blatt-14.pdf Keine Bearbeitungszusammenfassung aktuell

19. Januar 2026

• 11:4811:48, 19. Jan. 2026 Unterschied Versionen +146 Formale Systeme (WS2025) Blatt 13
• 11:4811:48, 19. Jan. 2026 Unterschied Versionen 0 N Datei:FS2025-Blatt-13.pdf Keine Bearbeitungszusammenfassung aktuell

13. Januar 2026

• 16:0816:08, 13. Jan. 2026 Unterschied Versionen +146 Formale Systeme (WS2025) Blatt 12
• 16:0816:08, 13. Jan. 2026 Unterschied Versionen 0 N Datei:FS2025-Blatt-12.pdf Keine Bearbeitungszusammenfassung aktuell

12. Januar 2026

• 13:0713:07, 12. Jan. 2026 Unterschied Versionen +29 Complexity Theory (WS2025) sheet no. 9
• 13:0713:07, 12. Jan. 2026 Unterschied Versionen 0 N Datei:CT2025-Exercise-09.pdf Keine Bearbeitungszusammenfassung aktuell

6. Januar 2026

• 16:0416:04, 6. Jan. 2026 Unterschied Versionen 0 Datei:FS2025-Blatt-11.pdf Stephan Mennicke lud eine neue Version von Datei:FS2025-Blatt-11.pdf hoch aktuell
• 15:4415:44, 6. Jan. 2026 Unterschied Versionen 0 Datei:FS2025-Blatt-11.pdf Stephan Mennicke lud eine neue Version von Datei:FS2025-Blatt-11.pdf hoch
• 13:4613:46, 6. Jan. 2026 Unterschied Versionen +146 Formale Systeme (WS2025) Blatt 11
• 13:4513:45, 6. Jan. 2026 Unterschied Versionen 0 N Datei:FS2025-Blatt-11.pdf Keine Bearbeitungszusammenfassung
• 10:2210:22, 6. Jan. 2026 Unterschied Versionen +33 Complexity Theory (WS2025) Keine Bearbeitungszusammenfassung