Moses - Formale Sprachen und Automaten

Display language

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 2024) finden Sie hier: Modulbeschreibung des SoSe 2024

Module / Version:
#40018 / #7

Validity:
SoSe 2021 - WiSe 2021/22

Default display language:
English

Module title:
Formale Sprachen und Automaten
Formal Languages and Automata

Credits:
6

Responsible person:
Nestmann, Uwe

Grading:
benotet

Type of exam:
Portfolioprüfung

Zugehörigkeit

Faculty:
Fakultät IV

Institute:
Institut für Softwaretechnik und Theoretische Informatik

Area of expertise:
34351900 FG Modelle und Theorie Verteilter Systeme (MTV)

Prüfungsausschuss:
No information

Kontakt

Office:
TEL 7-2

Contact person:
Nestmann, Uwe

E-mail address:
lehre@mtv.tu-berlin.de

Website:

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

Learning Outcomes

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.

Content

* 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

Module Components

Pflichtteil:

All Courses are mandatory.

Course Name	Type	Number	Cycle	Language	SWS	VZ
Formale Sprachen und Automaten	VL	0401 L 155	SoSe	German	2
Formale Sprachen und Automaten	UE	0401 L 155/2	SoSe	German	2

Workload and Credit Points

Formale Sprachen und Automaten (VL):

Workload description	Multiplier	Hours	Total
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):

Workload description	Multiplier	Hours	Total
Attendance	15.0	2.0h	30.0h
Homework	1.0	30.0h	30.0h
			60.0h(~2 LP)

Course-independent workload:

Workload description	Multiplier	Hours	Total
prepararation for two exam parts	2.0	15.0h	30.0h
			30.0h(~1 LP)

The Workload of the module sums up to 180.0 Hours. Therefore the module contains 6 Credits.

Description of Teaching and Learning Methods

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.

Requirements for participation and examination

Desirable prerequisites for participation in the courses:

none

Mandatory requirements for the module test application:

This module has no requirements.

Module completion

Grading

graded

Type of exam

Portfolio examination

Type of portfolio examination

100 Punkte insgesamt

Language

German

Test elements

Name	Points	Categorie	Duration/Extent
(Deliverable assessment) Homework	30	written	2-4 weeks
(Examination) Online test (multiple-choice)	30	flexible	30-40 minutes
(Examination) Written exam	40	written	60-75 minutes

Grading scale

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

Test description (Module completion)

No information

Duration of the Module

The following number of semesters is estimated for taking and completing the module:
1 Semester.

This module may be commenced in the following semesters:
Sommersemester.

Maximum Number of Participants

This module is not limited to a number of students.

Registration Procedures

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.

Recommended literature
Uwe Schöning: Theoretische Informatik – kurz gefasst. Spektrum Akademischer Verlag. ISBN-10: 3827418240.

Assigned Degree Programs

Semester:

Zeige auch ausgelaufene Studiengänge und StuPOs

This module is used in the following Degree Programs (new System):

	Studiengang / StuPO	StuPOs	Verwendungen	Erste Verwendung	Letzte Verwendung
This module is not used in any degree program.

Students of other degrees can participate in this module without capacity testing.

Miscellaneous