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

System Engineering-Ansicht

Modultyp
Pflichtmodul Wahlbereich
Spezialisierungsbereich Anzahl Semesterwochenstunden CP Angeboten in jedem
V Ü S P Proj. Anzahl
Theoretische-Informatik-Bachelor-Basis-Wahl (TheoInfBBWahl)
2 2 0 0 0 4 6 I.d.R. alternative Angebote in jedem Semester
        Berechnung des Workloads
Vorgesehenes Semester ab 1. Semester
Lernziele

Die Studierenden erwerben aufbauend auf den in den Pflichtmodulen erworbenen Kompetenzen ein grundlegendes Verständnis eines Teilgebietes der Theoretischen Informatik oder Mathematik. Sie kennen damit exemplarisch den formalen und mathematisch präzisen Zugang zu Themen der Informatik. Zudem sind sie vertraut mit den zentralen formalen Begriffen des betreffenden Teilgebiets und dessen essentiellen Theoremen, Beweis- und Analysemethoden. Die Studierenden können die wichtigsten Resultate und Konstruktionen des Gebietes sowie grundlegende Beweismethoden selbständig anwenden. Die erworbenen Kompetenzen sind inhaltliche Voraussetzung für vertiefende Module 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:

  • BB-602.01 Algorithmen auf Graphen
  • BB-605.01 Logik
  • BB-699.01 Operations Research
  • BB-699.02 Petri-Netze
  • BB-699.08 Korrekte Software

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

Prüfungsformen

i.d.R. Bearbeitung von Übungsaufgaben und Fachgespräch oder mündliche Prüfung

Dokumente (Skripte, Programme, Literatur, usw.)

Abhängig von der gewählten Alternative

Lehrende: diverse Lehrende Verantwortlich: Prof. Dr. Carsten Lutz
Zurück

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