Tabs
Courses
Advanced Mechanized Reasoning in Coq
Vorlesung mit Übung, AMeRiCo, 4 SWS, Deutsch oder English
Winter 2023/24:
|
| » campo
To access this item you need to be logged in and to have appropriate permissions.
To access this item you need to be logged in and to have appropriate permissions.
Algebra des Programmierens
Vorlesung mit Übung, AlgProg, 4 SWS, Deutsch,
Di 16:15 - 17:45, 00.131-128 (Cauerstr. 11),
Mi 10:15 - 11:45, 01.255-128 (Cauerstr. 11)
Registration Period: No Registration Possible
Maximum participants:16 Free Places: 1
Winter 2023/24: | | » campo
To access this item you need to be logged in and to have appropriate permissions.
Maximum participants:16 Free Places: 1
Winter 2023/24: | | » campo
To access this item you need to be logged in and to have appropriate permissions.
Algebraische und Logische Aspekte der Automatentheorie
Seminar, ALoA, 2 SWS, Deutsch, Do 8:30 - 10:00 Uhr, 00.131-128 (Cauerstr. 11)
Registration Period: No Registration Possible
Maximum participants:16 Free Places: 9
Winter 2023/24: | | » campo
To access this item you need to be logged in and to have appropriate permissions.
Maximum participants:16 Free Places: 9
Winter 2023/24: | | » campo
To access this item you need to be logged in and to have appropriate permissions.
Beschreibungslogik und formale Ontologien
Vorlesung mit Übung, DL, 4 SWS, Deutsch oder Englisch. Zulassung zum StudOn-Kurs erfolgt manuell im Laufe der ersten Vorlesungswoche.
Status: Offline
Registration Period: No Registration Possible
Period of Event: 16. Oct 2023 - 9. Feb 2024
Availability: 25. Sep 2023, 11:05 - 30. Sep 2024, 11:10
Winter 2023/24: | | » campo
To access this item you need to be logged in and to have appropriate permissions.
Registration Period: No Registration Possible
Period of Event: 16. Oct 2023 - 9. Feb 2024
Availability: 25. Sep 2023, 11:05 - 30. Sep 2024, 11:10
Winter 2023/24: | | » campo
To access this item you need to be logged in and to have appropriate permissions.
Formale Verifikation
Vorlesung mit Übung, FV, 4 SWS, Deutsch oder Englisch
Winter 2023/24:
|
| » campo
To access this item you need to be logged in and to have appropriate permissions.
To access this item you need to be logged in and to have appropriate permissions.
Intensivübung zu Grundlagen der Logik in der Informatik
Übung, InUeGLoIn, 2 SWS, Deutsch
Winter 2023/24:
|
| » campo
To access this item you need to be logged in and to have appropriate permissions.
To access this item you need to be logged in and to have appropriate permissions.
Seminar Theoretische Informatik
Hauptseminar, ThInfSem, 2 SWS, Deutsch
Status: Offline
Registration Period: No Registration Possible
Period of Event: 17. Oct 2023 - 19. Feb 2024
Availability: 25. Sep 2023, 11:00 - 30. Sep 2024, 11:00
Winter 2023/24: | | » campo
To access this item you need to be logged in and to have appropriate permissions.
Registration Period: No Registration Possible
Period of Event: 17. Oct 2023 - 19. Feb 2024
Availability: 25. Sep 2023, 11:00 - 30. Sep 2024, 11:00
Winter 2023/24: | | » campo
To access this item you need to be logged in and to have appropriate permissions.
Übungen zu Grundlagen der Logik in der Informatik
Übung, UeGLoIn
Winter 2023/24:
|
| » campo
To access this item you need to be logged in and to have appropriate permissions.
To access this item you need to be logged in and to have appropriate permissions.