|
|
|
|
|
Modulhandbuch Modulliste (Bachelor) - Modulliste (Master) - Modulkataloge - Personalisierter Modulkatalog - Impressum - Feedback Login mit OpenID
Formale Methoden der Softwaretechnik (deleted:Tue Mar 20 16:42:56 +0100 2018) |
Modulnummer
MB- |
|||||||||||||||||||||||||||||
Bachelor
|
Zugeordnet zu Masterprofil
|
|||||||||||||||||||||||||||||
Modulbereich
:
Mathematik und Theoretische Informatik
Modulteilbereich : (keine Angabe) |
||||||||||||||||||||||||||||||
Anzahl der SWS
|
Kreditpunkte : 6 |
Turnus
unregelmäßig |
||||||||||||||||||||||||||||
Formale Voraussetzungen : Keine | ||||||||||||||||||||||||||||||
Inhaltliche Voraussetzungen : - | ||||||||||||||||||||||||||||||
Vorgesehenes Semester : ab 1. Semester | ||||||||||||||||||||||||||||||
Sprache : Deutsch | ||||||||||||||||||||||||||||||
Ziele : | ||||||||||||||||||||||||||||||
Inhalte : | ||||||||||||||||||||||||||||||
Unterlagen (Skripte, Literatur, Programme usw.) : | ||||||||||||||||||||||||||||||
Form der Prüfung : i.d.R. Übungsaufgaben und Fachgespräch oder mündliche Prüfung | ||||||||||||||||||||||||||||||
Arbeitsaufwand
|
||||||||||||||||||||||||||||||
Lehrende: Prof. Dr. C. Lüth | Verantwortlich Prof. Dr. C. Lüth |
Zeige Systems Engineering-Format Wirtschaftsinformatik-Format Informatik-Format Digitale Medien-Format