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 Systems Engineering-Format Pdf_icon Wirtschaftsinformatik-Format Pdf_icon Digitale Medien-Format Pdf_icon Informatik-Format Pdf_icon

Informatik-Ansicht

Theoretische-Informatik-Wahl (Master)


Modulnummer
MB-6
Master
Pflicht/Wahl
Wahl Basis Ergänzung
Sonderfall
Zugeordnet zu Masterprofil
Basis Ergänzung
Sicherheit und Qualität
KI, Kognition, Robotik
Digitale Medien und Interaktion
Modulbereich : Mathematik und Theoretische Informatik
Modulteilbereich : (keine Angabe)
Anzahl der SWS
V UE K S Prak. Proj.
0 0 0 0 0 0 0
Kreditpunkte : Abhängig von der gewählten Alternative Turnus

Angebote in jedem Semester

Formale Voraussetzungen : Keine
Inhaltliche Voraussetzungen : Kompetenzen aus bestimmten Modulen abhängig von der gewählten Alternative.
Vorgesehenes Semester : ab 1. Semester
Sprache : Deutsch/Englisch
Kommentar : Der Studienplan sieht ein Master-Basis-Modul aus dem Bereich Theoretische Informatik oder Mathematik vor. Der Regelumfang des Moduls beträgt je 6 CP. Abweichungen werden mit der freien Wahl verrechnet.
Ziele :

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.

Inhalte :

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]

Unterlagen (Skripte, Literatur, Programme usw.) :

Abhängig von der gewählten Alternative

Form der Prüfung : Abhängig von der gewählten Alternative
Arbeitsaufwand
0
Summe 0 h
Lehrende: Verschiedene Dozent/innen Verantwortlich Prof. Dr. C. Lutz
Zurück

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