Reiter
Kurse
Advanced Mechanized Reasoning in Coq
Vorlesung mit Übung, AMeRiCo, 4 SWS, Deutsch oder English
Winter 2023/24:
|
| » campo
Um dieses Objekt zu nutzen, müssen Sie angemeldet sein und entsprechende Zugriffsrechte besitzen.
Um dieses Objekt zu nutzen, müssen Sie angemeldet sein und entsprechende Zugriffsrechte besitzen.
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)
Anmeldungszeitraum: Keine Anmeldung möglich
Maximale Teilnehmeranzahl:16 Freie Plätze: 1
Winter 2023/24: | | » campo
Um dieses Objekt zu nutzen, müssen Sie angemeldet sein und entsprechende Zugriffsrechte besitzen.
Maximale Teilnehmeranzahl:16 Freie Plätze: 1
Winter 2023/24: | | » campo
Um dieses Objekt zu nutzen, müssen Sie angemeldet sein und entsprechende Zugriffsrechte besitzen.
Algebraische und Logische Aspekte der Automatentheorie
Seminar, ALoA, 2 SWS, Deutsch, Do 8:30 - 10:00 Uhr, 00.131-128 (Cauerstr. 11)
Anmeldungszeitraum: Keine Anmeldung möglich
Maximale Teilnehmeranzahl:16 Freie Plätze: 9
Winter 2023/24: | | » campo
Um dieses Objekt zu nutzen, müssen Sie angemeldet sein und entsprechende Zugriffsrechte besitzen.
Maximale Teilnehmeranzahl:16 Freie Plätze: 9
Winter 2023/24: | | » campo
Um dieses Objekt zu nutzen, müssen Sie angemeldet sein und entsprechende Zugriffsrechte besitzen.
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
Anmeldungszeitraum: Keine Anmeldung möglich
Veranstaltungszeitraum: 16. Okt 2023 - 9. Feb 2024
Verfügbarkeit: 25. Sep 2023, 11:05 - 30. Sep 2024, 11:10
Winter 2023/24: | | » campo
Um dieses Objekt zu nutzen, müssen Sie angemeldet sein und entsprechende Zugriffsrechte besitzen.
Anmeldungszeitraum: Keine Anmeldung möglich
Veranstaltungszeitraum: 16. Okt 2023 - 9. Feb 2024
Verfügbarkeit: 25. Sep 2023, 11:05 - 30. Sep 2024, 11:10
Winter 2023/24: | | » campo
Um dieses Objekt zu nutzen, müssen Sie angemeldet sein und entsprechende Zugriffsrechte besitzen.
Formale Verifikation
Vorlesung mit Übung, FV, 4 SWS, Deutsch oder Englisch
Winter 2023/24:
|
| » campo
Um dieses Objekt zu nutzen, müssen Sie angemeldet sein und entsprechende Zugriffsrechte besitzen.
Um dieses Objekt zu nutzen, müssen Sie angemeldet sein und entsprechende Zugriffsrechte besitzen.
Intensivübung zu Grundlagen der Logik in der Informatik
Übung, InUeGLoIn, 2 SWS, Deutsch
Winter 2023/24:
|
| » campo
Um dieses Objekt zu nutzen, müssen Sie angemeldet sein und entsprechende Zugriffsrechte besitzen.
Um dieses Objekt zu nutzen, müssen Sie angemeldet sein und entsprechende Zugriffsrechte besitzen.
Seminar Theoretische Informatik
Hauptseminar, ThInfSem, 2 SWS, Deutsch
Status: Offline
Anmeldungszeitraum: Keine Anmeldung möglich
Veranstaltungszeitraum: 17. Okt 2023 - 19. Feb 2024
Verfügbarkeit: 25. Sep 2023, 11:00 - 30. Sep 2024, 11:00
Winter 2023/24: | | » campo
Um dieses Objekt zu nutzen, müssen Sie angemeldet sein und entsprechende Zugriffsrechte besitzen.
Anmeldungszeitraum: Keine Anmeldung möglich
Veranstaltungszeitraum: 17. Okt 2023 - 19. Feb 2024
Verfügbarkeit: 25. Sep 2023, 11:00 - 30. Sep 2024, 11:00
Winter 2023/24: | | » campo
Um dieses Objekt zu nutzen, müssen Sie angemeldet sein und entsprechende Zugriffsrechte besitzen.
Übungen zu Grundlagen der Logik in der Informatik
Übung, UeGLoIn
Winter 2023/24:
|
| » campo
Um dieses Objekt zu nutzen, müssen Sie angemeldet sein und entsprechende Zugriffsrechte besitzen.
Um dieses Objekt zu nutzen, müssen Sie angemeldet sein und entsprechende Zugriffsrechte besitzen.