Moses - Formale Sprachen und Automaten

Display language

Diese Modulbeschreibung gilt nicht im aktuellen Semester.

Die Modulbeschreibung gilt nur für den Zeitraum SS 2017 - WS 2019/20. Die Version für das aktuelle Semester (SoSe 2024) finden Sie hier: Modulbeschreibung des SoSe 2024

Module / Version:
#40018 / #4

Validity:
SS 2017 - WS 2019/20

Default display language:
German

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 for 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 * words, languages, expressions * Chomsky-hierarchy * grammars, automata, push-down automata * non-determinism

Module Components

Pflichtteil:

All Courses are mandatory.

Course Name	Type	Number	Cycle	Language	SWS	VZ
Formale Sprachen und Automaten	VL		WiSe	No information	2
Formale Sprachen und Automaten	UE		WiSe	No information	2

Workload and Credit Points

Formale Sprachen und Automaten (VL):

Workload description	Multiplier	Hours	Total
No information	15.0	3.0h	45.0h
No information	15.0	2.0h	30.0h
			75.0h(~3 LP)

Formale Sprachen und Automaten (UE):

Workload description	Multiplier	Hours	Total
No information	15.0	2.0h	30.0h
No information	4.0	15.0h	60.0h
			90.0h(~3 LP)

Course-independent workload:

Workload description	Multiplier	Hours	Total
No information	2.0	7.5h	15.0h
			15.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

No information

Requirements for participation and examination

Desirable prerequisites for participation in the courses:

No information

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
No information	5	written	No information
No information	5	written	No information
No information	5	written	No information
No information	30	flexible	No information
No information	5	written	No information
No information	50	written	No information

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:
Wintersemester.

Maximum Number of Participants

This module is not limited to a number of students.

Registration Procedures

No information

Recommended literature
No recommended literature given

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

No information

Formale Sprachen und Automaten

Zugehörigkeit

Kontakt

Learning Outcomes

Content

Module Components

Pflichtteil:

Workload and Credit Points

Formale Sprachen und Automaten (VL):

Formale Sprachen und Automaten (UE):

Course-independent workload:

Description of Teaching and Learning Methods

Requirements for participation and examination

Desirable prerequisites for participation in the courses:

Mandatory requirements for the module test application:

Module completion

Grading

Type of exam

Type of portfolio examination

Language

Test elements

Grading scale

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

Test description (Module completion)

Duration of the Module

Maximum Number of Participants

Registration Procedures

Recommended reading, Lecture notes

Lecture notes

Electronical lecture notes

Literature

Assigned Degree Programs

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

Miscellaneous