Symbol Kategorie

WiSe 2022/2023

Wintersemester 2022/2023

Reiter

Kurse

Kurs

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.  
Kurs

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.  
Kurs

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.  
Kurs

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.  
Kurs

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.  
Kurs

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.  
Kurs

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.  
Kurs

Ü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.