Moses - Formale Sprachen und Automaten

Zur Modulseite PDF generieren

Modul / Version
#40018 / #6

Gültigkeit
WiSe 2020/21 - WiSe 2020/21

Verfügbare Sprache(n)
Deutsch

Titel des Moduls
Formale Sprachen und Automaten

Leistungspunkte
6

Modulverantwortliche*r
Nestmann, Uwe

Benotung
Benotet

Prüfungsform
Portfolioprüfung

Lehrsprache(n)
Deutsch

Zugehörigkeit

Fakultät
Fakultät IV

Institut
Institut für Softwaretechnik und Theoretische Informatik

Fachgebiet
34351900 FG Modelle und Theorie Verteilter Systeme (MTV)

Prüfungsausschuss
Keine Angabe

Kontakt

Sekretariat
EN 24

Ansprechpartner*in
Nestmann, Uwe

E-Mail-Adresse
lehre@mtv.tu-berlin.de

Webseite

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

Diese Modulbeschreibung gilt nicht im aktuellen Semester.

Die Modulbeschreibung gilt nur für den Zeitraum WiSe 2020/21 - WiSe 2020/21. Die Version für das aktuelle Semester (SoSe 2025) finden Sie hier: Modulbeschreibung des SoSe 2025

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

Pflichtbereich

Die folgenden Veranstaltungen sind für das Modul obligatorisch:

Lehrveranstaltungen	Art	Nummer	Turnus	Sprache	SWS	ISIS	VVZ
Formale Sprachen und Automaten	UE	0401 L 155/2	SoSe	de	2
Formale Sprachen und Automaten	VL	0401 L 155	SoSe	de	2

ISIS-Kurssuche nach Veranstaltungen des Moduls

Arbeitsaufwand und Leistungspunkte

Formale Sprachen und Automaten (UE):

Aufwandbeschreibung	Multiplikator	Stunden	Gesamt
Hausaufgaben	4.0	15.0h	60.0h
Präsenzzeit	15.0	2.0h	30.0h
			90.0h(~3 LP)

Formale Sprachen und Automaten (VL):

Aufwandbeschreibung	Multiplikator	Stunden	Gesamt
Präsenzzeit	15.0	2.0h	30.0h
Studium (Vor-/Nachbereitung)	15.0	3.0h	45.0h
			75.0h(~3 LP)

Lehrveranstaltungsunabhängiger Aufwand:

Aufwandbeschreibung	Multiplikator	Stunden	Gesamt
Prüfungsvorbereitung	2.0	7.5h	15.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(n)

Deutsch

Prüfungselemente

Name	Punkte	Kategorie	Dauer/Umfang
(Ergebnisprüfung) Hausaufgabe 1	5	schriftlich	2-3 Wochen
(Ergebnisprüfung) Hausaufgabe 2	5	schriftlich	2-3 Wochen
(Ergebnisprüfung) Hausaufgabe 3	5	schriftlich	2-3 Wochen
(Ergebnisprüfung) Hausaufgabe 4	5	schriftlich	2-3 Wochen
(Punktuelle Leistungsabfrage) Online-Test (Multiple-Choice) zur Semestermitte	30	flexibel	30-40 Minuten
(Punktuelle Leistungsabfrage) Schriftlicher Test zum Semesterende	50	schriftlich	75 Minuten

Notenschlüssel

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

Gesamtpunktzahl	1.0	1.3	1.7	2.0	2.3	2.7	3.0	3.3	3.7	4.0
100.0pt	86.0pt	82.0pt	78.0pt	74.0pt	70.0pt	66.0pt	62.0pt	58.0pt	54.0pt	50.0pt

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 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. POS-Prüfungsnummer: 6465 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
Uwe Schöning: Theoretische Informatik – kurz gefasst. Spektrum Akademischer Verlag. ISBN-10: 3827418240.

Zugeordnete Studiengänge

Semester:

Zeige auch ausgelaufene Studiengänge und StuPOs

Diese Modulversion wird in folgenden Studiengängen verwendet:

	Studiengang / StuPO	StuPOs	Verwendungen	Erste Verwendung	Letzte Verwendung
Dieses Modul findet in keinem Studiengang Verwendung.

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

Sonstiges

Keine Angabe