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

System Engineering-Ansicht

Modultyp
Pflichtmodul Wahlbereich
Spezialisierungsbereich Anzahl Semesterwochenstunden CP Angeboten in jedem
V Ü S P Proj. ∑ Anzahl
Aufbau Theoretische Informatik
0 0 0 0 0 0 6 Angebote in jedem Semester
Theoretical Computer Science (Intermediate Level)         Berechnung des Workloads
Vorgesehenes Semester ab 1. Semester
Lernziele

Die Studierenden erwerben ein forschungsnahes Grundverstä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 Lehrveranstaltung.

Lerninhalte

Die konkreten Inhalte sind abhängig von der gewählten Lehrveranstaltung.

Lehrveranstaltung(en):

Auswahl von einer der in diesem Modul angebotenen Lehrveranstaltungen. Derzeit im Angebot sind:

  • 03-IMAT-APALG Approximation Algorithms
  • 03-IMAT-FS Formale Sprachen
  • 03-IMAT-BL Beschreibungslogik
  • 03-IMAT-TRS Theorie reaktiver Systeme
  • 03-IMAT-SAD Grundlagen der Sicherheitsanalyse und des Designs
  • 03-IMAT-KRYPT Einführung in die Kryptographie

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

MP; Portfolio, Fachgespräch, mündliche Prüfung, Klausur, Hausarbeit, Referat+Ausarbeitung, ggf. Bonusprüfung
Dokumente (Skripte, Programme, Literatur, usw.)

Abhängig von der gewählten Lehrveranstaltung
Lehrende: Verschiedene Dozent/innen Verantwortlich: Prof. Dr. U. Bormann
Zurück

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