Reiter
Kurse
Advanced Competitive Programming
Seminar, ACP, 2 SWS, Deutsch
Status: Offline
Anmeldungszeitraum: Keine Anmeldung möglich
Maximale Teilnehmeranzahl:14 Freie Plätze: 4 Aufnahmeanträge/Warteliste: 2
Verfügbarkeit: 1. Okt 2022, 00:00 - 30. Sep 2023, 23:55
Winter 2022/23: | | » campo
Um dieses Objekt zu nutzen, müssen Sie angemeldet sein und entsprechende Zugriffsrechte besitzen.
Anmeldungszeitraum: Keine Anmeldung möglich
Maximale Teilnehmeranzahl:14 Freie Plätze: 4 Aufnahmeanträge/Warteliste: 2
Verfügbarkeit: 1. Okt 2022, 00:00 - 30. Sep 2023, 23:55
Winter 2022/23: | | » campo
Um dieses Objekt zu nutzen, müssen Sie angemeldet sein und entsprechende Zugriffsrechte besitzen.
Advanced Mechanized Reasoning in Coq
Vorlesung mit Übung, AMeRiCo, 4 SWS, English
Anmeldungszeitraum: Keine Anmeldung möglich
Winter 2022/23: | | » campo
Um dieses Objekt zu nutzen, müssen Sie angemeldet sein und entsprechende Zugriffsrechte besitzen.
Winter 2022/23: | | » campo
Um dieses Objekt zu nutzen, müssen Sie angemeldet sein und entsprechende Zugriffsrechte besitzen.
Grundlagen der Logik in der Informatik
Vorlesung, GLoIn, 2 SWS, Deutsch
Status: Offline
Veranstaltungszeitraum: 17. Okt 2022 - 15. Apr 2023
Verfügbarkeit: 1. Sep 2022, 11:20 - 31. Dez 2023, 11:20
Winter 2022/23: | | » campo
Um dieses Objekt zu nutzen, müssen Sie angemeldet sein und entsprechende Zugriffsrechte besitzen.
Veranstaltungszeitraum: 17. Okt 2022 - 15. Apr 2023
Verfügbarkeit: 1. Sep 2022, 11:20 - 31. Dez 2023, 11:20
Winter 2022/23: | | » campo
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 2022/23:
|
| » 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.
Kommunikation und Parallele Prozesse
Vorlesung mit Übung, KommPar, 4 SWS, Deutsch
Status: Offline
Anmeldungszeitraum: Keine Anmeldung möglich
Veranstaltungszeitraum: 17. Okt 2022 - 31. Mär 2023
Verfügbarkeit: 1. Sep 2022, 00:00 - 30. Sep 2023, 00:00
Winter 2022/23: | | » campo
Um dieses Objekt zu nutzen, müssen Sie angemeldet sein und entsprechende Zugriffsrechte besitzen.
Anmeldungszeitraum: Keine Anmeldung möglich
Veranstaltungszeitraum: 17. Okt 2022 - 31. Mär 2023
Verfügbarkeit: 1. Sep 2022, 00:00 - 30. Sep 2023, 00:00
Winter 2022/23: | | » campo
Um dieses Objekt zu nutzen, müssen Sie angemeldet sein und entsprechende Zugriffsrechte besitzen.
Seminar Theoretische Informatik
Hauptseminar, ThInfSem, 2 SWS, Deutsch
Winter 2022/23:
|
| » 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.
Themen der Kategorientheorie
Seminar, TopCat, 2 SWS, Deutsch, Mi 10.15-11:45, 00.131-128 (Cauerstr. 11)
Anmeldungszeitraum: Keine Anmeldung möglich
Winter 2022/23: | | » campo
Um dieses Objekt zu nutzen, müssen Sie angemeldet sein und entsprechende Zugriffsrechte besitzen.
Winter 2022/23: | | » 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
Anmeldungszeitraum: Keine Anmeldung möglich
Winter 2022/23: | | » campo
Um dieses Objekt zu nutzen, müssen Sie angemeldet sein und entsprechende Zugriffsrechte besitzen.
Winter 2022/23: | | » campo
Um dieses Objekt zu nutzen, müssen Sie angemeldet sein und entsprechende Zugriffsrechte besitzen.