Modulhandbuch: Hochschule Offenburg

Angewandte Informatik

Im renommierten, bundesweiten CHE-Ranking der Zeit 2021 erneut mit „sehr gut“ bewertet

Bewerben Studienberatung

Fakultät EMI

Empfohlene Vorkenntnisse

Module "Mathematik I" und "Mathematik II"

Lehrform

Vorlesung

Lernziele / Kompetenzen

Die Studierenden können:

mathematische Beweise selbst führen,
umfangreichere mathematische Beweise nachvollziehen und verstehen,
einfachere Originalveröffentlichungen aus dem Gebiet der Vorlesung lesen und verstehen,
Zusammenhänge aus Gebieten der Informatik analysieren und mathematisch umsetzen,
Probleme in verschiedene mathematische Darstellungen umsetzen,
Lösungsstrategien für komplexe Probleme selbst erarbeiten,
den angebotenen Stoff der Vorlesung Mathematik III anwenden.

Dauer

SWS

4.0

Aufwand

Lehrveranstaltung	60
Selbststudium / Gruppenarbeit:	90
Workload	150

ECTS

5.0

Voraussetzungen für die Vergabe von LP

Modulprüfung "Mathematik 3" (K90)

Modulverantwortlicher

Prof. Dr. Kreilos

Max. Teilnehmer

Empf. Semester

Haeufigkeit

jedes Jahr (WS)

Verwendbarkeit

Angewandte Informatik (Bachelor)

Veranstaltungen

Art	Vorlesung
Nr.	EMI126
SWS	4.0
Lerninhalt	Endliche Automaten Reguläre Ausdrücke Reguläre Sprachen Kontextfreie Grammatiken Chomsky-Hiearchie Turing-Maschinen LOOP-, WHILE- und GOTO-Berechenbarkeit Church'sche These Unentscheidbare Probleme Gödelsche Unvollständigkeitssatz Komplexität Komplexität von Algorithmen Die Komplexitätsklassen P und NP NP-Vollständigkeit Graphentheorie Grundbegriffe Bestimmung minimaler Spannbäume Bestimmung kürzester Pfade Weitere Graphprobleme
Literatur	Hoffmann D. W., Theoretische Informatik, 2. Auflage, München, Hanser Verlag, 2011 Schöning, U., Theoretische Informatik - kurz gefasst, 5. Auflage, Heidelberg, Spektrum Akademischer Verlag, 2009. Sipser. M. Introduction to the Theory of Computation, 3. Auflage, Cengage Learning, 2012 Vossen G., Witt K.-U., Grundkurs Theoretische Informatik, 4. Auflage, Wiesbaden, Vieweg, 2006