Benutzerbeiträge von „Stephan Mennicke“

17. Juli 2024

• 22:3922:39, 17. Jul. 2024 Unterschied Versionen +37 Bytes‎ Theoretische Informatik und Logik (SS2024) ‎ slides for the repetitorium aktuell
• 22:3922:39, 17. Jul. 2024 Unterschied Versionen 0 Bytes‎ N Datei:TheoLog24-Repetitorium.pdf ‎Keine Bearbeitungszusammenfassung aktuell

16. Juli 2024

• 08:1108:11, 16. Jul. 2024 Unterschied Versionen +92 Bytes‎ Concurrency Theory (SS2024) ‎ lecture slides aktuell

15. Juli 2024

• 21:5721:57, 15. Jul. 2024 Unterschied Versionen +56 Bytes‎ Concurrency Theory (SS2024) ‎Keine Bearbeitungszusammenfassung
• 21:5321:53, 15. Jul. 2024 Unterschied Versionen +62 Bytes‎ Concurrency Theory (SS2024) ‎ reschedule

8. Juli 2024

• 14:1714:17, 8. Jul. 2024 Unterschied Versionen +12 Bytes‎ Formale Systeme (WS2023) ‎Keine Bearbeitungszusammenfassung aktuell
• 14:1714:17, 8. Jul. 2024 Unterschied Versionen +902 Bytes‎ Theoretische Informatik und Logik (SS2024) ‎ Klausur, Lernräume, Probeklausur
• 13:2613:26, 8. Jul. 2024 Unterschied Versionen +773 Bytes‎ Formale Systeme (WS2023) ‎ Lernräume und Klausur

4. Juli 2024

• 08:2708:27, 4. Jul. 2024 Unterschied Versionen 0 Bytes‎ News99 ‎ minor edit aktuell

27. Juni 2024

• 14:0514:05, 27. Jun. 2024 Unterschied Versionen +143 Bytes‎ Formale Systeme (WS2023) ‎ Wdh-Klausur
• 14:0314:03, 27. Jun. 2024 Unterschied Versionen −80 Bytes‎ Theoretische Informatik und Logik (SS2024) ‎ Klausur Sommer 2024

25. Juni 2024

• 07:1307:13, 25. Jun. 2024 Unterschied Versionen −3 Bytes‎ Theoretische Informatik und Logik (SS2024) ‎Keine Bearbeitungszusammenfassung
• 07:1207:12, 25. Jun. 2024 Unterschied Versionen +434 Bytes‎ Theoretische Informatik und Logik (SS2024) ‎ exercise sheets till end of semester
• 07:1207:12, 25. Jun. 2024 Unterschied Versionen 0 Bytes‎ N Datei:TheoLog24-Uebung-12.pdf ‎Keine Bearbeitungszusammenfassung aktuell
• 07:1107:11, 25. Jun. 2024 Unterschied Versionen 0 Bytes‎ N Datei:TheoLog24-Uebung-11.pdf ‎Keine Bearbeitungszusammenfassung aktuell
• 07:1007:10, 25. Jun. 2024 Unterschied Versionen 0 Bytes‎ N Datei:TheoLog24-Uebung-10.pdf ‎Keine Bearbeitungszusammenfassung aktuell
• 06:1306:13, 25. Jun. 2024 Unterschied Versionen +80 Bytes‎ Concurrency Theory (SS2024) ‎Keine Bearbeitungszusammenfassung

18. Juni 2024

• 09:0909:09, 18. Jun. 2024 Unterschied Versionen +183 Bytes‎ Concurrency Theory (SS2024) ‎ schedule change

17. Juni 2024

• 09:1609:16, 17. Jun. 2024 Unterschied Versionen +143 Bytes‎ Theoretische Informatik und Logik (SS2024) ‎Keine Bearbeitungszusammenfassung
• 09:1209:12, 17. Jun. 2024 Unterschied Versionen 0 Bytes‎ N Datei:TheoLog24-Uebung-09.pdf ‎Keine Bearbeitungszusammenfassung aktuell
• 05:5405:54, 17. Jun. 2024 Unterschied Versionen +83 Bytes‎ Theoretische Informatik und Logik (SS2024) ‎ slides
• 05:5405:54, 17. Jun. 2024 Unterschied Versionen 0 Bytes‎ N Datei:TheoLog2024-Vorlesung-16-overlay.pdf ‎Keine Bearbeitungszusammenfassung
• 05:5405:54, 17. Jun. 2024 Unterschied Versionen 0 Bytes‎ N Datei:TheoLog2024-Vorlesung-16-print.pdf ‎Keine Bearbeitungszusammenfassung

10. Juni 2024

• 14:0514:05, 10. Jun. 2024 Unterschied Versionen +384 Bytes‎ Concurrency Theory (SS2024) ‎ added oral exam info

7. Juni 2024

• 08:1208:12, 7. Jun. 2024 Unterschied Versionen +143 Bytes‎ Theoretische Informatik und Logik (SS2024) ‎ sheet no. 8
• 08:1108:11, 7. Jun. 2024 Unterschied Versionen 0 Bytes‎ N Datei:TheoLog24-Uebung-08.pdf ‎Keine Bearbeitungszusammenfassung aktuell

