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

Digitale Medien-Ansicht

Modulnummer
Modulbezeichnung
Aufbau Theoretische Informatik
Titel (englisch)
Theoretical Computer Science (Intermediate Level)
Pflicht/Wahl
Pflicht
Erklärung
CP
6
Berechnung des Workloads
Turnus
I.d.R. Angebote in jedem Semester
Dauer
ein Semester
Form
4 SWS K
Prüfung
MP; Portfolio, Fachgespräch, mündliche Prüfung, Klausur, Hausarbeit, Referat+Ausarbeitung, ggf. Bonusprüfung
Anforderungen
Keine
Lernziele

Die Studierenden erwerben aufbauend auf den in den Grundlagenmodulen erworbenen Kompetenzen ein grundlegendes Verständnis eines Teilgebietes der Theoretischen Informatik. 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 Lehrangebote 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-IBAT-AAG Algorithmen auf Graphen
  • 03-IBAT-LO Logik
  • 03-IBAT-PN Petri-Netze
  • 03-IBAT-KS Korrekte Software
  • 03-IBAT-OR Operations Research

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

Quellen

Abhängig von der gewählten Lehrveranstaltung.

Sprache
Deutsch/Englisch
Bemerkung
Zuletzt geändert
2020-06-29 06:31:36 UTC
Zurück

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