Die Informatik des Fachbereiches 3 der Universität Bremen Hier geht es zur Homepage der Verwaltung des Fachbereiches 3 der Universität Bremen Hier geht es zur Homepage der Informatik des Fachbereiches 3 der Universität Bremen Hier geht es zur Homepage der Mathematik des Fachbereiches 3 der Universität Bremen Hier geht es zur Homepage des Fachbereiches 3 der Universität Bremen Hier geht es zur Homepage der Universität Bremen
Zeige Digitale Medien-Format Pdf_icon Systems Engineering-Format Pdf_icon Informatik-Format Pdf_icon Wirtschaftsinformatik-Format Pdf_icon

System Engineering-Ansicht

Modultyp
Pflichtmodul Wahlbereich
Spezialisierungsbereich Anzahl Semesterwochenstunden CP Angeboten in jedem
V Ü S P Proj. Anzahl
Theoretische-Informatik-Wahl (Master)
0 0 0 0 0 0 Abhängig von der gewählten Alternative Angebote in jedem Semester
        Berechnung des Workloads Entsprechend der CP-Anzahl der gewählten Alternative
Vorgesehenes Semester ab 1. Semester
Lernziele

Die Studierenden erwerben ein vertieftes, forschungsnahes Verständnis eines Teilgebietes der Theoretischen Informatik. Sie kennen damit den formalen und mathematisch präzisen Zugang zu Themen der Informatik. Zudem sind sie vertraut mit den formalen Begriffen des betreffenden Teilgebiets und dessen Theoremen, Beweis- und Analysemethoden. Die Studierenden können Resultate und Konstruktionen des Gebietes sowie Beweismethoden selbständig anwenden. Die erworbenen Kompetenzen sind inhaltliche Voraussetzung für Spezialmodule im jeweiligen Teilgebiet. Die konkreten Kompetenzen sind abhängig von der gewählten Alternative.

Lerninhalte

Die konkreten Inhalte sind abhängig von der gewählten Alternative. Derzeit im Angebot sind:

  • MB-602.04 Advanced Algorithms & Combinatorial Optimization

  • MB-603.01 Formale Sprachen

  • MB-605.02 Beschreibungslogik

  • MB-699.03 Theorie reaktiver Systeme

  • MB-699.04 Grundlagen der Sicherheitsanalyse und des Designs

  • MB-699.09 Einführung in die Kryptographie

[Angebot wird abhängig von verfügbaren Personalkapazitäten fortgeschrieben]

Prüfungsformen

Abhängig von der gewählten Alternative

Dokumente (Skripte, Programme, Literatur, usw.)

Abhängig von der gewählten Alternative

Lehrende: Verschiedene Dozent/innen Verantwortlich: Prof. Dr. C. Lutz
Zurück

Zeige Digitale Medien-Format Pdf_icon Systems Engineering-Format Pdf_icon Informatik-Format Pdf_icon Wirtschaftsinformatik-Format Pdf_icon