BEGIN:VCALENDAR
PRODID:-//SMW Project//Semantic Result Formats
VERSION:2.0
METHOD:PUBLISH
X-WR-CALNAME:ICCL-Veranstaltungen
X-WR-CALDESC:
BEGIN:VTIMEZONE
TZID:Europe/Berlin
BEGIN:DAYLIGHT
DTSTART:20210412T092000
TZOFFSETFROM:+0200
TZOFFSETTO:+0200
TZNAME:CEST
END:DAYLIGHT
END:VTIMEZONE
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: Besprechung der Musterklausur (Konsultation)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2021)#_e2dd4335876c9b164b171738fab02676
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2021)#_e2dd4335876c9b164b171738fab02676
DTSTART:20210811T164000
DTEND:20210811T181000
LOCATION:(online)
DTSTAMP:20250305T135058
SEQUENCE:41964
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: 24. Gödel\, Turing und der ganze Rest (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2021)#_9b711b33ad6b230b7b345da15fb8c6db
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2021)#_9b711b33ad6b230b7b345da15fb8c6db
DTSTART:20210722T130000
DTEND:20210722T143000
LOCATION:Video
DTSTAMP:20250305T135058
SEQUENCE:41964
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: Bachelor-How-To (ein Service des iFSR) (Seminar)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2021)#_e2eb0466c881207e25fb3c10cb642141
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2021)#_e2eb0466c881207e25fb3c10cb642141
DTSTART:20210720T183000
DTEND:20210720T200000
LOCATION:Https://bbb.agdsn.de/ani-psh-pbk-7w5
DTSTAMP:20250305T135058
SEQUENCE:41964
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: 3. Konsultation (Konsultation)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2021)#_be56269d3fd76e7f956889fc0b922b7c
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2021)#_be56269d3fd76e7f956889fc0b922b7c
DTSTART:20210719T092000
DTEND:20210719T105000
LOCATION:Zoom
DTSTAMP:20250305T135058
SEQUENCE:41964
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: 23. Gödels 1. Unvollständigkeitssatz (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2021)#_ccef142b2c7cd12d2ad7bb69c3e4584f
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2021)#_ccef142b2c7cd12d2ad7bb69c3e4584f
DTSTART:20210715T130000
DTEND:20210715T143000
LOCATION:Video
DTSTAMP:20250305T135058
SEQUENCE:41964
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: 22. Datalog (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2021)#_13483c648d32dc7862118d2c8fdaebf0
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2021)#_13483c648d32dc7862118d2c8fdaebf0
DTSTART:20210712T092000
DTEND:20210712T105000
LOCATION:Video
DTSTAMP:20250305T135058
SEQUENCE:41964
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: 12. Übungsblatt (Übung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2021)#_6d72de3da447ef0128906d89efbafcb9
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2021)#_6d72de3da447ef0128906d89efbafcb9
DTSTART:20210709T233000
DTEND:20210709T235900
LOCATION:(online)
DTSTAMP:20250305T135058
SEQUENCE:41964
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: 21. Endliche Modelle und Datenbanken (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2021)#_ae5fbca6e4263be0c54391242f4d1494
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2021)#_ae5fbca6e4263be0c54391242f4d1494
DTSTART:20210708T130000
DTEND:20210708T143000
LOCATION:Video
DTSTAMP:20250305T135058
SEQUENCE:41964
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: 20. Resolution (2) (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2021)#_520d78f1562a078a8792e9942338ebdc
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2021)#_520d78f1562a078a8792e9942338ebdc
DTSTART:20210705T092000
DTEND:20210705T105000
LOCATION:Video
DTSTAMP:20250305T135058
SEQUENCE:41964
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: 11. Übungsblatt (Übung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2021)#_87ffc46ceb5ae6c4e1e673e3eaab61a4
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2021)#_87ffc46ceb5ae6c4e1e673e3eaab61a4
DTSTART:20210702T233000
DTEND:20210702T235900
LOCATION:(online)
DTSTAMP:20250305T135058
SEQUENCE:41964
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: 19. Resolution (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2021)#_11e99a114a110b7740ceeb95a462ce0c
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2021)#_11e99a114a110b7740ceeb95a462ce0c
DTSTART:20210701T130000
DTEND:20210701T143000
LOCATION:Video
DTSTAMP:20250305T135058
SEQUENCE:41964
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: 18. Unifikation (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2021)#_47445251dfb1004a73c19c1656df837b
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2021)#_47445251dfb1004a73c19c1656df837b
DTSTART:20210628T092000
DTEND:20210628T105000
LOCATION:Video
DTSTAMP:20250305T135058
SEQUENCE:41964
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: 10. Übungsblatt (Übung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2021)#_2f35ca236dc54e0165c973d9e14623f9
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2021)#_2f35ca236dc54e0165c973d9e14623f9
DTSTART:20210625T233000
DTEND:20210625T235900
LOCATION:(online)
DTSTAMP:20250305T135058
SEQUENCE:41964
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: 17. Funktionen und Normalformen (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2021)#_6b8c25e26eabc9a9d3ef1ce86ed7b055
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2021)#_6b8c25e26eabc9a9d3ef1ce86ed7b055
DTSTART:20210624T130000
DTEND:20210624T143000
LOCATION:Video
DTSTAMP:20250305T135058
SEQUENCE:41964
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: 16. Logisches Schließen (2) (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2021)#_3824f5ab3d5b286afe8df8ed3b930634
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2021)#_3824f5ab3d5b286afe8df8ed3b930634
DTSTART:20210621T092000
DTEND:20210621T105000
LOCATION:Video
DTSTAMP:20250305T135058
SEQUENCE:41964
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: 9. Übungsblatt (Übung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2021)#_27490ab2ac525c0336b962b6a74a2c79
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2021)#_27490ab2ac525c0336b962b6a74a2c79
DTSTART:20210618T233000
DTEND:20210618T235900
LOCATION:(online)
DTSTAMP:20250305T135058
SEQUENCE:41964
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: 15. Logisches Schließen (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2021)#_df68a81f4973fdf0e622dbfc3a64d1d3
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2021)#_df68a81f4973fdf0e622dbfc3a64d1d3
DTSTART:20210617T130000
DTEND:20210617T143000
LOCATION:Video
DTSTAMP:20250305T135058
SEQUENCE:41964
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: 14. Modelltheorie und logisches Schließen (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2021)#_5f10f742d10b3d722cb60c6b0ee879b0
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2021)#_5f10f742d10b3d722cb60c6b0ee879b0
DTSTART:20210614T092000
DTEND:20210614T105000
LOCATION:Video
DTSTAMP:20250305T135058
SEQUENCE:41964
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: 8. Übungsblatt (Übung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2021)#_b4089e0c239d4af081554b065dd1ce95
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2021)#_b4089e0c239d4af081554b065dd1ce95
DTSTART:20210611T233000
DTEND:20210611T235900
LOCATION:(online)
DTSTAMP:20250305T135058
SEQUENCE:41964
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: 13. Prädikatenlogik: Syntax und Semantik (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2021)#_8ceac6cb2fac8620d6e09130050d86f8
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2021)#_8ceac6cb2fac8620d6e09130050d86f8
DTSTART:20210610T130000
DTEND:20210610T143000
LOCATION:Video
DTSTAMP:20250305T135058
SEQUENCE:41964
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: 2. Konsultation (Konsultation)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2021)#_6342db87677aae16cc8c764eb6993f57
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2021)#_6342db87677aae16cc8c764eb6993f57
DTSTART:20210607T092000
DTEND:20210607T105000
LOCATION:Zoom
DTSTAMP:20250305T135058
SEQUENCE:41964
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: 7. Übungsblatt (Übung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2021)#_657303ce45b9ce33c9210aa970406bab
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2021)#_657303ce45b9ce33c9210aa970406bab
DTSTART:20210604T233000
DTEND:20210604T235900
LOCATION:APB E005
DTSTAMP:20250305T135058
SEQUENCE:41964
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: 12. PSpace-Vollständigkeit (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2021)#_7c0a66803c887dd01077e2973a5f66d4
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2021)#_7c0a66803c887dd01077e2973a5f66d4
DTSTART:20210603T130000
DTEND:20210603T143000
LOCATION:Video
DTSTAMP:20250305T135058
SEQUENCE:41964
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: 11. NL und PSpace (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2021)#_bfe2c88526317e07ab14cb87315f7428
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2021)#_bfe2c88526317e07ab14cb87315f7428
DTSTART:20210531T092000
DTEND:20210531T105000
LOCATION:Video
DTSTAMP:20250305T135058
SEQUENCE:41964
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: Pfingstferien (Entfällt)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2021)#_f320b79de6dc81e87d5861811e4744b9
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2021)#_f320b79de6dc81e87d5861811e4744b9
DTSTART:20210527T130000
DTEND:20210527T143000
LOCATION:-
DTSTAMP:20250305T135058
SEQUENCE:41964
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: Pfingstferien (Entfällt)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2021)#_00f25d53338f28320b42960f86e2700a
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2021)#_00f25d53338f28320b42960f86e2700a
DTSTART:20210524T092000
DTEND:20210524T105000
LOCATION:-
DTSTAMP:20250305T135058
SEQUENCE:41964
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: 6. Übungsblatt (Übung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2021)#_161b83c059f0b32f801e078ed10721dd
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2021)#_161b83c059f0b32f801e078ed10721dd
DTSTART:20210521T233000
DTEND:20210521T235900
LOCATION:APB E005
DTSTAMP:20250305T135058
SEQUENCE:41964
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: 10. NP\, Teil 2 (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2021)#_6ce38ef025fa9e140a7ca027f6dfbc5a
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2021)#_6ce38ef025fa9e140a7ca027f6dfbc5a
DTSTART:20210520T130000
DTEND:20210520T143000
LOCATION:Video
DTSTAMP:20250305T135058
SEQUENCE:41964
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: 5. Übungsblatt (Übung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2021)#_08a70af5a5e9977f9c9092a5ff694385
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2021)#_08a70af5a5e9977f9c9092a5ff694385
DTSTART:20210517T233000
DTEND:20210517T235900
LOCATION:(online)
DTSTAMP:20250305T135058
SEQUENCE:41964
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: 9. NP und NP-Vollständigkeit (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2021)#_9c708b4ee18e80bea74cd53ce28d5cde
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2021)#_9c708b4ee18e80bea74cd53ce28d5cde
DTSTART:20210517T092000
DTEND:20210517T105000
LOCATION:Video
DTSTAMP:20250305T135058
SEQUENCE:41964
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: Himmelfahrt (Entfällt)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2021)#_08160baae65af5fbc356991547e76642
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2021)#_08160baae65af5fbc356991547e76642
DTSTART:20210513T130000
DTEND:20210513T143000
LOCATION:-
DTSTAMP:20250305T135058
SEQUENCE:41964
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: 8. Beziehungen zwischen Komplexitätsklassen / Effizient lösbare Probleme (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2021)#_78543af7da469fb1e54add42b1a5776a
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2021)#_78543af7da469fb1e54add42b1a5776a
DTSTART:20210510T092000
DTEND:20210510T105000
LOCATION:Video
DTSTAMP:20250305T135058
SEQUENCE:41964
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: 4. Übungsblatt (Übung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2021)#_f4181f4d55e50a001cd96ddd0979ba43
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2021)#_f4181f4d55e50a001cd96ddd0979ba43
DTSTART:20210507T233000
DTEND:20210507T235900
LOCATION:(online)
DTSTAMP:20250305T135058
SEQUENCE:41964
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: 7. Einführung in die Komplexitätstheorie (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2021)#_5eeb4603a33e15958c8f87a071bc28a6
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2021)#_5eeb4603a33e15958c8f87a071bc28a6
DTSTART:20210506T130000
DTEND:20210506T143000
LOCATION:Video
DTSTAMP:20250305T135058
SEQUENCE:41964
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: 1. Konsultation (Konsultation)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2021)#_8f04a17e6ebce06610875fcd7fbba08c
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2021)#_8f04a17e6ebce06610875fcd7fbba08c
DTSTART:20210503T092000
DTEND:20210503T105000
LOCATION:Zoom
DTSTAMP:20250305T135058
SEQUENCE:41964
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: 3. Übungsblatt (Übung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2021)#_d179388a6b9eacb9aa1fa75bad7d7c22
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2021)#_d179388a6b9eacb9aa1fa75bad7d7c22
DTSTART:20210430T233000
DTEND:20210430T235900
LOCATION:(online)
DTSTAMP:20250305T135058
SEQUENCE:41964
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: 6. Unentscheidbare Probleme formaler Sprachen (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2021)#_5f3044d011dc3bd3fe9a3e00a1f48b9b
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2021)#_5f3044d011dc3bd3fe9a3e00a1f48b9b
DTSTART:20210429T130000
DTEND:20210429T143000
LOCATION:Video
DTSTAMP:20250305T135058
SEQUENCE:41964
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: 5. Der Satz von Rice/Das Postsche Korrespondenzproblem (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2021)#_21c5fee5484eb9b5a98cabe23bad7879
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2021)#_21c5fee5484eb9b5a98cabe23bad7879
DTSTART:20210426T092000
DTEND:20210426T105000
LOCATION:Video
DTSTAMP:20250305T135058
SEQUENCE:41964
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: 2. Übungsblatt (Übung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2021)#_c517dfd2fffe662d42731edf7e05275c
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2021)#_c517dfd2fffe662d42731edf7e05275c
DTSTART:20210423T233000
DTEND:20210423T235900
LOCATION:(online)
DTSTAMP:20250305T135058
SEQUENCE:41964
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: 4. Das Halteproblem und Reduktionen (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2021)#_f74b8c60185715e5a5a6095a902c8b28
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2021)#_f74b8c60185715e5a5a6095a902c8b28
DTSTART:20210422T130000
DTEND:20210422T143000
LOCATION:Video
DTSTAMP:20250305T135058
SEQUENCE:41964
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: 3. WHILE und LOOP (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2021)#_780899983b8bce815972d7dff303d9fb
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2021)#_780899983b8bce815972d7dff303d9fb
DTSTART:20210419T092000
DTEND:20210419T105000
LOCATION:Video
DTSTAMP:20250305T135058
SEQUENCE:41964
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: 1. Übungsblatt (Übung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2021)#_2d4e9e969fa8d3d00f8ed005c1a3b492
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2021)#_2d4e9e969fa8d3d00f8ed005c1a3b492
DTSTART:20210416T233000
DTEND:20210416T235900
LOCATION:(online)
DTSTAMP:20250305T135058
SEQUENCE:41964
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: 2. Berechenbarkeit und Unentscheidbarkeit (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2021)#_c88df8ef83c224c48544ab02cd617909
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2021)#_c88df8ef83c224c48544ab02cd617909
DTSTART:20210415T130000
DTEND:20210415T143000
LOCATION:Video
DTSTAMP:20250305T135058
SEQUENCE:41964
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: 1. Einleitung und Motivation (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2021)#_da15b3fc525bb8fa14a3ebb5cb91758e
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2021)#_da15b3fc525bb8fa14a3ebb5cb91758e
DTSTART:20210412T092000
DTEND:20210412T105000
LOCATION:Video
DTSTAMP:20250305T135058
SEQUENCE:41964
END:VEVENT
END:VCALENDAR