|
Modultitel: |
Kürzel: |
Erg.InfASB |
|||||
|
Pflichtmodul |
|
|
Leistungspunkte: 9 LP |
||||
|
Bereich: |
Ergänzung Informatik |
||||||
|
Verantwortlicher Hochschullehrer: |
|||||||
|
Lernziele/Kompetenzen Die Studierenden beherrschen grundlegende
Begriffe und Methoden aus den Bereichen Formale Sprachen, Automaten und
Berechenbarkeit. Sie kennen zentrale Ergebnisse aus der Berechenbarkeitstheorie. |
|||||||
|
Lehrveranstaltung |
|||||||
|
Titel LV: |
Automaten, Sprachen und Berechenbarkeit |
||||||
|
Pflichtbereich |
Studiensemester: Wintereinstieg: 2 Sommereinstieg:
1 oder 3 |
||||||
|
Workload: |
Kontaktstunden: 90 |
Selbststudium: 180 |
Gesamt: 270 |
||||
|
SWS: |
4 V, 2 Ü |
Gruppengröße Vorlesung: |
30 |
Gruppengröße Übung: |
30 |
||
|
Häufigkeit: |
jährlich |
Angebotssemester: |
Sommersemester |
||||
|
Dauer: |
1 Semester |
Sprache: |
Deutsch |
||||
|
Lehrinhalte: |
Hierarchien der Automaten und Chomsky-Grammatiken; Bedeutung der einzelnen Sprachklassen für die Informatik,
insbesondere den Compilerbau, Algorithmenmodelle, Determinismus und
Indeterminismus, Berechenbarkeit, Entscheidbarkeit |
||||||
|
Lehrformen: |
Vorlesung und Übungen |
Prüfungsformen: |
schriftliche oder mündliche Prüfung |
||||
|
Lehrende: |
Prof. Dr. Silke
Schlosser-Haupt, wechselnde Kollegen |
||||||
|
Anzahl LP: |
9 |
||||||
|
Voraussetzungen für die Teilnahme: Kenntnisse in
Algorithmen aus Bachelor |
|||||||
|
Verwendbarkeit über diesen Studiengang hinaus: Master IT |
|||||||
|
Erwerb der LP in der Lehrveranstaltung: bestandene schriftliche oder mündliche Prüfung |
|||||||