Disclaimer: Dieser Thread wurde aus dem alten Forum importiert. Daher werden eventuell nicht alle Formatierungen richtig angezeigt. Der ursprüngliche Thread beginnt im zweiten Post dieses Threads.
Theorieveranstaltungen im WS 2013/14
Wir bieten im kommenden Wintersemester eine Reihe von Vertiefungsveranstaltungen für BSc/Msc an:
Algebra des Programmierens [AlgProg], V/UE; 4 SWS; ECTS: 7,5
Mo, 16:15 - 17:45, 00.152-113; Di, 10:15 - 11:45, 00.152-113 (Stefan Milius)
Formale Methoden der Softwareentwicklung [FMSoft] V/UE; 4 SWS; ECTS: 7,5
Mi, 14:15 - 15:45, 16:15 - 17:45, Raum n.V. (Stefan Milius, Daniel Gorin)
Logische Grundlagen der Datenbanktheorie [LGruDat] V/UE; 4 SWS; ECTS: 7,5
Mo, Do 14:00 - 16:00 00.153-113 (Tadeusz Litak)
Ontologien im Semantic Web [OntoSWeb] VORL; 4 SWS; ECTS: 7,5
Mi, 10:15 - 11:45, 01.255-128; Do, 12:15 - 13:45, 01.255-128 (Lutz Schröder)
Praktikum Wissensrepräsentation [KR-Lab] PR; 8 SWS; ECTS: 10
Raum und Zeit n.V. (Lutz Schröder, Daniel Gorin)
Seminar Curry-Howard Korrespondenz [SemCurry] SEM; 2 SWS; ECTS: 5;
Ort und Zeit n.V., (Tadeusz Litak, Daniel Gorin)
Nähere Informationen unter http://www8.cs.fau.de/ws13:main.
Herzliche Grüße,
Lutz Schröder
1 „Gefällt mir“