Lehrveranstaltungen

Pflichtmodul 6: Wissenschaftliche Grundlagen/Kernkompetenzen zum Dissertationsthema (15 ECTS-AP) Pflichtmodul 6: Wissenschaftliche Grundlagen/Kernkompetenzen zum Dissertationsthema (15 ECTS-AP)

Anmeldevoraussetzung: [keine]

Lernergebnis: [Nach erfolgreicher Absolvierung des Moduls verfügen die Studierenden über Kenntnisse auf hohem fachlichem Niveau, welche für die Durchführung der Dissertation benötigt werden.]

[Es sind Lehrveranstaltungen im Umfang von insgesamt 15 ECTS-AP gemäß Festlegung in der Dissertationsvereinbarung als wissenschaftliche Grundlagen/Kernkompetenzen zu absolvieren.]

703925

Automatisches Beweisen (VO / 2h / 4 ECTS-AP)
Aart Middeldorp

703926

Ausgewählte Kapitel der Verteilten und Parallelen Systeme (VO / 2h / 5 ECTS-AP)
Radu Prodan

703927

Semantic Web Services (VO / 2h / 4 ECTS-AP)
Anna Fensel, Dieter Fensel

Hinweis:

Es können sich noch Änderungen im Lehrveranstaltungsangebot sowie bei Raum- und Terminbuchungen ergeben.
Bitte wählen Sie für das Lehrveranstaltungsangebot die Fakultät aus, der Ihre Studienrichtung zugeteilt ist.

Übersicht Anmeldefristen für Lehrveranstaltungen