Anzeigesprache
Zur Modulseite PDF generieren

#40018 / #4

SS 2017 - WS 2019/20

Deutsch

Formale Sprachen und Automaten

6

Nestmann, Uwe

benotet

Portfolioprü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

Lernergebnisse

Absolventinnen und Absolventen dieses Moduls beherrschen einen Grundstock an mathematischen und logischen Grundlagen der Theoretischen Informatik und zur grundsätzlichen 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 * Wörter, Sprachen, Ausdrücke * Chomsky-Hierarchie * Grammatiken, Automaten, Kellerautomaten * Nichtdeterminisimus

Modulbestandteile

Pflichtteil:

Die folgenden Veranstaltungen sind für das Modul obligatorisch:

LehrveranstaltungenArtNummerTurnusSpracheSWSVZ
Formale Sprachen und AutomatenVLWiSeKeine Angabe2
Formale Sprachen und AutomatenUEWiSeKeine Angabe2

Arbeitsaufwand und Leistungspunkte

Formale Sprachen und Automaten (VL):

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

Formale Sprachen und Automaten (UE):

AufwandbeschreibungMultiplikatorStundenGesamt
Hausaufgaben4.015.0h60.0h
Präsenzzeit15.02.0h30.0h
90.0h(~3 LP)

Lehrveranstaltungsunabhängiger Aufwand:

AufwandbeschreibungMultiplikatorStundenGesamt
Prüfungsvorbereitung2.07.5h15.0h
15.0h(~1 LP)
Der Aufwand des Moduls summiert sich zu 180.0 Stunden. Damit umfasst das Modul 6 Leistungspunkte.

Beschreibung der Lehr- und Lernformen

Die fachlichen Inhalte des Moduls werden in einer Vorlesung vermittelt. Die Anwendung und Festigung des Stoffs geschieht durch das regelmäßige gemeinsame Bearbeiten von Aufgabenblättern und die Besprechung des Stoffs und der Aufgaben in Tutorien im interaktiven Stil. Die Hausaufgaben werden von den Studierenden in Kleingruppen bearbeitet.

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:

Dieses Modul hat keine Prüfungsvoraussetzungen.

Abschluss des Moduls

Benotung

benotet

Prüfungsform

Portfolioprüfung

Art der Portfolioprüfung

100 Punkte insgesamt

Sprache

Deutsch

Prüfungselemente

NamePunkteKategorieDauer/Umfang
(Ergebnisprüfung) Hausaufgabe 15schriftlich2-3 Wochen
(Ergebnisprüfung) Hausaufgabe 25schriftlich2-3 Wochen
(Ergebnisprüfung) Hausaufgabe 35schriftlich2-3 Wochen
(Ergebnisprüfung) Hausaufgabe 45schriftlich2-3 Wochen
(Punktuelle Leistungsabfrage) Online-Test (Multiple-Choice) zur Semestermitte30flexibel30-40 Minuten
(Punktuelle Leistungsabfrage) Schriftlicher Test zum Semesterende50schriftlich75 Minuten

Notenschlüssel

Notenschlüssel »Notenschlüssel 1: Fak IV (1)«

Gesamtpunktzahl1.01.31.72.02.32.73.03.33.74.0
100.0pt86.0pt82.0pt78.0pt74.0pt70.0pt66.0pt62.0pt58.0pt54.0pt50.0pt

Prüfungsbeschreibung (Abschluss des Moduls)

Keine Angabe

Dauer des Moduls

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

Dieses Modul kann in folgenden Semestern begonnen werden:
Wintersemester.

Maximale teilnehmende Personen

Dieses Modul ist nicht auf eine Anzahl Studierender begrenzt.

Anmeldeformalitäten

Die Einteilung der Tutorien erfolgt über MOSES in der ersten Vorlesungswoche. Die Prüfungsanmeldung erfolgt in der Regel Online. Die An- und Abmeldefristen werden in der Vorlesung bekannt gegeben. Die Lehrmaterialien werden über ISIS bereitgestellt.

Literaturhinweise, Skripte

Skript in Papierform

Verfügbarkeit:  nicht verfügbar

 

Skript in elektronischer Form

Verfügbarkeit:  verfügbar

 

Literatur

Empfohlene Literatur
Keine empfohlene Literatur angegeben

Zugeordnete Studiengänge


Diese Modulversion wird in folgenden Studiengängen verwendet:

Studiengang / StuPOStuPOsVerwendungenErste VerwendungLetzte Verwendung
Dieses Modul findet in keinem Studiengang Verwendung.

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

Sonstiges

Keine Angabe