4. Juni 2024

• 11:2511:25, 4. Jun. 2024 Unterschied Versionen +241 Bytes‎ Theoretische Informatik und Logik (SS2024) ‎Keine Bearbeitungszusammenfassung

30. Mai 2024

• 12:1512:15, 30. Mai 2024 Unterschied Versionen +18 Bytes‎ Theoretische Informatik und Logik (SS2024) ‎ updated schedule
• 11:2011:20, 30. Mai 2024 Unterschied Versionen −18 Bytes‎ Theoretische Informatik und Logik (SS2024) ‎Keine Bearbeitungszusammenfassung

28. Mai 2024

• 21:5921:59, 28. Mai 2024 Unterschied Versionen +52 Bytes‎ Concurrency Theory (SS2024) ‎ schedule updated
• 21:5421:54, 28. Mai 2024 Unterschied Versionen 0 Bytes‎ N Datei:CONCUR24-E05-ccs.pdf ‎Keine Bearbeitungszusammenfassung aktuell
• 21:5221:52, 28. Mai 2024 Unterschied Versionen 0 Bytes‎ N Datei:CONCUR24-07-testing.pdf ‎Keine Bearbeitungszusammenfassung aktuell
• 21:5121:51, 28. Mai 2024 Unterschied Versionen 0 Bytes‎ N Datei:05-ccs.pdf ‎Keine Bearbeitungszusammenfassung aktuell

23. Mai 2024

• 08:3908:39, 23. Mai 2024 Unterschied Versionen +143 Bytes‎ Theoretische Informatik und Logik (SS2024) ‎ Sheet #7
• 08:3908:39, 23. Mai 2024 Unterschied Versionen 0 Bytes‎ N Datei:TheoLog24-Uebung-07.pdf ‎Keine Bearbeitungszusammenfassung aktuell

14. Mai 2024

• 11:4611:46, 14. Mai 2024 Unterschied Versionen +142 Bytes‎ Theoretische Informatik und Logik (SS2024) ‎ sheet no. 6
• 11:4511:45, 14. Mai 2024 Unterschied Versionen 0 Bytes‎ N Datei:TheoLog24-Uebung06.pdf ‎Keine Bearbeitungszusammenfassung aktuell
• 09:0109:01, 14. Mai 2024 Unterschied Versionen +31 Bytes‎ Concurrency Theory (SS2024) ‎Keine Bearbeitungszusammenfassung
• 09:0009:00, 14. Mai 2024 Unterschied Versionen 0 Bytes‎ N Datei:CONCUR24-E04-sos.pdf ‎Keine Bearbeitungszusammenfassung aktuell
• 08:5908:59, 14. Mai 2024 Unterschied Versionen +14 Bytes‎ Concurrency Theory (SS2024) ‎ slides added

8. Mai 2024

• 13:5613:56, 8. Mai 2024 Unterschied Versionen +18 Bytes‎ Concurrency Theory (SS2024) ‎Keine Bearbeitungszusammenfassung
• 13:5613:56, 8. Mai 2024 Unterschied Versionen 0 Bytes‎ N Datei:CONCUR24-E03-ccpo.pdf ‎Keine Bearbeitungszusammenfassung aktuell

7. Mai 2024

• 08:5608:56, 7. Mai 2024 Unterschied Versionen +30 Bytes‎ Concurrency Theory (SS2024) ‎ structural operational semantics slides
• 08:5508:55, 7. Mai 2024 Unterschied Versionen 0 Bytes‎ N Datei:CONCUR24-05-sos.pdf ‎Keine Bearbeitungszusammenfassung aktuell

6. Mai 2024

• 12:5212:52, 6. Mai 2024 Unterschied Versionen 0 Bytes‎ Datei:TheoLog24-Uebung-05.pdf ‎ Stephan Mennicke lud eine neue Version von Datei:TheoLog24-Uebung-05.pdf hoch aktuell

5. Mai 2024

• 21:2721:27, 5. Mai 2024 Unterschied Versionen +143 Bytes‎ Theoretische Informatik und Logik (SS2024) ‎Keine Bearbeitungszusammenfassung
• 21:2721:27, 5. Mai 2024 Unterschied Versionen 0 Bytes‎ N Datei:TheoLog24-Uebung-05.pdf ‎Keine Bearbeitungszusammenfassung

3. Mai 2024

• 22:5622:56, 3. Mai 2024 Unterschied Versionen +68 Bytes‎ Concurrency Theory (SS2024) ‎ mild schedule update

29. April 2024

• 09:1209:12, 29. Apr. 2024 Unterschied Versionen +143 Bytes‎ Theoretische Informatik und Logik (SS2024) ‎ exercise no. 4
• 09:1109:11, 29. Apr. 2024 Unterschied Versionen 0 Bytes‎ N Datei:TheoLog24-Uebung-04.pdf ‎Keine Bearbeitungszusammenfassung aktuell