Moses - Logische Methoden der Informatik

Display language

Diese Modulbeschreibung gilt nicht im aktuellen Semester.

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

Module / Version:
#40026 / #1

Validity:
SS 2014 - WS 2014/15

Default display language:
German

Module title:
Logische Methoden der Informatik
Logical Methods in Computer Science

Credits:
6

Responsible person:
Kreutzer, Stephan

Grading:
benotet

Type of exam:
Portfolioprüfung

Zugehörigkeit

Faculty:
Fakultät IV

Institute:
Institut für Softwaretechnik und Theoretische Informatik

Area of expertise:
34352200 FG Logik und Semantik

Prüfungsausschuss:
No information

Kontakt

Office:
TEL 7-3

Contact person:
Kreutzer, Stephan

E-mail address:
stephan.kreutzer@tu-berlin.de

Website:
No information

Learning Outcomes

No information

Content

No information

Module Components

Pflichtteil:

All Courses are mandatory.

Course Name	Type	Number	Cycle	Language	SWS	VZ
Logische Methoden der Informatik	VL		SoSe	No information	2
Logische Methoden der Informatik	UE		SoSe	No information	2

Workload and Credit Points

Logische Methoden der Informatik (VL):

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

Logische Methoden der Informatik (UE):

Workload description	Multiplier	Hours	Total
No information	15.0	2.0h	30.0h
No information	15.0	4.0h	60.0h
			90.0h(~3 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

No information

Language

German

Test elements

Name	Points/Weight	Categorie	Duration/Extent
No test elements given

Grading scale

No information

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

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

Logische Methoden der Informatik

Zugehörigkeit

Kontakt

Learning Outcomes

Content

Module Components

Pflichtteil:

Workload and Credit Points

Logische Methoden der Informatik (VL):

Logische Methoden der Informatik (UE):

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

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