1. Modulverzeichnis (MTS)
  2. Module
  3. Modulbeschreibung anzeigen

Formale Sprachen und Automaten

Anzeigesprache
Zur Modulseite PDF generieren

#40018 / #10

Seit SoSe 2024

Deutsch

Formale Sprachen und Automaten

6

Nestmann, Uwe

benotet

Schriftliche Prüfung

Zugehörigkeit


Fakultät IV

Institut für Softwaretechnik und Theoretische Informatik

34351900 FG Modelle und Theorie Verteilter Systeme (MTV)

Keine Angabe

Kontakt


TEL 7-2

Nestmann, Uwe

lehre@mtv.tu-berlin.de

https://www.tu.berlin/mtv/lehre/bachelor-module/forsa

Lernergebnisse

Absolventinnen und Absolventen dieses Moduls beherrschen einen Grundstock an mathematischen und logischen Grundlagen der Theoretischen Informatik; sie verstehen die grundsätzliche Unterscheidung zwischen Syntax und Semantik. Sie besitzen die Fähigkeit zur strukturierten Argumentation im Sinne mathematischer Beweisführungen und sind in der Lage durch Abstraktionen von konkreten Sachverhalten auf allgemeine Sachverhalte zu wechseln. Sie beherrschen den Umgang mit formalen Sprachen, Grammatiken, endlichen Automaten, und Kellerautomaten. Entsprechende Aufgabenstellungen können sie sowohl selbständig als auch in Kleingruppen bearbeiten.

Lehrinhalte

* Mengen, logische Aussagen, Beweisnotation, Beweistechniken * Relationen, Ordnungen, Abbildungen, Äquivalenzen, Quotienten, Kardinalität * Wörter, Sprachen, Ausdrücke * Chomsky-Hierarchie, Grammatiken, Syntaxbäume * Automaten, Kellerautomaten, Pumping Lemma * Nichtdeterminisimus

Modulbestandteile

Pflichtteil:

Die folgenden Veranstaltungen sind für das Modul obligatorisch:

LehrveranstaltungenArtNummerTurnusSpracheSWSVZ
Formale Sprachen und AutomatenUE0401 L 155/2SoSeDeutsch2
Formale Sprachen und AutomatenVL0401 L 155SoSeDeutsch2

Arbeitsaufwand und Leistungspunkte

Formale Sprachen und Automaten (UE):

AufwandbeschreibungMultiplikatorStundenGesamt
Hausaufgaben15.03.0h45.0h
Präsenzzeit15.02.0h30.0h
75.0h(~3 LP)

Formale Sprachen und Automaten (VL):

AufwandbeschreibungMultiplikatorStundenGesamt
Präsenzzeit15.02.0h30.0h
Studium (Vor-/Nachbereitung)15.03.0h45.0h
75.0h(~3 LP)

Lehrveranstaltungsunabhängiger Aufwand:

AufwandbeschreibungMultiplikatorStundenGesamt
Prüfungsvorbereitung1.030.0h30.0h
30.0h(~1 LP)
Der Aufwand des Moduls summiert sich zu 180.0 Stunden. Damit umfasst das Modul 6 Leistungspunkte.

Beschreibung der Lehr- und Lernformen

Inverted classroom: Die fachlichen Inhalte des Moduls werden von den Studierenden asynchron mit vorbereiteten Screencasts und kleinen begleitenden Aufgabenstellungen erlernt. In der Präsenzveranstaltung (die Vorlesung ersetzend) werden der erlernte Inhalt sowie offene Fragen dazu besprochen, vertieft und auch kontextualisiert. Die Anwendung und Festigung des Stoffs geschieht in Tutorien durch das im interaktiven Stil angeleitete regelmäßige Bearbeiten von Aufgabenblättern in Kleingruppen.

Voraussetzungen für die Teilnahme / Prüfung

Wünschenswerte Voraussetzungen für die Teilnahme an den Lehrveranstaltungen:

keine

Verpflichtende Voraussetzungen für die Modulprüfungsanmeldung:

1. Voraussetzung
[MTV] Hausaufgaben (ForSA)

Abschluss des Moduls

Benotung

benotet

Prüfungsform

Schriftliche Prüfung

Sprache

Deutsch

Dauer/Umfang

4 h

Dauer des Moduls

Für Belegung und Abschluss des Moduls ist folgende Semesteranzahl veranschlagt:
1 Semester.

Dieses Modul kann in folgenden Semestern begonnen werden:
Sommersemester.

Maximale teilnehmende Personen

Dieses Modul ist nicht auf eine Anzahl Studierender begrenzt.

Anmeldeformalitäten

Die Lehrmaterialien werden über ISIS bereitgestellt. Die Einteilung der Tutorien erfolgt über MOSES in der ersten Vorlesungswoche. Die Prüfungsanmeldung erfolgt in der Regel Online. Die An- und Abmeldefristen werden sowohl auf ISIS als auch in der Präsenzveranstaltung bekannt gegeben. POS-Prüfungsnummer: 6465

Literaturhinweise, Skripte

Skript in Papierform

Verfügbarkeit:  nicht verfügbar

 

Skript in elektronischer Form

Verfügbarkeit:  verfügbar

 

Literatur

Empfohlene Literatur
Uwe Schöning: Theoretische Informatik - kurz gefasst. Spektrum Akademischer Verlag. ISBN-10: 3827418240.

Zugeordnete Studiengänge


Diese Modulversion wird in folgenden Studiengängen verwendet:

Studiengang / StuPOStuPOsVerwendungenErste VerwendungLetzte Verwendung
Informatik (B. Sc.)11SoSe 2024SoSe 2024
MINTgrün Orientierungsstudium (OS.)11SoSe 2024SoSe 2024
Naturwissenschaften in der Informationsgesellschaft (B. Sc.)33SoSe 2024SoSe 2024

Studierende anderer Studiengänge können dieses Modul ohne Kapazitätsprüfung belegen.

Sonstiges

Keine Angabe