Benutzerbeiträge von „Stephan Mennicke“

22. November 2024

• 14:5514:55, 22. Nov. 2024 Unterschied Versionen 0 Bytes‎ Datei:CT2024-Exercise-05.pdf ‎ Stephan Mennicke lud eine neue Version von Datei:CT2024-Exercise-05.pdf hoch aktuell
• 14:5314:53, 22. Nov. 2024 Unterschied Versionen +33 Bytes‎ Complexity Theory (WS2024) ‎ added 6th exercise sheet
• 14:5214:52, 22. Nov. 2024 Unterschied Versionen 0 Bytes‎ N Datei:CT2024-Exercise-06.pdf ‎Keine Bearbeitungszusammenfassung aktuell

18. November 2024

• 10:0310:03, 18. Nov. 2024 Unterschied Versionen 0 Bytes‎ Complexity Theory (WS2024) ‎ Room switching glitch fixed

12. November 2024

• 12:0412:04, 12. Nov. 2024 Unterschied Versionen +457 Bytes‎ Complexity Theory (WS2024) ‎ announcement on the updated exercise schedule
• 08:5908:59, 12. Nov. 2024 Unterschied Versionen −125 Bytes‎ Complexity Theory (WS2024) ‎ schedule update

5. November 2024

• 10:5610:56, 5. Nov. 2024 Unterschied Versionen +33 Bytes‎ Complexity Theory (WS2024) ‎ exercise sheet no. 5
• 10:5610:56, 5. Nov. 2024 Unterschied Versionen 0 Bytes‎ N Datei:CT2024-Exercise-05.pdf ‎Keine Bearbeitungszusammenfassung

4. November 2024

• 08:4508:45, 4. Nov. 2024 Unterschied Versionen +66 Bytes‎ Complexity Theory (WS2024) ‎ exercise sheets
• 08:4508:45, 4. Nov. 2024 Unterschied Versionen 0 Bytes‎ N Datei:CT2024-Exercise-04.pdf ‎Keine Bearbeitungszusammenfassung aktuell
• 08:4508:45, 4. Nov. 2024 Unterschied Versionen 0 Bytes‎ N Datei:CT2024-Exercise-03.pdf ‎Keine Bearbeitungszusammenfassung aktuell

24. Oktober 2024

• 16:4816:48, 24. Okt. 2024 Unterschied Versionen −379 Bytes‎ Complexity Theory (WS2024) ‎ no news
• 16:4716:47, 24. Okt. 2024 Unterschied Versionen +65 Bytes‎ Complexity Theory (WS2024) ‎ 2nd exercise, 5th lecture
• 16:4716:47, 24. Okt. 2024 Unterschied Versionen 0 Bytes‎ N Datei:CT2024-Lecture-05-overlay.pdf ‎Keine Bearbeitungszusammenfassung aktuell
• 16:4716:47, 24. Okt. 2024 Unterschied Versionen 0 Bytes‎ N Datei:CT2024-Lecture-05-print.pdf ‎Keine Bearbeitungszusammenfassung aktuell
• 16:4616:46, 24. Okt. 2024 Unterschied Versionen 0 Bytes‎ N Datei:CT2024-Exercise-02.pdf ‎Keine Bearbeitungszusammenfassung aktuell

22. Oktober 2024

• 12:1512:15, 22. Okt. 2024 Unterschied Versionen +18 Bytes‎ Complexity Theory (WS2024) ‎ Lecture Update

20. Oktober 2024

• 18:3518:35, 20. Okt. 2024 Unterschied Versionen +20 Bytes‎ N Cyclic Proof Theory/en ‎ Page created automatically by parser function on page Cyclic Proof Theory aktuell
• 18:3518:35, 20. Okt. 2024 Unterschied Versionen +1.033 Bytes‎ N Cyclic Proof Theory ‎ Tim's invited speaker/talk aktuell

16. Oktober 2024

• 15:2315:23, 16. Okt. 2024 Unterschied Versionen +2 Bytes‎ Theoretische Informatik und Logik (SS2024) ‎Keine Bearbeitungszusammenfassung aktuell
• 15:2015:20, 16. Okt. 2024 Unterschied Versionen +83 Bytes‎ Navigating ASP Solution Spaces2 ‎ seminar cancelation
• 15:1315:13, 16. Okt. 2024 Unterschied Versionen +14 Bytes‎ Theoretische Informatik und Logik (SS2024) ‎ room info added

14. Oktober 2024

• 16:2816:28, 14. Okt. 2024 Unterschied Versionen +320 Bytes‎ Theoretische Informatik und Logik (SS2024) ‎ Klausureinsicht
• 11:3211:32, 14. Okt. 2024 Unterschied Versionen +379 Bytes‎ Complexity Theory (WS2024) ‎ poll on exercises
• 10:2710:27, 14. Okt. 2024 Unterschied Versionen +202 Bytes‎ Knowledge Graphs (WS2024) ‎ schedule update
• 09:1709:17, 14. Okt. 2024 Unterschied Versionen +33 Bytes‎ Complexity Theory (WS2024) ‎ exercise sheet 1
• 09:1609:16, 14. Okt. 2024 Unterschied Versionen 0 Bytes‎ N Datei:CT2024-Exercise-01.pdf ‎Keine Bearbeitungszusammenfassung aktuell
• 08:3208:32, 14. Okt. 2024 Unterschied Versionen +100 Bytes‎ Complexity Theory (WS2024) ‎ modules added

