[AI-announce] Hinweis zu Master-Lehrveranstaltungen

Kerstin Kallweit kerstin.kallweit at ini.ruhr-uni-bochum.de
Mi Sep 30 12:31:42 CEST 2020


Liebe Master-AI Studierende,

ab dem WS 20/21 wird das Wahlpflichtmodul "Komplexitätstheorie" von 
Jun.-Prof. Zeume angeboten und erhält dadurch inhaltlich auch einen 
Neuanstrich. Herr Zeume freut sich schon auf rege Beteiligung aus der AI.

Zusätzlich bietet er noch das bei uns nun neue Anwendungsmodul "Model 
Checking" an.

Infos zu beiden Modulen finden Sie im Modulhandbuch, die zugehörigen 
Moodle-Kurse sind bereits für die Einschreibung freigeschaltet.

Viele Grüße,

Kerstin Kallweit

-- 
Dipl.-Biol. Kerstin Kallweit
*Ruhr-Universität Bochum *
*Studiendekanat Angewandte Informatik *
NB 02/72
Tel.: 0234/32-27685
Fax: 0234/32-14658
-------------- nächster Teil --------------
Ein Dateianhang mit HTML-Daten wurde abgetrennt...
URL: <http://lists.ruhr-uni-bochum.de/pipermail/ai-announce/attachments/20200930/5d65780a/attachment.htm>


Mehr Informationen über die Mailingliste AI-announce