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

Informatik-Ansicht

Theoretische-Informatik-Bachelor-Basis-Wahl (TheoInfBBWahl)


Modulnummer
BB-6
Bachelor
Pflicht/Wahl
Wahl Basis Ergänzung
Sonderfall
Zugeordnet zu Masterprofil
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.
2 2 0 0 0 0 4
Kreditpunkte : 6 Turnus

I.d.R. alternative Angebote in jedem Semester

Formale Voraussetzungen : Keine
Inhaltliche Voraussetzungen : Kompetenzen aus bestimmten Pflichtmodulen abhängig von der gewählten Alternative
Vorgesehenes Semester : ab 5. Semester
Sprache : Deutsch/Englisch
Ziele :

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.

Inhalte :

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]

Unterlagen (Skripte, Literatur, Programme usw.) :

Abhängig von der gewählten Alternative

Form der Prüfung : i.d.R. Bearbeitung von Übungsaufgaben und Fachgespräch oder mündliche Prüfung
Arbeitsaufwand
Präsenz 56
Übungen + Prüfungsvorbereitung 124
Summe 180 h
Lehrende: diverse Lehrende Verantwortlich Prof. Dr. Carsten Lutz
Zurück

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