Moses - Formale Sprachen und Automaten

Zur Modulseite PDF generieren

Modul / Version
#40018 / #7

Gültigkeit
SoSe 2021 - WiSe 2021/22

Verfügbare Sprache(n)
English

Titel des Moduls
Formale Sprachen und Automaten

Leistungspunkte
6

Modulverantwortliche*r
Nestmann, Uwe

Benotung
Benotet

Prüfungsform
Portfolioprüfung

Lehrsprache(n)
English

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 ist nicht oder nicht vollständig auf deutsch hinterlegt.

Es wird stattdessen der Inhalt der folgenden Sprachversion angezeigt: Englisch.

Klicken Sie hier um die Inhalte der fehlenden oder unvollständige Sprachversion (Deutsch) anzuzeigen

Diese Modulbeschreibung gilt nicht im aktuellen Semester.

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

Lernergebnisse

Successful participants of this module have learned the basics of mathematical and logical foundations of Theoretical Computer Science; they understand the distinction between syntax and semantics. They have acquired the ability of structured reasoning in the sense of carrying out simple mathematical proofs, and they are able to apply simple abstraction techniques to switch between propositions at different levels of abstraction. They master the treatment of formal languages with their counterparts of grammars, finite automata and push-down automata. They are able to solve respective work tasks alone and in small teams.

Lehrinhalte

* sets, logical propositions, proof notation, proof techniques * relations, orders, maps, equivalences, quotients, cardinality * words, languages, expressions * Chomsky-hierarchy, grammars, syntax trees * automata, push-down automata, pumping lemma * non-determinism

Modulbestandteile

Compulsory area

Die folgenden Veranstaltungen sind für das Modul obligatorisch:

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

ISIS-Kurssuche nach Veranstaltungen des Moduls

Arbeitsaufwand und Leistungspunkte

Formale Sprachen und Automaten (VL):

Aufwandbeschreibung	Multiplikator	Stunden	Gesamt
Attendance	15.0	2.0h	30.0h
individual studies (preparation/consolidation)	15.0	4.0h	60.0h
			90.0h(~3 LP)

Formale Sprachen und Automaten (UE):

Aufwandbeschreibung	Multiplikator	Stunden	Gesamt
Attendance	15.0	2.0h	30.0h
Homework	1.0	30.0h	30.0h
			60.0h(~2 LP)

Lehrveranstaltungsunabhängiger Aufwand:

Aufwandbeschreibung	Multiplikator	Stunden	Gesamt
prepararation for two exam parts	2.0	15.0h	30.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: The content of the module will be learned asynchronously with prepared screencasts and small accompanying tasks. During the presence part (replacing the classical lecture), the learned content as well as questions thereupon will be discussed, deepened, and also contextualized. The application and consolidation of the content is realized during recurring joint tutorial sessions where students are guided in an interactive style to work on exercise sheets in small groups.

Voraussetzungen für die Teilnahme / Prüfung

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

none

Verpflichtende Voraussetzungen für die Modulprüfungsanmeldung:

Dieses Modul hat keine Prüfungsvoraussetzungen.

Abschluss des Moduls

Benotung

Benotet

Prüfungsform

Portfolio examination

Art der Portfolioprüfung

100 Punkte insgesamt

Sprache(n)

German

Prüfungselemente

Name	Punkte	Kategorie	Dauer/Umfang
(Deliverable assessment) Homework	30	schriftlich	2-4 weeks
(Examination) Online test (multiple-choice)	30	flexibel	30-40 minutes
(Examination) Written exam	40	schriftlich	60-75 minutes

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

The tutorials are arranged in MOSES during the first lecture week. The registration for the exams is usually online. The registration and cancellation deadlines will be announced in the lecture. POS examination number: 6465 The teaching material is provided via Moodle-platform ISIS.

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