Benutzerbeiträge von „Stephan Mennicke“

27. Juni 2024

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

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 aktuell

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

26. April 2024

• 08:5508:55, 26. Apr. 2024 Unterschied Versionen +13 Bytes‎ Concurrency Theory (SS2024) ‎ exercise sheet #2
• 08:5408:54, 26. Apr. 2024 Unterschied Versionen 0 Bytes‎ N Datei:CONCUR24-E02-fixedpoints.pdf ‎Keine Bearbeitungszusammenfassung aktuell

24. April 2024

• 11:0311:03, 24. Apr. 2024 Unterschied Versionen 0 Bytes‎ Datei:CONCUR24-04-directstyle.pdf ‎ Stephan Mennicke lud eine neue Version von Datei:CONCUR24-04-directstyle.pdf hoch aktuell
• 11:0011:00, 24. Apr. 2024 Unterschied Versionen −2 Bytes‎ Concurrency Theory (SS2024) ‎ mild change

23. April 2024

• 09:1309:13, 23. Apr. 2024 Unterschied Versionen +38 Bytes‎ Concurrency Theory (SS2024) ‎ upload slides (jbl)
• 09:1209:12, 23. Apr. 2024 Unterschied Versionen 0 Bytes‎ N Datei:CONCUR24-04-directstyle.pdf ‎Keine Bearbeitungszusammenfassung

22. April 2024

• 14:5014:50, 22. Apr. 2024 Unterschied Versionen +65 Bytes‎ Formale Systeme (WS2023) ‎Keine Bearbeitungszusammenfassung
• 14:4714:47, 22. Apr. 2024 Unterschied Versionen +58 Bytes‎ Formale Systeme (WS2023) ‎Keine Bearbeitungszusammenfassung
• 14:4614:46, 22. Apr. 2024 Unterschied Versionen +284 Bytes‎ Formale Systeme (WS2023) ‎ Klausureinsicht