8. Oktober 2024

• 14:3014:30, 8. Okt. 2024 Unterschied Versionen 0 Bytes‎ Complexity Theory (WS2024) ‎ updated year(s)
• 14:2814:28, 8. Okt. 2024 Unterschied Versionen +5.676 Bytes‎ Complexity Theory (WS2024) ‎ Full Semester Schedule with updated room information
• 14:1714:17, 8. Okt. 2024 Unterschied Versionen +15 Bytes‎ Complexity Theory (WS2024) ‎ room for Mo(2)

4. Oktober 2024

• 14:4014:40, 4. Okt. 2024 Unterschied Versionen 0 Bytes‎ Navigating ASP Solution Spaces2 ‎Keine Bearbeitungszusammenfassung
• 14:3914:39, 4. Okt. 2024 Unterschied Versionen +2 Bytes‎ Navigating ASP Solution Spaces2 ‎Keine Bearbeitungszusammenfassung
• 14:3914:39, 4. Okt. 2024 Unterschied Versionen +20 Bytes‎ N Navigating ASP Solution Spaces2/en ‎ Page created automatically by parser function on page Navigating ASP Solution Spaces2 aktuell
• 14:3914:39, 4. Okt. 2024 Unterschied Versionen +1.589 Bytes‎ N Navigating ASP Solution Spaces2 ‎ announced Sarah's talk

1. Oktober 2024

• 07:2707:27, 1. Okt. 2024 Unterschied Versionen +658 Bytes‎ Complexity Theory (WS2024) ‎ first few courses (before Mo(2) room is known)

30. September 2024

• 20:5420:54, 30. Sep. 2024 Unterschied Versionen +1 Byte‎ Complexity Theory (WS2024) ‎ updated ct schedule (time on Monday; room tba)
• 13:4613:46, 30. Sep. 2024 Unterschied Versionen −18 Bytes‎ Adding Circumscription to Decidable Fragments of First-Order Logic: A Complexity Rollercoaster ‎Keine Bearbeitungszusammenfassung aktuell
• 13:4513:45, 30. Sep. 2024 Unterschied Versionen +20 Bytes‎ N Adding Circumscription to Decidable Fragments of First-Order Logic: A Complexity Rollercoaster/en ‎ Page created automatically by parser function on page Adding Circumscription to Decidable Fragments of First-Order Logic: A Complexity Rollercoaster aktuell
• 13:4513:45, 30. Sep. 2024 Unterschied Versionen +1.340 Bytes‎ N Adding Circumscription to Decidable Fragments of First-Order Logic: A Complexity Rollercoaster ‎ seminar talk on Oct 10 by Quentin Maniere
• 09:4209:42, 30. Sep. 2024 Unterschied Versionen +145 Bytes‎ Projekte und Studienarbeiten Wissensbasierte Systeme ‎ announcing winter term student topics aktuell

18. September 2024

• 08:4708:47, 18. Sep. 2024 Unterschied Versionen −6.344 Bytes‎ Complexity Theory (WS2024) ‎ temporarily removed lecture/exercise session times
• 08:4708:47, 18. Sep. 2024 Unterschied Versionen +7 Bytes‎ Complexity Theory (WS2024) ‎ hiding lecture times
• 08:2408:24, 18. Sep. 2024 Unterschied Versionen 0 Bytes‎ Complexity Theory (WS2024) ‎ rooms and times truly updated

12. September 2024

• 11:2511:25, 12. Sep. 2024 Unterschied Versionen +6.344 Bytes‎ Complexity Theory (WS2024) ‎ added dates and topics
• 10:5910:59, 12. Sep. 2024 Unterschied Versionen +16 Bytes‎ N Complexity Theory (WS2024)/en ‎ Page created automatically by parser function on page Complexity Theory (WS2024) aktuell
• 10:5910:59, 12. Sep. 2024 Unterschied Versionen +5.438 Bytes‎ N Complexity Theory (WS2024) ‎ Complexity Theory Course added

6. August 2024

• 13:0713:07, 6. Aug. 2024 Unterschied Versionen +11 Bytes‎ N HSZ/AUDI/en ‎ Page created automatically by parser function on page HSZ/AUDI aktuell
• 13:0713:07, 6. Aug. 2024 Unterschied Versionen +207 Bytes‎ N HSZ/AUDI ‎ Die Seite wurde neu angelegt: „{{Raum |Navigator URL=https://navigator.tu-dresden.de/raum/136101.0400 |Beschreibung DE=Audimax der TU Dresden mit insgesamt 892 Plätzen |Beschreibung EN=Auditorium of TU Dresden with 892 seats in total. }}“ aktuell
• 13:0413:04, 6. Aug. 2024 Unterschied Versionen +13 Bytes‎ Theoretische Informatik und Logik (SS2024) ‎ Klausur Ort und Zeit